不是必须，但强烈建议加；不加会导致签名不匹配时静默新增函数而非重写，引发多态失效，加override后编译器强制校验基类虚函数存在性、签名一致性（含const/引用限定符）及协变返回类型，不满足则报错。
虚函数重写必须加 override 关键字吗？
不是必须，但强烈建议加。不加 override 时，编译器不会检查你是否真的重写了父类虚函数——拼错函数名、参数类型不一致、const 修饰符不匹配，都会导致“看似重写实则新增”，调用时走父类实现，行为诡异且难以排查。
加上 override 后，编译器会强制校验：该函数是否在基类中声明为虚函数、签名是否完全一致（包括返回类型协变规则）、是否可访问。不满足就报错，比如：error: 'func' does not override any member functions 或 error: overriding non-virtual function。
- 即使父类函数是
virtual，子类同名函数没加override，也不代表它自动成为虚函数重写——它只是个普通函数，除非签名严格匹配且父类有对应虚函数 -
override是 C++11 引入的标识符，不是宏或函数，不能省略；它只用于成员函数声明（定义里不能写） - 如果父类函数是
final，加override会直接编译失败
参数、返回类型、const 必须完全一致？
基本一致，但有例外：返回类型允许协变（covariant），即子类重写函数可返回更派生的类型（如父类返回 Base*，子类可返回 Derived*），前提是二者是同一继承链上的指针或引用。
其余部分必须逐字匹配：参数类型（含 const、&、&&）、参数个数、noexcept 说明符（C++17 起）、const/volatile 限定符。哪怕一个 int 写成 const int，或漏掉 const，都不算重写。
- 常见坑：
void func(int x)vsvoid func(int& x)—— 类型不同，不是重写 -
virtual void func() const在父类中，子类必须也写const，否则是新函数 - 返回类型协变仅适用于指针/引用，
Base值类型返回不允许变成Derived
父类没声明 virtual，子类加 override 会怎样？
直接编译失败。override 的前提是父类存在可被重写的虚函数。如果父类函数只是普通成员函数（哪怕名字、参数一模一样），子类加 override 会触发错误：error: function does not override any base class members。
这也是一种防御性设计：防止你以为自己在多态，其实只是隐藏了父类函数（name hiding），而调用时取决于静态类型，不是动态绑定。
- 若父类函数本应是虚函数但漏写了
virtual，加override反而帮你暴露这个设计缺陷 - 不要为了“看起来像重写”而在非虚函数后硬加
override—— 编译不过，也没意义 - 构造函数、析构函数、static 成员函数都不能被
override（析构函数除外：若基类析构是virtual，子类析构自动是虚函数，加override是推荐写法）
为什么有时候加了 override 还报错：‘does not match any signature’？
最常见原因是隐式类型转换干扰签名匹配。比如父类声明 virtual void set_value(int x)，子类写 void set_value(long x) override —— 看似只是整型宽度不同，但 int 和 long 是不同类型（尤其在 Windows x64 上 long 是 4 字节，int 也是 4 字节，但仍是独立类型），编译器不认为这是重写。
另一个高频场景是模板类中的虚函数：父类模板实例化后生成的虚函数签名，和子类手动写的签名稍有出入（比如用了 std::size_t 而不是 size_t），也会触发此错误。
- 用
clang++ -Xclang -fdiagnostics-show-template-tree或g++ -fverbose-asm辅助查看实际推导出的类型 - 复制父类函数声明，粘贴到子类中再修改，比手写更安全
- IDE 如 CLion 或 VS2022 支持 Alt+Enter 快速生成带
override的重写函数，能避免这类低级错误
override 不是装饰，是契约锁；漏掉它，等于把多态安全交给运气。C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
