final 和 override 是 C++11 引入的上下文关键字,用于提升虚函数继承体系的可读性、安全性与意图表达:override 强制检查派生类函数是否正确重写基类虚函数,避免隐式重载;final 用于类或虚函数声明末尾,分别禁止继承或进一步重写。

final 和 override 是 C++11 引入的两个上下文相关关键字,专用于增强虚函数继承体系的**可读性、安全性与意图表达**。它们不改变语法结构,但能由编译器静态检查,防止常见误用。
用 override 明确表示“我要重写虚函数”
在派生类中重写基类虚函数时,如果函数签名稍有偏差(比如参数类型不同、const 修饰不一致、返回类型协变没处理好),编译器可能不会报错,而是悄悄生成一个**新函数**(重载),而非重写——这会导致多态调用失败,bug 难以察觉。
加上 override 后,编译器会强制检查:该函数是否确实重写了基类中的某个虚函数。如果不是,直接报错。
- 必须写在函数声明末尾(分号前),紧挨着 const/volatile/ref-qualifier 等
- 仅用于成员函数,且只能用于虚函数的重写(不能用于普通函数或非虚函数)
- 示例:void func() override; —— 若基类无匹配的虚函数,编译失败
用 final 阻止进一步继承或重写
final 可用于两个位置,语义不同但目标一致:显式终止扩展。
立即学习“C++免费学习笔记(深入)”;
- 加在 类名后(如 class D final : public B { ... };),表示该类不可被继承
- 加在 虚函数声明末尾(如 virtual void f() final;),表示该函数在当前类中是最终版本,派生类不能再重写它
- 两者都让意图一目了然,也避免意外继承/重写带来的逻辑断裂
它们不是必需的,但强烈建议启用
不写 override 或 final,代码仍能编译运行;但加了之后,编译器就成了你的“契约审查员”。尤其在大型项目或团队协作中:
- override 消除“我以为重写了,其实没重写”的低级错误
- final 防止下游随意修改关键行为,提升接口稳定性
- 现代编译器(如 GCC、Clang、MSVC)默认支持,无需额外开关
基本上就这些。它们不复杂,但容易忽略——加上的成本极小,收益却很实在。











