override用于明确重写虚函数并由编译器检查签名匹配,final用于禁止类继承或虚函数重写,二者提升可读性、可维护性与编译期安全性。

final 和 override 是 C++11 引入的两个上下文关键字,它们不改变程序行为,但能显著提升代码可读性、可维护性与编译期安全性——尤其在面向对象继承体系中。
用 override 明确表达“我打算重写虚函数”
没有 override 时,子类函数名拼错、参数类型不一致、const 修饰不匹配等细微差异,都可能导致“意外地没重写”,而是新增了一个重载函数。编译器不会报错,但逻辑出错难以排查。
加上 override 后,编译器会强制检查:该函数是否确实重写了基类的某个虚函数。否则直接报错。
- 写法:在成员函数声明末尾加 override(如
void func() override;) - 必须出现在类定义内(头文件中),不能用于定义体(.cpp 中)
- 只适用于虚函数,且签名(含 const/volatile/引用限定符)必须完全匹配基类虚函数
用 final 阻止进一步派生或重写,传达设计意图
final 有两个使用位置,语义清晰:
立即学习“C++免费学习笔记(深入)”;
- 加在 类名后(
class B final : public A { ... };)→ 该类不可被继承 - 加在 虚函数声明末尾(
virtual void f() final;)→ 该虚函数在当前类及派生类中不可再被重写
这不只是限制,更是沟通:告诉其他开发者“这里已定型,勿扩展”。比注释更可靠,且被编译器强制执行。
组合使用:构建稳健、自解释的继承结构
典型场景:基类定义接口,中间层提供默认实现并禁止进一步定制,叶子类仅做具体实现。
struct Shape {
virtual double area() const = 0;
virtual ~Shape() = default;
};
struct DrawableShape : Shape {
void draw() const override { / 通用绘制逻辑 / }
virtual double area() const override = 0; // 纯虚,强制子类实现
};
struct Circle : DrawableShape {
double radius;
double area() const override final { return 3.1416 radius radius; }
};
这里:draw() 在 DrawableShape 中已完整实现且标记 override;area() 在 Circle 中实现并加 final,表明该计算方式不许再被覆盖——逻辑封闭,意图一目了然。
小提醒:别滥用,也别遗漏
- 不是所有虚函数都要加 override —— 只有你**主观意图是重写**时才加。工具类或模板中可能有意不重写
- final 不代表“性能优化”,它不生成额外内联指令,但为编译器提供了更多优化线索(如 devirtualization)
- 现代 IDE(如 VS、CLion)和静态分析工具(clang-tidy)能自动提示缺失 override,建议开启相关检查项











