为什么“覆盖/最终”需要放在函数声明符之后？

Question

我一直想知道这个决定，为什么 override 和 final 必须在成员函数声明符之后：

struct Base {
    virtual void virtFun();
};
struct Foo: Base {
    virtual void virtFun() override;
};

对我来说，用override/final 代替virtual 会更合乎逻辑：

struct Base {
    virtual void virtFun();
};
struct Foo: Base {
    override void virtFun();
};

这背后有什么原因吗？可能是 C++11 之前的兼容性问题？

Answer 1

这是因为override 和final 不是keywords。

相反，它们是特殊的标识符。

这意味着您实际上可以使用这些名称声明变量、函数或类型名称（类型别名或类）。

它们只能在非常小的上下文中用作成员函数修饰符，其中编译器在解析源代码时必须事先知道上下文。将它们放在函数声明之后是从 C++ 语法中消除该上下文歧义的一种非常简单的方法。