C++的浅拷贝与深拷贝

一、前言

在C++中，对象的拷贝构造函数负责在创建新对象时复制现有对象的值。根据对象的成员变量存储的位置和类型，拷贝构造函数的实现方式可以分为浅拷贝（shallow copy）和深拷贝（deep copy）。

二、浅拷贝（Shallow Copy）

浅拷贝是指当对象中包含指向动态分配的堆内存的指针时，拷贝构造函数仅仅复制这些指针的值，而不是复制它们所指向的内存内容。结果是，两个对象将共享同一块动态分配的内存。

问题：

如果原始对象和拷贝对象都试图释放它们共享的动态内存，将会导致未定义行为，通常是程序崩溃。这是因为堆内存被设计为只能被释放一次。

三、深拷贝（Deep Copy）

深拷贝是指拷贝构造函数不仅复制指针的值，还分配新的内存，并复制指针所指向的数据。这样，原始对象和拷贝对象将拥有独立的内存块，互不影响。

优点：

避免了浅拷贝中出现的重复释放问题，因为每个对象都拥有自己的内存副本。

四、理解“重复释放堆区问题”

假设有一个类 Resource，它包含一个指向动态分配内存的指针：

class Resource {
public:
    Resource() {
        data = new int[10]; // 分配10个整数的内存
    }

    ~Resource() {
        delete[] data; // 释放内存
    }

private:
    int* data;
};

如果拷贝构造函数是浅拷贝的：

class Resource {
    // ... （其他成员）

public:
    // 浅拷贝构造函数
    Resource(const Resource& other) {
        data = other.data; // 仅复制指针，不复制数据
    }

    // ... （析构函数和其他成员）
};

当拷贝一个 Resource 对象时，新对象将获得原始对象的 data 指针副本。当两个对象都超出作用域并调用它们的析构函数时，每个析构函数都会尝试删除同一个 data 指针所指向的内存。这是未定义行为，通常会导致程序崩溃。

为了解决这个问题，需要实现深拷贝构造函数：

class Resource {
    // ... （其他成员）

public:
    // 深拷贝构造函数
    Resource(const Resource& other) {
        data = new int[10];
        std::copy(other.data, other.data + 10, data); // 复制数据，并分配新内存
    }

    // ... （析构函数和其他成员）
};

在这个深拷贝构造函数中，我们为新对象分配了新的内存，并复制了原始对象的数据，这样每个对象都有自己的内存副本，析构函数可以安全地释放各自的内存，避免重复释放的问题。

五、示例

class Person {
public:
	//无参（默认）构造函数
	Person() {
		cout << "无参构造函数!" << endl;
	}
	//有参构造函数
	Person(int age ,int height) {
		
		cout << "有参构造函数!" << endl;

		m_age = age;
		m_height = new int(height);
		
	}
	//拷贝构造函数  
	Person(const Person& p) {
		cout << "拷贝构造函数!" << endl;
		//如果不利用深拷贝在堆区创建新内存，会导致浅拷贝带来的重复释放堆区问题
		m_age = p.m_age;
		m_height = new int(*p.m_height);
		
	}

	//析构函数
	~Person() {
		cout << "析构函数!" << endl;
		if (m_height != NULL)
		{
			delete m_height;
		}
	}
public:
	int m_age;
	int* m_height;
};

void test01()
{
	Person p1(18, 180);

	Person p2(p1);

	cout << "p1的年龄： " << p1.m_age << " 身高： " << *p1.m_height << endl;

	cout << "p2的年龄： " << p2.m_age << " 身高： " << *p2.m_height << endl;
}

int main() {

	test01();

	system("pause");

	return 0;
}

六、总结

如果属性有在堆区开辟的，一定要自己提供拷贝构造函数，防止浅拷贝带来的问题。