final关键字用于编译期约束:类后加final禁止继承,虚函数后加final禁止重写,可与override联用确保重写正确性并锁定行为。

final 关键字在 c++ 中用来明确禁止某些类或成员函数被继承或重写,是一种编译期约束机制。
用在类定义后:禁止继承
在类名后加 final,表示该类不能作为基类被其他类继承。一旦尝试继承,编译器会报错。
- 写法:
class Base final { ... }; - 错误示例:
class Derived : public Base { ... };→ 编译失败 - 适合用于工具类、包装类或设计上明确不希望被扩展的类(如
std::string_view在部分实现中就用 final 语义)
用在虚函数声明后:禁止重写
在虚函数声明末尾加 final,表示该函数在当前类中是最终版本,派生类不能再覆盖它。
- 写法:
virtual void func() final; - 注意:只能用于虚函数(包括纯虚函数),非虚函数加 final 无意义,编译报错
- 常见于想保留多态接口但锁定具体行为的场景,比如基类已提供最优实现,不希望子类改出 bug
和 override 的配合使用更安全
final 和 override 可以一起出现,既表明“这是对基类虚函数的重写”,又强调“到此为止,不可再改”。
立即学习“C++免费学习笔记(深入)”;
- 例如:
void draw() override final; - 这样既防止拼写错误(没 override 会报错),也防止后续误加子类破坏设计意图
基本上就这些。final 不改变运行时行为,只在编译阶段起作用,但它让设计意图更清晰,也能帮编译器做优化(比如 devirtualization)。