final 说明符 (C++11 起)
来自cppreference.com
语法
当应用到成员函数时,标识符 final
在类定义中的成员函数声明或成员函数定义的语法中,紧随声明符之后出现。
当应用到类时,标识符 final
在类定义的开头,紧跟类名之后出现。
声明符 虚说明符序列(可选) 纯说明符(可选) | (1) | ||||||||
声明符 虚说明符序列(可选) 函数体 | (2) | ||||||||
类关键词 attr(可选) 类头名 类虚说明符(可选) 基类子句(可选) | (3) | ||||||||
2) 在类定义内的成员函数定义中,
final
可以在紧跟声明符之后并紧接 函数体 之前的 虚说明符序列 中出现。3) 在类定义中,
final
可以在紧跟类名之后,紧接 基类子句(若使用它)起头的冒号之前,作为 类虚说明符 出现。情况 (1,2) 中,如果有使用 虚说明符序列,那么它是 override
、final
、final override
或 override final
之一。情况 (3) 中,如果有使用 类虚说明符 则只允许 final
。
解释
当在虚函数声明或定义中使用时,final
说明符确保函数为虚并指定其不可被派生类覆盖,否则程序为谬构(生成编译时错误)。
当在类定义中使用时,final
指定此类不可在另一类的定义中的 基类说明符列表 中出现(换言之,不能派生于它),否则程序非良构(生成编译时错误)。final
也可以用于联合体定义,此时下它没有效果(除了 std::is_final 的输出结果) (C++14 起),因为不能从联合体派生。
final 是在成员函数声明或类头部中使用时有特殊含义的标识符。其他语境中它未被保留,而且可用于命名对象或函数。
示例
运行此代码
struct Base { virtual void foo(); }; struct A : Base { void foo() final; // Base::foo 被覆盖而 A::foo 是最终覆盖函数 void bar() final; // 错误: bar 非虚,因此它不能是 final 的 }; struct B final : A // struct B 为 final { void foo() override; // 错误:foo 不能被覆盖,因为它在 A 中是 final 的 }; struct C : B // 错误:B 是 final 的 { };
可能的输出:
main.cpp:9:10: 错误:'void A::bar()' 标记为 'final',但不是虚函数 9 | void bar() final; // 错误: bar 非虚,因此它不能是 final 的 | ^~~ main.cpp:14:10: 错误:虚函数 'virtual void B::foo()' 覆盖 final 函数 14 | void foo() override; // 错误:foo 不能被覆盖,因为它在 A 中是 final 的 | ^~~ main.cpp:8:10: 注意:函数 'virtual void A::foo()' 被覆盖 8 | void foo() final; // Base::foo 被覆盖而 A::foo 是最终覆盖函数 | ^~~ main.cpp:17:8: 错误:不能在派生类型 'C' 中派生自 'final' 基类 'B' 17 | struct C : B // 错误:B 是 final 的 |
参阅
override 说明符(C++11)
|
显式说明方法覆盖另一方法 |