【C++】类和对象(五)：拷贝构造

大家好，我是苏貝，本篇博客带大家了解C++的拷贝构造函数，如果你觉得我写的还不错的话，可以给我一个赞👍吗，感谢❤️

---

a. 概念

在创建对象时，可否创建一个与已存在对象一样的新对象呢？

拷贝构造函数：只有单个形参，该形参是对本类类型的对象的引用(一般常用const修饰)，在用已存在的类类型对象创建新对象时由编译器自动调用

b. 特性

拷贝构造函数也是特殊的成员函数，其特征如下：

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

为什么拷贝构造函数的形参一定要是引用而不能用传值传参？
C++规定，自定义类型传值传参时，会调用该自定义类型的拷贝构造函数，用类Date举例

如果拷贝构造函数是传值传参

可以在拷贝构造函数内部写判断条件来跳出这个无穷递归吗？
不能，因为根本没有进到函数体里，只是在需要形参时，就进入下一个递归

注意不要将拷贝构造函数的内容写反，this指针是指向调用该函数的对象

如果类中的构造函数只有拷贝构造，会报错，因为定义对象时需要调用默认构造函数（自己写的无参构造，全缺省构造和编译器生成的构造）

为了解决这一问题，我们可以手动写无参/全缺省的构造函数，或者用语句让编译器强制生成一个无参的

4. 若未显式定义，编译器会生成默认的拷贝构造函数。 默认的拷贝构造函数对象按内存存储按字节序完成拷贝，这种拷贝叫做浅拷贝，或者值拷贝

用已经存在的a1拷贝构造a2，此处会调用A类的拷贝构造函数，但A类并没有显式定义拷贝构造函数，则编译器会给A类生成一个默认的拷贝构造函数

5. 如果是编译器生成的拷贝构造函数，那么该函数对内置类型进行浅拷贝（值拷贝），对自定义类型调用它的拷贝构造

下图的Date类没有显示写拷贝构造函数，由编译器自动生成一个，它对内置类型进行值拷贝，对自定义类型_t调用它的拷贝构造

6. 编译器生成的默认拷贝构造函数已经可以完成字节序的值拷贝了，还需要自己显式实现吗？ 当然像日期类这样的类是没必要的，可在有些情况下会出错，如下面的栈

运行崩溃，运行的时候出现这个错误，绝大多数都是未分配内存的原因，可以在申请空间的地方，初始化的地方多多检查。

我们来调试看看

我们在Stack类中没有写拷贝构造函数，因此编译器会自动生成一个。调试发现，在拷贝完成后（编译器生成的拷贝构造函数，将对象按内存存储按字节序完成拷贝，这种拷贝叫做浅拷贝），st2的指向数组的指针_array和st1的指向数组的指针_array的值一样，即它们指向同一块内存空间。当对象生命周期结束时，C++编译系统自动调用析构函数（注意：先定义的对象后调用析构函数）。
St2调用析构函数后，释放了数组空间，并将_array置为空。再St1调用析构函数，它的_array不为空，释放数组空间，但这块空间已被st2释放，两次释放报错

因此这时我们不能用编译器自动生成的拷贝构造，需要自己写

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

---

好了，那么本篇博客就到此结束了，如果你觉得本篇博客对你有些帮助，可以给个大大的赞👍吗，感谢看到这里，我们下篇博客见❤️