一、拷贝构造函数是什么?
拷贝构造函数:只有单个形参,该形参是对本类类型对象的引用(一般常用const修饰),在用已存在的类类型对象创建新对象时由编译器自动调用
二、拷贝构造函数的使用和特性
-
- 拷贝构造函数是构造函数的一个重载形式,函数和类名相同,没有返回值
-
- 拷贝构造函数的参数只有一个且必须是类类型对象的引用,使用传值方式编译器直接报错,因为会引发无穷递归调用
成功将d1的值拷贝给了d2
- 拷贝构造函数的参数只有一个且必须是类类型对象的引用,使用传值方式编译器直接报错,因为会引发无穷递归调用
如果不传引用而是传值,就会造成无穷递归
为什么会造成无穷递归呢?我们可以先不看这里的例子
假设有一个函数
void f(int c)
{
}
int main()
{
int a = 0;
f(a);
}
我们在main函数中调用f函数,由于f是传值调用,因此编译器会先生成一个临时变量,比如叫做tmp,编译器会先把a的值传递给tmp,再让tmp将值传递给c,这也就是传值调用
再看上面的例子,我们将d1传递给d2,编译器会创建一个临时变量将d1的值传给这个临时变量,但是由于传值的时候又要调用这个拷贝构造函数,每次调用拷贝构造就要先传参数,传值传参又是一个调用拷贝构造函数的过程,因此就会不断调用拷贝构造函数,从而造成无穷递归
因此调用拷贝构造一定要传引用,而不能直接传值
这里传参除了加引用之外,最好还加上const,可以避免d1被修改
如果拷贝构造没有显式定义,编译器默认生成的拷贝构造函数,对内置类型成员会完成按字节序的拷贝,就类似于memcpy
这里使用系统默认生成的拷贝构造也可以完成值拷贝,因为date类中的成员变量都是内置类型
但是如果对象中有自定义类型,使用这种默认生成的拷贝构造函数进行浅拷贝就会出问题
这里使用的就是系统默认生成拷贝构造函数进行字节序的拷贝(也就是浅拷贝)
可以看见,两个对象的_a的地址相同,这就意味着两个对象的_a变量指向同一块空间,当系统调用析构函数进行空间释放的时候,导致同一块地址被释放两次,导致程序崩溃,而且两个对象共用一块空间也会有问题
三、拷贝构造函数的使用场景
- 1.使用已存在对象创建新对象
- 2.函数参数类型为类类型对象
- 3函数返回值类型为类类型对象
四、总结
- 编译器默认生成的拷贝构造函数对内置类型和自定义类型都会处理
- 默认的拷贝构造函数对象按内存存储按字节序完成拷贝,这种拷贝叫做浅拷贝,或者值拷贝
- 类中如果没有涉及资源申请时,拷贝构造函数是否写都可以;一旦涉及到资源申请时,则拷贝构造函数是一定要写的,否则就是浅拷贝
- 拷贝构造函数的参数只有一个且必须是类类型对象的引用,使用传值方式编译器直接报错,因为会引发无穷递归调用
- 为了提高程序效率,一般对象传参时,尽量使用引用类型,返回时根据实际场景,能用引用尽量使用引用