一、定义
拷贝构造函数是构造函数的一种重载形式,它可以用来创建一个与已存在对象一模一样的新对象。对于拷贝构造,它只有单个形参,且该形参必须是对本类类型对象的引用,由于是引用,需要加const进行修饰。
二、特征
using namespace std;
class Date {
public:
Date(int year, int month, int day) {
_year = year;
_month = month;
_day = day;
}
// Date(const Date d) { // 错误写法
Date(const Date& d) { // 正确写法
_year = d._year;
_month = d._month;
_day = d._day;
}
private:
int _year;
int _month;
int _day;
};
int main() {
Date d1(2024, 2, 27);
Date d2(d1);
return 0;
}
(1)拷贝构造函数的参数若使用值传递则编译器直接报错,因为会引发无穷递归调用
如果使用值传递的方式,那么在调用Data d(d1)时,d1传参给拷贝构造函数的形参d。对于值传递,形参是对实参的一份临时拷贝,所以会出现Date d(d1),而在拷贝过程中又会调用自身的拷贝构造函数,导致无休止的递归下去。
(2)若未显示定义,编译器会自动生成默认的拷贝构造函数。默认拷贝构造函数的对象按内存存储的字节序完成拷贝,这种拷贝叫做浅拷贝或者值拷贝。
三、默认拷贝构造函数
编译器生成的拷贝构造函数,会根据成员变量的内置类型和自定义类型做一个区分。对于内置类型的成员变量,编译器会按照被拷贝对象的内存存储字节序完成拷贝;对于自定义类型的成员变量,则会调用自定义类型的拷贝构造函数。
class Time {
public:
Time()
{
_hour = 1;
_minute = 1;
_second = 1;
}
Time(const Time& t)
{
_hour = t._hour;
_minute = t._minute;
_second = t._second;
cout << "Time(const Time&)拷贝构造" << endl;
}
private:
int _hour;
int _minute;
int _second;
};
class Date {
private:
// 基本类型(内置类型)
int _year = 1970;
int _month = 1;
int _day = 1;
// 自定义类型
Time _t;
};
int main() {
Date d1;
Date d2(d1); //调用该类的拷贝构造
return 0;
}
四、深浅拷贝
在成员变量是指针的情况下,如果使用默认构造函数,则会对指针指向的地址进行拷贝,拷贝后两个指针指向同一个内存空间,即浅拷贝。当两个对象进行析构时,就会重复释放同一个内存空间,导致内存泄露或程序崩溃。
此时,单靠编译器生成的默认构造函数已经不能满足需求,需要自定义拷贝构造函数。在新构造的对象中为指针成员变量重新申请一块内存空间,再将原对象的内容拷贝过来,即深拷贝。
因此,成员变量中含有指针时,应该自定义拷贝构造函数,使用深拷贝。
规律:需要写析构函数的类,都需要写拷贝构造函数;
不需要写析构函数的类,默认生成的拷贝构造即可。
五、拷贝构造函数典型调用场景
(1)使用已存在对象创建新对象
(2)函数参数类型为类类型对象(值传递)
(2)函数返回值类型为类类型对象