C++中的默认参数是什么？（为什么在虚函数中要慎用）

默认参数是调用点的语法糖，编译器在调用处静态补全；虚函数默认参数按指针静态类型解析，不随多态改变，易导致行为与预期不符。

默认参数在 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 或模板捕获虚函数指针时，默认参数完全丢失，连编译都过不去

虚函数的默认参数不是“可能出错”，是“必然按静态类型解析”，而人眼容易扫一眼声明就以为它跟着多态走。一旦涉及接口设计或跨模块协作，这个细节就从语法陷阱变成维护成本。