一:final
指定某个虚函数不能再子类中被覆盖,或者某个类不能被子类继承
解释:
当在虚函数声明或定义中使用时,final 确保函数为虚并指定其不可被派生类覆盖。若这么做则程序非良构(生成编译时错误)。
当在类定义中使用时,final 指定此类不可在另一类的定义中的 基类说明符列表
中出现(换言之,不能派生于它)。若这么做则程序非良构(生成编译时错误)。final 亦可用于联合体定义,此情况下它没有效果(除了
std::is_final 的输出结果),因为不能从联合体派生。final 是在成员函数声明或类头部中使用时有特殊含义的标识符。其他语境中它未被保留,而且可用于命名对象或函数。
例子:
struct Base
{
virtual void foo();
};
struct A : Base
{
void foo() final; // Base::foo 被覆盖而 A::foo 是最终覆盖函数
void bar() final; // 错误:非虚函数不能被覆盖或是 final
};
struct B final : A // struct B 为 final
{
void foo() override; // 错误:foo 不能被覆盖,因为它在 A 中是 final
};
struct C : B // 错误:B 为 final
{
};
二:override
指定一个虚函数覆盖另一个虚函数
解释:
在成员函数声明或定义中,override 确保该函数为虚函数并覆盖某个基类中的虚函数。若此非真则程序非良构(生成编译错误)。
override 是在成员函数声明符之后使用时拥有特殊含义的标识符:其他情况下它不是保留的关键词。
例子:
struct A
{
virtual void foo();
void bar();
};
struct B : A
{
void foo() const override; // 错误:B::foo 不覆盖 A::foo
// (签名不匹配)
void foo() override; // OK:B::foo 覆盖 A::foo
void bar() override; // 错误:A::bar 非虚
};