C++函数参数传递：形参与实参详解与最佳实践

1. 形参与实参的本质区别

在C++函数调用过程中，形参（formal parameter）和实参（actual argument）这对概念困扰着无数初学者。我见过太多人在面试或代码评审时，面对"请解释二者的区别"这个问题支支吾吾。其实只要抓住几个关键点，这个知识点就能彻底掌握。

形参是函数定义时声明的变量，它们存在于函数的局部作用域中。当我们在函数头写下void foo(int x, string s)时，x和s就是形参。它们本质上是对函数将要接收数据的"占位符声明"，在函数被实际调用前，这些变量并没有真实的内存分配。

实参则是函数调用时实际传入的值或表达式。调用foo(42, "hello")时，42和"hello"就是实参。关键点在于：实参会在函数调用时被求值，然后将求值结果传递给形参。这个过程就像把货物（实参）装进集装箱（形参）运往目的地（函数体）。

重要提示：形参和实参的类型必须兼容，但不必完全相同。C++允许隐式类型转换，比如实参是short而形参是int时，编译器会自动进行整型提升。

2. 参数传递的三种核心方式

2.1 传值调用（Call by Value）

这是C++默认的参数传递方式。当使用传值调用时，实参的值会被复制到形参中。函数内对形参的任何修改都不会影响原始实参。例如：

cpp复制void increment(int x) {
    x++;
}

int main() {
    int a = 5;
    increment(a);
    cout << a;  // 输出仍然是5
}

传值调用的特点：

• 实参可以是常量、变量或表达式
• 函数内获得的是实参的独立副本
• 适用于小型数据（基本类型、小型结构体）
• 避免意外的副作用（函数不会修改原始数据）

2.2 传引用调用（Call by Reference）

通过在形参类型后添加&符号实现。此时形参成为实参的别名，对形参的操作直接影响原始数据：

cpp复制void increment(int &x) {
    x++;
}

int main() {
    int a = 5;
    increment(a);
    cout << a;  // 输出变为6
}

引用调用的关键点：

• 形参必须是左值（变量或可修改的表达式）
• 避免大型对象的复制开销（如传递vector时）
• 允许函数修改原始数据
• 常用于实现"输出参数"模式

2.3 传指针调用（Call by Pointer）

这是C风格的参数传递方式，通过传递变量的地址实现：

cpp复制void increment(int *x) {
    (*x)++;
}

int main() {
    int a = 5;
    increment(&a);
    cout << a;  // 输出变为6
}

指针调用的注意事项：

• 需要显式取地址(&)和解引用(*)
• 可能产生空指针问题
• 接口不如引用直观
• 在C++中通常优先使用引用

3. 高级参数传递技术

3.1 const引用参数

结合const和引用，可以高效传递大型对象同时防止修改：

cpp复制void printBigData(const BigData &data) {
    // 可以读取但不能修改data
}

这种方式的优势：

• 避免复制大型对象的开销
• 明确表达"只读"意图
• 兼容临时对象（右值）作为实参

3.2 移动语义与右值引用

C++11引入的移动语义允许高效转移资源所有权：

cpp复制void processData(std::string &&s) {
    // s是右值引用，可以安全"窃取"其内容
}

使用场景：

• 处理临时对象或显式std::move的对象
• 实现资源的高效转移
• 避免不必要的深拷贝

3.3 默认参数

C++允许为形参指定默认值：

cpp复制void log(const string &msg, int level = 1) {
    // level默认为1
}

默认参数的规则：

• 必须从右向左连续设置
• 默认值在函数声明处指定（通常在头文件）
• 调用时可以省略有默认值的参数

4. 常见误区与最佳实践

4.1 数组作为参数的特殊性

数组作为参数时会退化为指针，这是许多初学者困惑的地方：

cpp复制void processArray(int arr[]) { 
    // 实际类型是int*
}

// 正确做法：传递数组大小或使用std::array/vector
void betterProcess(int arr[], size_t size) {}

4.2 引用与指针的选择

现代C++通常优先使用引用：

• 引用更安全（不能为null）
• 语法更简洁
• 语义更明确

保留指针用于：

• 需要nullptr表示特殊状态
• 需要重新绑定指向不同对象
• 与C代码交互

4.3 参数传递的性能考量

参数传递策略的选择直接影响性能：

• 小型基本类型：传值（int, double等）
• 大型对象：const引用
• 需要修改的对象：非const引用
• 需要转移所有权的对象：右值引用

5. 实战案例分析

5.1 交换两个变量的值

cpp复制// 正确实现
void swap(int &a, int &b) {
    int temp = a;
    a = b;
    b = temp;
}

// 错误示例：传值调用
void badSwap(int a, int b) { ... } // 不会影响原始变量

5.2 返回多个值

通过引用参数实现多返回值：

cpp复制bool parseInput(const string &input, int &value, string &unit) {
    // 通过引用参数返回解析结果
    if(/* 解析成功 */) {
        value = ...;
        unit = ...;
        return true;
    }
    return false;
}

5.3 处理大型对象

cpp复制struct LargeData { /* 大量数据成员 */ };

// 高效处理：const引用
void process(const LargeData &data) {
    // 只读访问data
}

// 修改数据：非const引用
void modify(LargeData &data) {
    // 修改data内容
}

6. 现代C++的参数传递演进

C++17引入的结构化绑定进一步简化了多返回值场景：

cpp复制auto [value, unit] = parseInput(input); // 需要函数返回tuple/pair

C++20的概念（Concepts）为形参添加了更强大的约束：

cpp复制template <std::integral T>
void processNumber(T num) { ... }

这些新特性让参数传递更加安全、直观和高效。