c++ final和override关键字 c++提高代码可读性【技巧】

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

final 和 override 是 C++11 引入的两个上下文关键字，它们不改变程序行为，但能显著提升代码可读性、可维护性与编译期安全性——尤其在面向对象继承体系中。

用 override 明确表达“我打算重写虚函数”

没有 override 时，子类函数名拼错、参数类型不一致、const 修饰不匹配等细微差异，都可能导致“意外地没重写”，而是新增了一个重载函数。编译器不会报错，但逻辑出错难以排查。

加上 override 后，编译器会强制检查：该函数是否确实重写了基类的某个虚函数。否则直接报错。

• 写法：在成员函数声明末尾加 override（如 void func() override;）
• 必须出现在类定义内（头文件中），不能用于定义体（.cpp 中）
• 只适用于虚函数，且签名（含 const/volatile/引用限定符）必须完全匹配基类虚函数

用 final 阻止进一步派生或重写，传达设计意图

final 有两个使用位置，语义清晰：

• 加在 类名后（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，建议开启相关检查项