override用于显式重写虚函数并确保签名匹配,避免隐藏基类函数;final可修饰虚函数或类以禁止进一步重写或继承;两者结合可控制继承层级,提升代码安全与可读性。

在C++中,override 和 final 是用于控制虚函数行为和继承结构的关键字,它们增强了代码的可读性、安全性和设计意图的表达。这两个关键字从 C++11 开始引入,主要用于在派生类中更明确地处理虚函数重写和继承限制。
override:确保正确重写虚函数
override 关键字用于显式标明派生类中的成员函数意在重写基类的虚函数。如果函数签名与基类虚函数不匹配,编译器会报错,从而避免因拼写错误或参数类型不一致导致的“意外隐藏”而非重写的问题。
使用 override 能提升代码安全性,让程序员明确表达“这个函数是用来重写的”,同时让编译器帮忙验证是否真的成功重写了虚函数。
示例:
立即学习“C++免费学习笔记(深入)”;
class Base { public:     virtual void foo(int x) const; };  class Derived : public Base { public:     void foo(int x) const override; // 正确:成功重写     // void foo(double x) const override; // 错误:基类没有匹配的虚函数 }; 
final:限制虚函数重写或类继承
final 是一个修饰符,可以用于两种场景:
- 修饰虚函数:表示该虚函数不能再被派生类重写
- 修饰类:表示该类不能被继承
使用 final 可以防止进一步的多态扩展,常用于设计稳定接口或性能优化时阻止虚调用链继续延伸。
示例一:禁止虚函数被重写
class Base { public:     virtual void bar() const final; };  class Derived : public Base { public:     // void bar() const override; // 错误:bar 被 final 修饰,无法重写 }; 
示例二:禁止类被继承
class Sealed final { public:     virtual void func(); };  // class SubClass : public Sealed { }; // 错误:Sealed 被 final 修饰,不可继承 
结合使用 override 与 final 的场景
有时希望某个虚函数在当前派生类中被重写,但不允许其子类继续重写,这时可以将两者结合使用。
class Base { public:     virtual void execute(); };  class Mid : public Base { public:     void execute() override final; // 重写并禁止后续重写 };  class Last : public Mid { public:     // void execute() override; // 错误:Mid::execute 是 final 的 }; 
这种组合方式有助于构建受控的继承层级,防止滥用多态。
基本上就这些。合理使用 override 和 final 不仅能减少错误,还能让继承关系更清晰,提升代码维护性。虽然不是强制要求,但在现代 C++ 中建议养成显式标注的习惯。


