精品C++浓缩精华知识点---拷贝构造

拷贝构造函数

C++值拷贝问题详解。如上图：写了一个栈类，Stack s1创建了一个对象s1，里面包含三个成员变量：int *a，int top，int capacity。函数func2的参数的类型也是Stack，这里的形参是Stack s。s1是实参，s是形参，函数调用func2时，实参s1传参给s，如果是值拷贝就是将s1的值一个字节一个字节的拷贝给s，将s1内三个变量的值直接传给了s，完成值拷贝。但是这里有指针a，指针a的值是堆区上的一块空间的地址(指针a指向一块空间)，也就是s和s1中的a都是指向这块空间，两个指针指向同一块空间。如图，main函数和func2函数都在栈区上开辟了自己的空间，局部变量（也就是对象s1）放在栈帧里面，在创建栈帧的时候编译器就已经确定开好了多大的空间，等局部变量生命周期结束的时候，ebp，exp往上一拉，栈帧就收走了，局部变量出了作用域就销毁了，因此在日期类这种不需要动态开辟的代码中，这样值拷贝是没有问题的。但是，在栈类中，指针在堆上开辟了空间，在main函数中，a指向这块空间，在func2函数中，a也指向这块空间，当调用结束的时候，在C++中，s1和s是两个类对象，两个类对象都会自动调用析构函数，进行资源清理，后定义的先清理，于是func2函数先进行资源清理，栈帧销毁，里面的对象都清理了，s一析构，堆上的这块空间也释放了。然后，当进行 s1的析构时，栈帧销毁，里面的对象都清理了，也会自动调用析构，但是堆上的这块空间已经没有了，就会出现二次释放堆区空间的问题。在C语言就不存在这个问题，因为C语言的Destory函数在自己写的，不是自动调用。因此，值拷贝是C语言留下的一个坑。

C++规定：自定义类型传值传参，是一种对象间的拷贝初始化，需要调用拷贝构造才能完成这个过程

为什么？类是自定义类型，一个类对象里面有很多个成员变量，将这个类对象的值赋值传给另一个类对象，是不行的，因为上面的二次析构有可能发生崩溃，所以必须通过拷贝构造函数进行赋值。传参也是将类对象的值(实参)赋值传给另一个类对象(形参)，所以也可能二次析构崩溃。因此，只要是类对象赋值必须调用拷贝构造。构造函数的写法如下，要求构造函数的形参必须是同类型的引用，因为传值传参不行，需要调拷贝构造，拷贝构造又需要传值传参，继续调用拷贝构造，无穷无尽

上图只是看看拷贝构造的写法，Date类不需要写拷贝构造，编译器自动生成的值拷贝的拷贝构造够用了。Stack类才需要手动写深拷贝的拷贝构造

系统默认拷贝构造只会对内置类型浅拷贝，s1和s2的arr值就相同，指向同一块堆空间。这就是默认拷贝构造的浅拷贝。

当程序结束时，先自动调用s2的析构函数，将arr指向的堆空间释放，再调用s1的析构函数，arr指向的堆空间再次释放，访问了野指针，程序就会崩溃。所以有资源申请的类一定要写拷贝构造函数，否则在程序结束时会调用两次析构函数，free两次同一块堆空间，程序崩溃。

像日期类浅拷贝是没有问题的，但是涉及到动态内存申请的时候就必须使用拷贝构造，否则会有free两次的问题，两个共用一块空间是不行的

总结：

拷贝构造函数：用已存在的同一类型的对象去创建初始化同一类型的另一个对象（Date d1(d2))。日期类可以直接拷贝，浅拷贝，栈类只能深拷贝。它只有单个形参，参数是同类型的对象，必须使用引用传参，不能使用传值传参，该形参是对本类类型对象的引用(一般常用const修饰)，在用已存在的类类型对象创建新对象时由编译器自动调用。(传值拷贝自动调用)。为什么有拷贝构造？因为涉及到对象的拷贝（什么是拷贝？就是另外一个地方也需要使用这个对象，所以把这个对象拷贝一份传到那个地方使用），但是涉及到动态空间释放的类，由于自动析构，就会导致自己和拷贝进行两次析构问题，所以拷贝构造也是构造函数，也就是初始化对象，用一个对象去初始化另一个对象，两个对象类相同，成员相同，调用拷贝构造是一种深拷贝，可以避免上述问题。因此，理解拷贝构造，就是为了完成对象的拷贝，并且进行新对象的初始化

特性：

1. 拷贝构造函数是构造函数的一个重载形式。调用形式也是Date d1()

2. 拷贝构造函数的 参数只有一个 且 必须是同类型对象的引用 (一般加const)，使用 传值方式编译器直接报错， 必须使用传引用传参，不能使用传值传参，因为会引发无穷递归调用。

3. 若未显式定义，编译器会生成默认的拷贝构造函数。默认拷贝构造：内置类型是按照字节方式直接浅拷贝。对自定义类型会调用自定义类型的拷贝构造函数。

4. 类中如果没有涉及资源申请时，拷贝构造函数是否写都可以；一旦涉及到资源申请 时，则拷贝构造函数是一定要写的，否则就是浅拷贝。

5. 拷贝构造函数典型调用场景：使用已存在对象创建新对象，函数参数类型为类类型对象，函数返回值类型为类类型对象。 延伸总结：自定义类型传值传参必须调用拷贝构造。默认拷贝构造对内置类型浅拷贝(有malloc的空间需要手动写拷贝构造！没有就不用写)，自定义类型调用自定义类型的拷贝构造。