虚函数调用时默认参数由静态类型决定，因为默认参数编译期绑定而虚函数体运行期绑定；两者机制分离，若默认参数也动态绑定将大幅增加运行时开销；派生类重定义默认参数会导致行为错乱，应仅在基类声明中定义一次。
虚函数调用时默认参数由静态类型决定
因为默认参数的绑定发生在编译期，而虚函数的函数体选择发生在运行期——这两件事走的是完全不同的机制。编译器在看到 ptr->func() 这样的调用时，会立刻根据 ptr 的声明类型（比如 A*）查该类型的声明，从中取出 func 的默认参数值；与此同时，它另起一套逻辑去查虚函数表，根据对象实际类型（比如 B）找到要执行的函数地址。两者互不干扰。
为什么不能让默认参数也动态绑定
这会导致运行时开销和实现复杂度飙升。如果默认参数也要查虚函数表或对象头，那每次虚调用都得额外做一次“找默认值”的跳转或查表操作。C++ 选择把默认参数当作纯粹的语法糖，在编译时就完成补全，生成的汇编里根本看不到“取默认值”的运行时逻辑。g++ 13.1.0 对某些继承+缺省参数组合报段错误，很可能就是旧代码依赖了未定义行为，新版本更严格地拒绝了这种模糊场景。
常见踩坑场景：派生类重写虚函数时改了默认参数
这是最危险也最容易被忽视的操作。例如：
class Shape {
public:
virtual void draw(ShapeColor color = RED) const = 0;
};
class Rectangle : public Shape {
public:
virtual void draw(ShapeColor color = GREEN) const override; // ❌ 危险！
};
- 当用
Shape* ps = new Rectangle调用ps->draw()，实际执行的是Rectangle::draw，但传入的参数是RED（来自Shape的声明） - 如果
Rectangle::draw内部逻辑严重依赖GREEN，就会出错 - Clang 和老版 g++ 可能静默接受，新版 g++ 可能直接拒绝编译或触发未定义行为
安全做法：默认参数只在基类声明中定义一次
所有派生类重写该虚函数时，不要重新指定默认参数。如果确实需要不同行为，显式传参或拆成两个函数更可靠：
- 保持基类声明中唯一一份默认值，如
virtual void draw(ShapeColor color = RED) const - 派生类实现里不写
= ...，只写函数体 - 若语义差异大（比如矩形必须绿色、圆形必须红色），干脆不依赖默认参数，改用重载或策略参数
- 头文件中暴露默认值是必须的——它不是实现细节，而是接口契约的一部分
真正容易被忽略的点在于：你改的只是函数体，但调用方看到的默认值永远卡死在指针/引用的静态类型声明处。哪怕你把派生类函数签名复制粘贴到头文件里加了默认值，只要调用点用的是基类指针，那个新加的默认值就完全无效。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
