拷贝构造函数

一. 什么是拷贝构造函数

对于一个类X, 如果一个构造函数的第一个参数是下列之一:

a) X&
b) const X&
c) volatile X&
d) const volatile X&

且没有其他参数或其他参数都有默认值,那么这个函数是拷贝构造函数.

二. 拷贝构造函数的调用时机

在C++中，下面三种对象需要调用拷贝构造函数！
1. 对象以值传递的方式传入函数参数

2. 对象以值传递的方式从函数返回

3. 对象需要通过另外一个对象进行初始化

三. 浅拷贝和深拷贝

1. 浅拷贝

    所谓浅拷贝，指的是在对象复制时，只对对象中的数据成员进行简单的赋值，默认拷贝构造函数执行的也是浅拷贝。大多情况下“浅拷贝”已经能很好地工作了，但是一旦对象存在了动态成员，那么浅拷贝就会出问题了，让我们考虑如下一段代码：

[c-sharp]  view plain copy

1. class Rect  
2. {  
3. public:  
4.     Rect()      // 构造函数，p指向堆中分配的一空间  
5.     {  
6.         p = new int(100);  
7.     }  
8.     ~Rect()     // 析构函数，释放动态分配的空间  
9.     {  
10.         if(p != NULL)  
11.         {  
12.             delete p;  
13.         }  
14.     }  
15. private:  
16.     int width;  
17.     int height;  
18.     int *p;     // 一指针成员  
19. };  
20.   
21. int main()  
22. {  
23.     Rect rect1;  
24.     Rect rect2(rect1);   // 复制对象  
25.     return 0;  
26. }  

    在这段代码运行结束之前，会出现一个运行错误。原因就在于在进行对象复制时，对于动态分配的内容没有进行正确的操作。我们来分析一下：

    在运行定义rect1对象后，由于在构造函数中有一个动态分配的语句，因此执行后的内存情况大致如下：

 

 

    在使用rect1复制rect2时，由于执行的是浅拷贝，只是将成员的值进行赋值，这时 rect1.p = rect2.p，也即这两个指针指向了堆里的同一个空间，如下图所示：

 

当然，这不是我们所期望的结果，在销毁对象时，两个对象的析构函数将对同一个内存空间释放两次，这就是错误出现的原因。我们需要的不是两个p有相同的值，而是两个p指向的空间有相同的值，解决办法就是使用“深拷贝”。

2. 深拷贝

    在“深拷贝”的情况下，对于对象中动态成员，就不能仅仅简单地赋值了，而应该重新动态分配空间，如上面的例子就应该按照如下的方式进行处理：

[c-sharp]  view plain copy

1. class Rect  
2. {  
3. public:  
4.     Rect()      // 构造函数，p指向堆中分配的一空间  
5.     {  
6.         p = new int(100);  
7.     }  
8.     Rect(const Rect& r)  
9.     {  
10.         width = r.width;  
11.         height = r.height;  
12.         p = new int;    // 为新对象重新动态分配空间  
13.         *p = *(r.p);  
14.     }  
15.     ~Rect()     // 析构函数，释放动态分配的空间  
16.     {  
17.         if(p != NULL)  
18.         {  
19.             delete p;  
20.         }  
21.     }  
22. private:  
23.     int width;  
24.     int height;  
25.     int *p;     // 一指针成员  
26. };  

此时，在完成对象的复制后，内存的一个大致情况如下：

 

此时rect1的p和rect2的p各自指向一段内存空间，但它们指向的空间具有相同的内容，这就是所谓的“深拷贝”。

1. class CExample  
2. {  
3.     int m_nTest;  
4. public:  
5.       
6.     CExample(int x):m_nTest(x) //带参数构造函数   
7.     {   
8.        cout << "constructor with argument/n";  
9.     }  
10.       
11.     CExample(const CExample & ex) //拷贝构造函数   
12.     {  
13.         m_nTest = ex.m_nTest;  
14.         cout << "copy constructor/n";  
15.     }  
16.       
17.     CExample& operator = (const CExample &ex)//赋值函数(赋值运算符重载)   
18.     {     
19.         cout << "assignment operator/n";  
20.         m_nTest = ex.m_nTest;  
21.         return *this;  
22.     }  
23.       
24.     void myTestFunc(CExample ex)  
25.     {  
26.     }  
27. };

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

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;那么又会触发拷贝构造函数，就这下永远的递归下去。

 

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

 

所以， 拷贝构造函数是必须要带引用类型的参数的， 而且这也是编译器强制性要求的