c++ - 最终说明符对单独的声明和定义没有影响

Question

我注意到 final 关键字有一些奇怪的行为。当我这样做时:

class A {
public:
    virtual ~A() = default;
    virtual void foo() final {}
};

class B : public A {
public:
    void foo() override {}
};

如我所料，在 B 中重写 foo 时出现编译器错误。但是当我对 A::foo 进行单独的定义和声明时

class A {
public:
    virtual ~A() = default;
    virtual void foo() final;
};

void A::foo() {}

class B : public A {
public:
    void foo() override {}
};

错误消失了。是应该如此还是编译器错误？

//编辑:gcc 版本 4.9.2 (Debian 4.9.2-10+deb8u1)

Answer 1

这两个代码段都应该生成有关覆盖 final 函数的编译器错误。这似乎是一个编译器错误。 gcc 4.9.2编译和gcc 4.9.3产生错误。