拷贝构造函数的参数为什么必须是引用？

拷贝构造函数的参数为什么必须是const引用？

先看如下代码：

1. class CExample {  
2. private:  
3.     int a;  
4. public:  
5.     //构造函数  
6.     CExample(int b)  
7.     { a = b;}  
8.       
9.     //拷贝构造函数  
10.     CExample(const CExample& C)  
11.     {  
12.         a = C.a;  
13.     }  
14. };  
15.   
16. int main()  
17. {  
18.     CExample A(100);  
19.     CExample B（A）; 
20.     return 0;  
21. }   

1 首先讨论为什么必须要是引用？

如果这里改成非引用 ：

1.  CExample(const CExample C)  
2.     {  
3.         a = C.a;  
4.     }  

首先编译器这一关就过不了，会报错，如下图：

原因：

那在调用拷贝构造函数的时候 

  
  

   
   

    
    CExample B(A);
   
   
  
  

上面 B(A) 中实参 A  赋给形参 C（CExample(const CExample C)） 的时候，也需要拷贝构造函数 C(A) ，这个 C(A)  中的 A 又要赋给形参 C'.......这是不是要无限次的进行拷贝？

所以，如果使用引用就可以避免这样的无限循环。

2 那为什么要用const引用？

 const 更多是给程序员的一个限制， 告诉程序员这个变量是只读的。因此为了安全， 一般建议所有的只读变量加const限制以防止程序员犯错。因为复制构造函数是用引用方式传递复制对象，引用方式传递的是地址，因此在构造函数内对该引用的修改会影响源对象。而你在用对象a1构造a2时，自然不希望复制构造函数会改变a1的内容，因此要防止复制构造函数内部修改该引用，所以用const声明。