C++函数调用中形参如何通过实参完成初始化？附代码示例解析

阿华AIGC实验室

2026-4-28

函数形参初始化与拷贝构造函数的机制解析

首先来看你给出的代码：

#include<iostream>
using namespace std;
void fun(T1 x, T2 y, T3 z){ // some code }
int main(){
    T1 a;
    T2 b;
    T3 c;
    fun(a,b,c);
}

你的问题非常精准，咱们直接切入核心：

核心结论：值传递的形参就是通过拷贝初始化完成的

你猜测的T1 x = a; T2 y = b; T3 z = c;这个逻辑完全正确！从C++标准的定义来说，当你以值传递的方式给函数传参时，形参的初始化过程就是拷贝初始化——也就是用实参作为初始值，通过拷贝构造函数（包括编译器自动生成的默认版本）来创建形参对象。

细节补充：编译器优化与特殊场景

不过这里还有几个需要注意的点：

1. 编译器可能会省略拷贝（拷贝消除）

很多现代编译器会做**拷贝消除（Copy Elision）**优化，比如在某些场景下直接复用实参的内存来构造形参，跳过拷贝构造函数的调用。比如如果你的实参是临时对象，或者编译器能确定省略拷贝不会影响程序逻辑，就会这么做。

但要明确：这只是编译器的可选优化，标准并不强制要求。而且即便编译器做了优化，你的代码也必须保证拷贝构造函数是可访问的（比如不能是private），否则编译会直接失败。

2. 右值实参会触发移动构造

如果传递的实参是右值（比如临时对象、用std::move()转换后的对象），那初始化过程会调用移动构造函数而不是拷贝构造函数，这时候逻辑就变成了T1 x = std::move(a);，效率会更高——因为移动构造可以直接“窃取”实参的资源，而不是复制。

3. 引用形参不涉及拷贝

如果你的形参是引用类型（比如void fun(T1& x)），那这时候形参只是实参的一个别名，不会调用任何构造函数，直接绑定到实参的内存上。但你的代码里是值传递，所以不涉及这种情况。

验证示例

我们可以写个小代码来验证拷贝构造的调用：

#include <iostream>
using namespace std;

class Test {
public:
    Test() { cout << "默认构造函数被调用\n"; }
    Test(const Test&) { cout << "拷贝构造函数被调用\n"; }
};

void func(Test t) {}

int main() {
    Test obj;
    func(obj);
    return 0;
}

在没有开启优化的情况下，运行结果会是：