final 和 override 是 C++11 引入的上下文相关关键字，用于在编译期确保虚函数重写正确性和禁止进一步继承或重写：override 显式声明并验证重写，final 修饰类或虚函数以禁止继承或重写。
final 和 override 是 C++11 引入的两个上下文相关关键字，专用于更安全、更清晰地控制虚函数的继承与重写行为。它们不改变语法结构，但能由编译器在编译期捕获常见 OOP 错误，比如拼错函数名、参数不匹配、或意外重写了不该重写的虚函数。
override：显式声明“我要重写基类虚函数”
加在派生类成员函数声明末尾（紧挨函数声明，分号前），告诉编译器：“这个函数的意图是重写基类中的某个虚函数”。编译器会严格检查：
- 基类中是否存在可访问的、同名同参同 const 限定的虚函数
- 函数签名是否完全一致（包括返回类型协变规则）
- 基类函数是否确实是虚函数（不是普通重载）
若任一条件不满足，编译失败。这避免了因大小写错误（display vs Display）、参数类型差异（int vs const int&）等导致的“静默不重写”，让本想重写却实际新增了函数的 bug 无处隐藏。
示例：
class Base {virtual void func(int x) const;
};
class Derived : public Base {
void func(int x) const override; // ✅ 正确：签名匹配
// void func(double x) const override; // ❌ 编译错误：基类无此签名
};
final：禁止进一步继承或重写
final 可用在两个位置，语义不同但目标一致：加强设计约束。
- 修饰类定义（放在类名后）：该类不可被继承。例如
class Widget final { ... };。试图class Bad : public Widget {};会导致编译错误。 - 修饰虚函数声明（放在函数声明末尾）：该虚函数在当前类中为最终实现，派生类不得重写它。例如
virtual void draw() const final;。后续派生类中再写同签名函数并加override就会报错。
使用 final 是一种明确的设计决策表达——表明此处已提供稳定接口或关键实现，不允许下游修改，提升可维护性与安全性。
为什么需要它们？替代手动检查和注释
没有 override 时，程序员靠命名约定（如注释 // overrides Base::foo）或经验判断是否重写成功，但编译器不验证；没有 final 时，只能靠文档或代码审查来防止误继承或误重写。这两个关键字把设计意图变成编译期契约：
- 减少运行时才发现的逻辑错误（比如调用的不是预期的重写版本）
- 提高重构安全性（改基类虚函数签名时，所有
override函数立刻报错，提醒你同步更新） - 增强代码可读性——一眼看出哪些函数是重写的、哪些是封顶的
注意点和常见误区
override 和 final 是“上下文关键字”：仅在特定语法位置起作用，其他地方可作标识符（不推荐）。它们不能同时出现在同一个函数上（override final 合法但冗余，因为 final 已隐含不可重写）；final 修饰的函数仍可被调用，只是不能被重写；非虚函数加 override 是错误，加 final 则无意义（C++ 不允许对非虚函数用 final）。
基本上就这些。用好它们，虚函数体系会更健壮、更易懂。
