noexcept不匹配导致override编译失败：基类virtual void f()（即noexcept(false)）与派生类void f() noexcept override签名不同，编译器视为两个函数类型，无法重写；不加override则隐藏基类函数，引发静默多态失效。
编译器把 noexcept 说明符当作函数签名的一部分，&& 和 & 不一致时，override 就找不到可覆盖的基类函数
noexcept 不匹配导致 override 编译失败
当你在派生类中写 void func() noexcept override，而基类对应的是 virtual void func()（即隐式 noexcept(false)），编译器会直接报错，例如：
error: 'func' marked 'override' but does not override any base class member
这不是警告，是硬性编译错误。原因在于：C++ 标准规定，noexcept 是函数类型的一部分，void() noexcept 和 void() 是两个完全不同的函数类型，无法构成重写关系。
- 基类未声明
noexcept→ 等价于noexcept(false) - 派生类加了
noexcept→ 类型变为noexcept(true) - 两者签名不兼容，override 失败
不加 override 时会发生什么
如果漏掉 override，这个“看似重写”的函数会被当作新成员函数加入派生类，造成隐藏（hiding）而非覆盖（overriding）：
- 通过基类指针/引用调用，仍执行基类版本（可能抛异常）
- 通过派生类对象直接调用，才走派生类版本（标了
noexcept） - 行为割裂，多态失效，且无任何编译提示
这种静默差异极易引发运行时异常传播失控——比如基类版本抛 std::out_of_range，而你误以为已被派生类的 noexcept 版本接管。
哪些 noexcept 组合能成功 override
必须严格一致。以下全部合法：
- 基类
virtual void f() noexcept←→ 派生类void f() noexcept override - 基类
virtual void f() noexcept(false)←→ 派生类void f() noexcept(false) override - 基类
virtual void f()（即noexcept(false)） ←→ 派生类void f() override（不写 noexcept）
注意：noexcept 的位置必须在 const / 引用限定符之后、override 之前，例如 void f() const noexcept override 正确，void f() noexcept const override 错误。
noexcept 与虚函数表的实际影响
虚函数表（vtable）条目是按完整函数类型索引的。一旦 noexcept 不一致，编译器就不会把派生类函数地址填进基类 vtable 对应槽位——这意味着即使你强制转型为基类指针，调用的仍是基类实现。
更隐蔽的风险在于：标准库容器（如 std::vector）在移动元素时会检查移动构造函数是否 noexcept，若虚函数参与了资源管理逻辑（比如 RAII 封装类中的虚析构或虚 close()），错误的 noexcept 声明可能导致移动语义被降级为拷贝，或触发未定义行为。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
