C++ --- 拷贝构造函数的细节

一、拷贝构造函数

如果⼀个构造函数的第⼀个参数是⾃⾝类类型的引⽤，且任何额外的参数都有默认值，则此构造函数也叫做拷⻉构造函数，也就是说拷⻉构造是⼀个特殊的构造函数。

二、拷贝构造函数的特点及细节

1. 拷⻉构造函数的参数只有⼀个且必须是类类型对象的引⽤，使⽤传值⽅式编译器直接报错，因为语法逻辑上会引发⽆穷递归调⽤。
   例如：

class Date
{
public:
  /第一种：编译器直接报错
  Date(Date d){
     _year=d._year;
     _month=d._month;
     _day=d._day;
  }
 
  /第二种：
  Date(const Date& d)
  {
     _year=d._year;
     _month=d._month;
     _day=d._day;
  }
private:
 int _year;
 int _month;
 int _day;  
};

第一种不合理的原因：逻辑上会引发⽆穷递归调⽤：

而如果将形参写成第二种：const Date& d ,此时d只是d1对象的别名，它们指向同一块空间，不会重新拷贝一份。

2. C++规定⾃定义类型对象进⾏拷⻉⾏为必须调⽤拷⻉构造，所以这⾥⾃定义类型传值传参和传值返
   回都会调⽤拷⻉构造完成。

3. 若未显式定义拷⻉构造，编译器会⽣成⾃动⽣成拷⻉构造函数。⾃动⽣成的拷⻉构造对内置类型成
   员变量会完成值拷⻉/浅拷⻉(⼀个字节⼀个字节的拷⻉)，对⾃定义类型成员变量会调⽤他的拷⻉构
   造。

4. 像Date这样的类成员变量全是内置类型且没有指向什么资源，编译器⾃动⽣成的拷⻉构造就可以完
   成需要的拷⻉，所以不需要我们显⽰实现拷⻉构造。但是有些类的成员变量指向了向内存申请的资源（malloc/realloc/new等向内存申请出来的空间资源），编译器⾃动⽣成的拷⻉构造完成的值拷⻉/浅拷⻉不符合我们的需求，所以需要我们⾃⼰实现深拷⻉(对指向的资源也进⾏拷⻉)。这⾥还有⼀个⼩技巧，如果⼀个类显⽰实现了析构并释放资源，那么他就需要显⽰写拷⻉构造，否则就不需要。

5. 传值返回会产⽣⼀个临时对象调⽤拷⻉构造。传值引⽤返回，返回的是返回对象的别名(引⽤)，没有产⽣拷⻉。但是如果返回对象是⼀个当前函数局部域的局部对象，函数结束就销毁了，那么使⽤
   引⽤返回是有问题的，这时的引⽤相当于⼀个野引⽤，类似⼀个野指针⼀样。传引⽤返回可以减少
   拷⻉，但是⼀定要确保返回对象，在当前函数结束后还在，才能⽤引⽤返回。