前提
首先应该知道:如果我们不主动在类中定义拷贝、赋值和析构时,编译器会自动帮我们合成它们。但是,当类需要分配类对象以外的资源时,合成的版本将会失效。这是因为编译器为每个类提供了这些函数的默认版本只执行浅拷贝,这不利于我们管理动态内存的类。
浅拷贝
概念
直接赋值操作,相当于直接把要赋值的指针地址跟内容赋给被赋值的变量,共享同一块内存。
案例
class SimpleArray {
private:
int* data;
size_t size;
public:
// 构造函数
SimpleArray(size_t size) : size(size) {
data = new int[size];
}
// 默认的拷贝构造函数执行浅拷贝
// SimpleArray(const SimpleArray& other) = default;
// 默认的赋值操作符执行浅拷贝
// SimpleArray& operator=(const SimpleArray& other) = default;
// 析构函数
~SimpleArray() {
delete[] data;
data = NULL;
}
};
int main() {
SimpleArray array1(10); // 创建一个包含10个整数的数组
SimpleArray array2 = array1; // 使用默认的拷贝构造函数
// 当函数结束时,array1和array2的析构函数都会被调用,导致double free错误,因为它们指向同一个data。
}##
在上述代码中,由于SimpleArray类负责管理data指针所指向的内存,所以当我们进行拷贝时(如array2 = array1;),如果使用编译器提供的默认浅拷贝,两个对象array1和array2都会拥有指向同一块内存的指针。当这两个对象被销毁时,它们的析构函数都会尝试释放同一块内存,从而导致双重释放,这是一个严重的错误。
可以看到NULL是p2的指针为空,但是p1的指针的值还是那块内存的地址。
总结一下就是: **浅拷贝带来的问题是堆区的内存重复释放** 。这个问题要利用深拷贝来解决。
深拷贝
概念
自己写拷贝函数,重新在堆区再申请一个内存,将要赋值指针地址里存放的内容赋给该内存单元(两者地址不同)。
总结
如果属性有在堆区开辟的,一定要自己提供拷贝构造函数,防止浅拷贝带来的问题。
除了释放问题外,如果用浅拷贝操作。改变新变量的值,原赋值变量也会跟着改变。在某些时刻,达不到我们想要的目的。