C++引用默认参数：原理、应用与陷阱防范

1. 引用默认参数：C++函数设计的双刃剑

第一次在代码里看到void process(const std::string& str = "default")这样的函数声明时，我盯着那个等号后面的字符串愣了半天。引用和默认参数的组合就像把瑞士军刀和多功能钳子焊在了一起——功能强大但稍有不慎就会伤到自己。这种语法在Qt框架和STL实现中频繁出现，比如QString::replace的参数设计，理解它关乎到我们能否写出既灵活又安全的接口。

引用默认参数的核心价值在于避免不必要的拷贝。当函数参数是复杂对象时，传值调用会导致整个对象被复制，而引用传递只是传递了一个别名。加上默认参数后，调用方获得了双重便利：既可以选择性提供参数，又能享受引用传递的性能优势。但这里埋着第一个坑——临时对象的生命周期问题。假设默认参数是个临时构造的std::string("default")，当这个临时字符串析构后，引用就会变成悬垂引用。

2. 语法规范与底层实现原理

2.1 标准语法结构分析

合法的引用默认参数声明必须同时满足三个条件：

1. 默认值必须是编译期可确定的表达式
2. 对于非const引用，实参必须是左值
3. 默认参数必须出现在函数声明处而非定义处（头文件中）

典型的错误示例：

cpp复制// 错误：非const引用不能绑定到字面量
void print(std::string& msg = "hello"); 

// 正确：const引用可以绑定到右值
void print(const std::string& msg = "hello");

// 错误：默认参数重复定义
// header.h
void log(const std::string& msg = "info");
// source.cpp
void log(const std::string& msg = "info") {} 

2.2 编译器如何处理默认引用参数

当编译器看到void foo(const Bar& b = Bar())时，它会在调用点生成隐藏代码。假设这样调用foo()，实际生成的代码类似于：

cpp复制Bar __hidden_default = Bar();  // 生成临时对象
foo(__hidde