C++构造函数、拷贝构造函数、赋值运算符漫谈（一）——函数参数传递

在讨论C++函数参数之前，我们先来看一下C程序是如何调用函数的。

 

如图，为C语言的函数调用记录，C++也类似。当有如下函数：

void foo（X x0）；

如果有如下调用方式：

X xx;

foo(xx);

    编译器（对于C）会将实参xx以“位逐次拷贝”方式复制给形参x0（注：X0即在上图函数活动记录中的参数位置）。在C++中，如果一个Class也展现了“位逐次拷贝语义”【1】，且用户没有定义拷贝构造函数，那么编译器按照这种方式进行拷贝没有问题。但是当一个Class不展现“位逐次拷贝语义”的情况（四种），或者用户定义了拷贝构造函数呢？这种情况编译器必须采用一定措施避免这种直接位拷贝的发生（否则拷贝构造函数将不能发生作用）。C++编译器是这样做的：

     调用函数前，先引入一个X的临时变量temp，并以实参xx为参数调用拷贝构造函数（这由编译器安插代码完成）。如：

X temp；（此处不调用构造函数，只分配空间）

temp.X::X(xx);（这两行代码是由编译器插入）

    之后怎么办呢？如果直接foo(temp),问题又回到之前了，因为只是相当于temp变成了实参，实参到形参x0的拷贝依然是“位逐次拷贝”。所以C++编译器必须做第二个转化，即修改函数foo的声明，将其修改为：

void foo(X& x0);

即函数参数变为引用，传入的将是temp的地址。

测试：

class X
{
public:
X()
{cout<<"X()"<<endl;};
X(const X& x)
{
  cout<<"X(const X& x)"<<endl;
}
X& operator=(const X&)
{
   cout<<"="<<endl;
}
~X()
{cout<<"destructor"<<endl;}
};
void foo(X x0)
{
}
int _tmain(int argc, _TCHAR* argv[])
{
X xx;
foo(xx);
}

运行结果：

 

可以看出函数参数的传入需要调用拷贝构造函数构建一个临时对象（注：并不是构建形参，形参已经被转化为引用，不再是对象），另外临时对象在函数退出时销毁。

总结：函数形参中，对象值传递的方式都转化为临时对象和引用传递。

【1】一个类不展现“位逐次拷贝”的四种情况：

（1） 这个类有member object，并且这个member object对应的Class定义了拷贝构造函数。

（2） 这个类的父类定义了拷贝构造函数。

（3） 这个类中有虚函数（包括其父类有的情况）。

 （4）这个类的继承连中有虚基类。