当前位置：首页 > news >正文

Why delete[] array when deepcopying with “=“?

news 2025/8/16 1:31:53

代码负责释放对象之前已经分配的资源，比如堆上的内存。在执行深拷贝之前，你需要确保对象不再引用之前的资源，以避免内存泄漏。通过删除先前的资源，你可以确保在进行深拷贝之前，已经释放了之前的资源，从而避免了资源泄漏。

当一个对象拥有动态分配的资源（比如堆上的内存），并且你希望将另一个对象的内容赋值给它时，你需要确保在赋值之前释放已经分配的资源，以避免内存泄漏。下面是一个具体的示例：

假设你有一个自定义的类 IntArray，它包含一个整数指针 array，用于存储动态分配的整数数组，以及一个整数 nElements，表示数组中的元素数量。你的类如下所示：

class IntArray {
private:int *array;int nElements;public:// 构造函数IntArray(int size) {nElements = size;array = new int[size];}// 析构函数~IntArray() {delete[] array;}// 赋值运算符重载IntArray &operator=(const IntArray &src) {if (this != &src) { // 防止无效的自我赋值delete[] array; // 释放现有资源deepCopy(src);  // 执行深拷贝}return *this;}// 深拷贝函数void deepCopy(const IntArray &src) {nElements = src.nElements;array = new int[nElements];for (int i = 0; i < nElements; ++i) {array[i] = src.array[i];}}// 其他方法和成员变量// ...
};

现在，考虑以下情况，你有两个 IntArray 对象 array1 和 array2：

IntArray array1(5); // 创建 array1，分配了一个包含5个整数的数组
IntArray array2(3); // 创建 array2，分配了一个包含3个整数的数组

array1 = array2; // 赋值操作

在这个赋值操作之前，array1 已经拥有了一个包含5个整数的数组，而 array2 拥有一个包含3个整数的数组。为了执行赋值操作，你需要确保在将 array2 的内容复制到 array1 之前，释放了 array1 之前分配的资源，以避免内存泄漏。

这就是为什么在赋值运算符重载函数中存在 delete[] array; 这行代码的原因。它的目的是在执行深拷贝之前释放 array1 的资源，然后再为 array1 分配新的资源，确保 array1 与 array2 是独立的，不会导致内存泄漏。

在这段代码中，src、&src、this 和 array 分别指代以下内容：

src：这是函数的参数，表示传递给赋值运算符重载函数的右操作数，即源对象。src 是一个 const IntArray & 类型的引用，表示它是一个 IntArray 类的对象的引用，该对象将用于赋值操作。
&src：这是 src 的地址，表示源对象 src 在内存中的位置。& 运算符用于获取变量或对象的地址。在这里，它用于比较 this 和 src 是否相同，以检查是否发生了自我赋值。
this：这是指向当前对象的指针，即调用赋值运算符重载函数的对象的指针。在这个上下文中，this 表示正在执行赋值操作的目标对象，即接收赋值的对象。
array：这是当前对象 this 中的成员变量，表示整数指针，用于存储动态分配的整数数组。delete[] array; 行代码用于释放当前对象 this 中的数组资源。