拷贝构造函数

拷贝构造函数

一、概念

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

注释：如果你不理解概念中加粗的文字概念可以参考我之前的博客
构造函数：详解构造函数
引用：什么是引用？

举例：

#include<iostream>
 using namespace std;
 class Date
 {
 public:
 //拷贝构造函数
        Date(const Date& d)  //**这里的const是防止权限放大导致错误**
        {
                _year = d._year;
                _month = d._month;
                _day = d._day;
        }
        void Print()
        {
                cout << _year << "-" << _month << "-" << _day << endl;
        }
 private:
        int _year;
        int _month;
        int _day;
 };

 int main()
 {
        Date d1(2024, 7, 5);
        // C++规定⾃定义类型对象进⾏拷⻉⾏为必须调⽤拷⻉构造，
        //所以这⾥传值传参要调⽤拷⻉构造 
        Date d2(d1);
        d2.Print();
        return 0;
 }
 

二、拷贝构造函数的特点

1、拷⻉构造函数是构造函数的⼀个重载（函数名相同，参数个数、类型不同）。就如同概念里所说的拷⻉构造是⼀个特殊的构造函数。

2、拷⻉构造函数的第⼀个参数必须是类类型对象的引⽤，使⽤传值⽅式编译器直接报错，因为语法逻辑上会引发⽆穷递归调⽤。拷⻉构造函数也可以多个参数，但是第⼀个参数必须是类类型对象的引⽤，后⾯的参数必须有缺省值。

2.1举例：

#include<iostream>
 using namespace std;
 class Date
 {
 public:
        Date( Date d)  
        {
                _year = d._year;
                _month = d._month;
                _day = d._day;
        }
        void Print()
        {
                cout << _year << "-" << _month << "-" << _day << endl;
        }
 private:
        int _year;
        int _month;
        int _day;
 };

 int main()
 {
        Date d1(2024, 7, 5);
        Date d2(d1);
        d2.Print();
        return 0;
 }

2.2 图片解析

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

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

5、像Date这样的类成员变量全是内置类型且没有指向什么资源，编译器⾃动⽣成的拷⻉构造就可以完成需要的拷⻉，所以不需要我们显⽰实现拷⻉构造。 像Stack这样的类，虽然也都是内置类型，但是有变量指向了资源，编译器⾃动⽣成的拷⻉构造完成的值拷⻉/浅拷⻉不符合我们的需求，所以需要我们⾃⼰实现深拷⻉(对指向的资源也进⾏拷⻉)。像MyQueue这样的类型内部主要是⾃定义类型Stack成员，编译器⾃动⽣成的拷⻉构造会调⽤Stack的拷⻉构造，也不需要我们显⽰实现MyQueue的拷⻉构造。这⾥还有⼀个⼩技巧，如果⼀个类显⽰实现了析构并释放资源，那么他就需要显⽰写拷⻉构造，否则就不需要。

（这段文字虽然多，但其实讲的东西不多，这段文字就只是告诉我们什么时候要自己定义拷贝构造函数，什么时候不用定义拷贝构造函数）

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

#include<iostream>
using namespace std;
//这边假设定义了一个栈，栈里面定义了Push函数
Stack& Func()
{
	static Stack st;   //如果没有static,编译器就会报错，原因就是第六个特点（返回对象是
	                  //一个局部对象，函数结束后就销毁了，但我们还使用引用返回，
	                  //这时候就是一个野引用）
	st.Push(1);
	st.Push(2);
	st.Push(3);
	return st;
}

int main()
{
	Stack ret = Func();
	cout << ret.Top() << endl;

	return 0;
}