在 C++ 函数调用中，参数传递方式直接决定了实参是否被拷贝、是否可被修改以及调用语法的表现形式。值传递、引用传递和指针传递虽然都能完成数据交互，但在内存开销、语义清晰度和安全性上差异明显。理解这些差异是写出高效且易维护接口的前提。
一、值传递的底层行为与特点
值传递是指在函数被调用时，编译器会利用实参的拷贝构造函数（或平凡的内存复制）生成一个全新的局部副本，该副本生命周期仅限于函数栈帧。函数内部对参数的所有修改都只作用于这个副本，原调用处的变量完全不受影响。这种方式从语义上提供了最强的数据隔离保障，特别适合基本数值类型或不可变的小对象。
然而当实参是体积较大的自定义类型时，值传递的代价就会凸显。每一次调用都可能触发昂贵的拷贝构造，甚至引发动态内存分配。下面这段代码展示了值传递时的拷贝过程：
#include <iostream>
#include <string>
struct BigData {
std::string content;
BigData() : content("init") {}
BigData(const BigData& other) : content(other.content) {
std::cout << "拷贝构造被调用" << std::endl;
}
};
void printByValue(BigData d) {
std::cout << d.content << std::endl;
}
int main() {
BigData origin;
printByValue(origin); // 此处发生一次拷贝构造
return 0;
}
从优点看，值传递天然具备线程安全倾向，因为不存在共享状态；从缺点看，它无法让函数回写结果到调用方，且大对象拷贝会拖慢性能。因此在接口设计中，若不需要修改实参且类型轻量，值传递最直观；反之则应谨慎。
二、引用传递的语义与适用场景
引用传递通过 T& 类型让形参成为实参的别名，底层通常以指针方式实现，但在语法上消除了解引用符号。函数内对引用参数的赋值会直接反映到原变量上，且不发生对象拷贝。它既保留了值传递的调用简洁性，又获得了修改原数据的能力。
常量引用 const T& 是只读场景下的首选，它既能避免拷贝，又向调用方承诺不会更改实参。以下示例对比了普通引用与常量引用：
#include <iostream>
#include <string>
void modifyByRef(std::string& s) {
s += "_modified";
}
void readByConstRef(const std::string& s) {
std::cout << s << std::endl;
}
int main() {
std::string name = "test";
modifyByRef(name);
readByConstRef(name);
return 0;
}
引用传递的主要优势是零拷贝与语法干净，但普通引用容易让接口使用者忽视参数被修改的风险，必须在文档或命名上明确意图。另外，引用在绑定后不可更改指向，这相比指针少了灵活性，却也减少了误重定向的 bug。对需要回写或处理大对象的接口，引用通常是现代 C++ 的推荐做法。
三、指针传递的机制与权衡
指针传递将实参的地址以 T* 形式传入，函数通过解引用访问目标对象。它和引用最大的不同在于：指针本身可以为空，也可以被重新指向其他地址。这种显式的地址语义让调用方一眼看出参数可能为空或可能被修改，但也需要函数内部做空指针检查。
在需要表达可选参数或支持多态基类时，指针传递依然常见。示例展示了基础的指针用法：
#include <iostream>
void safeIncrement(int* p) {
if (p == nullptr) {
std::cout << "空指针，忽略" << std::endl;
return;
}
(*p)++;
}
int main() {
int a = 10;
safeIncrement(&a);
safeIncrement(nullptr);
std::cout << a << std::endl;
return 0;
}
指针传递的优点是语义透明、允许空值并兼容 C 风格接口；缺点是容易引入空指针解引用和野指针问题，且调用时必须显式取地址，代码稍显啰嗦。在 C++ 工程中，若不需要表达空或重定向，应优先用引用；只有在与 C 库交互或实现可选参数时才倾向指针。
四、三种方式综合对比与选型建议
为了更直观地看出差异，我们可以从拷贝开销、可否修改原值、是否允许空值和调用语法几个维度进行归纳：
| 传递方式 | 是否拷贝实参 | 可否修改原值 | 可否为空 | 调用示例 |
|---|---|---|---|---|
| 值传递 | 是 | 否 | 否 | func(obj) |
| 引用传递 | 否 | 是（非const时） | 否 | func(obj) |
| 指针传递 | 否 | 是 | 是 | func(&obj) |
在实际接口设计中，基本原则是：小类型且不需修改用值传递；大类型只读用 const 引用；需要回写原对象用普通引用；必须表达空或兼容 C 接口用指针。合理搭配这三种方式，可以在性能、安全与可读性之间取得平衡，避免不必要的拷贝或隐藏的副作用。