默认参数是调用点的语法糖，编译器在调用处静态补全；虚函数默认参数按指针静态类型解析，不随多态改变，易导致行为与预期不符。
默认参数在 C++ 里怎么工作
它不是编译期“填值”，而是调用点（call site）的语法糖。编译器看到 foo(1) 调用一个声明为 void foo(int x, int y = 42) 的函数时，会自动补上 foo(1, 42) —— 这个 42 是在调用者代码所在编译单元里硬编码进去的。
- 默认值只在声明处写，定义处不能重复写
y = 42 - 多个默认参数必须从右往左连续，不能跳着来：
void f(int a = 1, int b, int c = 3)是非法的 - 类内声明中写默认值很常见，但要注意：头文件被多个源文件包含时，该默认值会在每个 TU（translation unit）里各复制一份
虚函数 + 默认参数 = 静态绑定 + 动态绑定混用
问题核心在于：函数地址是动态决定的（虚表查），但默认参数值是静态决定的（看指针/引用的静态类型）。
比如：
struct Base {
virtual void log(const char* msg, int level = 1) {
printf("Base: %s (L%d)\n", msg, level);
}
};
struct Derived : Base {
void log(const char* msg, int level = 99) override {
printf("Derived: %s (L%d)\n", msg, level);
}
};然后这样调用：
立即学习“C++免费学习笔记（深入）”；
Base* p = new Derived();
p->log("hello"); // 输出？结果是 Derived: hello (L1)，不是 L99 —— 因为 p 是 Base* 类型，编译器按 Base::log 的声明补默认值 1；等真正调到 Derived::log 时，参数已经固定成 ("hello", 1) 了。
- 虚函数调用的“多态性”不延伸到默认参数上
- 派生类改默认值纯属误导，调用方根本看不见
- 如果你用
Derived*直接调，才会用上99，但这破坏了多态使用的初衷
替代方案比“慎用”更实际
别指望靠注释或文档让人记住“这里默认值会失效”，直接换掉模式。
- 用函数重载代替默认参数：
log(const char<em>)</em>和log(const char, int)，两个都声明为virtual，各自实现逻辑 - 或者保留一个虚函数，把默认逻辑提到基类实现里：
virtual void log_impl(const char<em>, int)</em>+ 非虚的log(const char msg) { log_impl(msg, 1); } - 构造函数里允许默认参数没问题（不涉及虚调用），但成员函数尤其带
virtual的，尽量避开
哪些地方真会踩坑
- 头文件里给虚函数加默认参数，下游用户以为改了就能生效，结果运行时行为和预期不一致
- 做接口抽象层（比如插件系统、策略基类）时，派生类作者自作主张改默认值，主程序升级后莫名降级日志级别
- 用
std::function 或模板捕获虚函数指针时，默认参数完全丢失，连编译都过不去
std::function 或模板捕获虚函数指针时，默认参数完全丢失，连编译都过不去虚函数的默认参数不是“可能出错”，是“必然按静态类型解析”，而人眼容易扫一眼声明就以为它跟着多态走。一旦涉及接口设计或跨模块协作，这个细节就从语法陷阱变成维护成本。
