拷贝构造函数的参数为什么必须使用引用类型?拷贝赋值运算符的参数为什么也是引用类型？

#include <iostream.h>  
  
class CExample  
{  
    int m_nTest;  
public:  
      
    CExample(int x):m_nTest(x) //带参数构造函数  
    {   
       cout << "constructor with argument/n";  
    }  
      
    CExample(const CExample & ex) //拷贝构造函数  
    {  
        m_nTest = ex.m_nTest;  
        cout << "copy constructor/n";  
    }  
      
    CExample& operator = (const CExample &ex)//赋值函数(赋值运算符重载)  
    {     
        cout << "assignment operator/n";  
        m_nTest = ex.m_nTest;  
        return *this;  
    }  
      
    void myTestFunc(CExample ex)  
    {  
    }  
};  
  
int main()  
{  
    CExample aaa(2);  
    CExample bbb(3);  
    bbb = aaa;  
    CExample ccc = aaa;  
    bbb.myTestFunc(aaa);  
      
    return 0;     
}  

 (1)

这个例子的输出结果：

constructor with argument     //CExample aaa(2);
constructor with argument     //CExample bbb(3);
assignment operator                //bbb = aaa;
copy constructor                      //CExample ccc = aaa;
copy constructor                     //  bbb.myTestFunc(aaa);

 

第3个和第4个输出结果不同的原因是： bbb对象已经实例化了，不需要构造，此时只是将aaa赋值给bbb，只会调用赋值函数， 但是ccc还没有实例化，因此调用的是拷贝构造函数，构造出ccc，而不是赋值函数。

第5个输出结果的原因和第4个一致。

通过这个例子， 我们来分析一下为什么拷贝构造函数的参数只能使用引用类型。

 

看第四个输出： copy constructor                      //CExample ccc = aaa;

构造ccc，实质上是ccc.CExample(aaa); 我们假如拷贝构造函数参数不是引用类型的话， 那么将使得 ccc.CExample(aaa)变成aaa传值给ccc.CExample(CExample ex)，即CExample ex = aaa，因为 ex 没有被初始化， 所以 CExample ex = aaa 继续调用ex的拷贝构造函数，也就是 ex.CExample(aaa)，必然又会有aaa传给CExample(CExample ex), 即 CExample ex = aaa;那么又会触发拷贝构造函数，就这下永远的递归下去。但此处ex如果是引用的的话，即ex就已经被实例化了，也就不会一直反复调用其拷贝构造函数了。

所以绕了那么大的弯子，就是想说明拷贝构造函数的参数使用引用类型不是为了减少一次内存拷贝， 而是避免拷贝构造函数无限制的递归下去。

 

(2) 接下来，我们再测试一下赋值构造函数的参数，如果我们把它的参数也改为值传递，做一个测试。

class test
{
public:
    test()
    {
        cout << "constructor with argument\n"; 
    }
    ~test()
    {
    }
    test(test& t)
    {
     cout << "copy constructor\n"; 
    }
    test&operator=(test e)
    {
        cout << "assignment operator\n";  
        return *this;
    }
};
int _tmain(int argc, _TCHAR* argv[])
{
    test ort;
    test a(ort);
    test b = ort ;
     a = b;
    return 0;
}

输出为：

赋值构造函数如果为值传递，仅仅是多了一次拷贝，并不会无限递归。

 

总结:

       拷贝构造函数的参数必须为引用。赋值构造函数参数既可以为引用，也可以为值传递，值传递会多一次拷贝。因此建议赋值构造函数建议也写为引用类型。