使用复制和交换习惯用法,复制对象的析构函数如何不解除分配指向内存

Using the copy-and-swap idiom, how does the destructor of the copied object not deallocate pointed to memory?

本文关键字:复制 何不 解除分配 析构函数 内存 对象 交换 习惯 惯用法      更新时间:2023-10-16

我正在阅读以下问题:

复制和交换习语是什么?

我的印象是,当一个对象通过值传递时,它的指针和值会被复制,但传递对象的指针指向的内存不会被复制。因此,当重载赋值运算符时,例如:

#include <algorithm> // std::copy
#include <cstddef> // std::size_t
class dumb_array
{
public:
    // (default) constructor
    dumb_array(std::size_t size = 0)
        : mSize(size),
          mArray(mSize ? new int[mSize]() : 0)
    {
    }
    // copy-constructor
    dumb_array(const dumb_array& other) 
        : mSize(other.mSize),
          mArray(mSize ? new int[mSize] : 0),
    {
        // note that this is non-throwing, because of the data
        // types being used; more attention to detail with regards
        // to exceptions must be given in a more general case, however
        std::copy(other.mArray, other.mArray + mSize, mArray);
    }
    // destructor
    ~dumb_array()
    {
        delete [] mArray;
    }
    friend void swap(dumb_array& first, dumb_array& second) // nothrow
    {
        // enable ADL (not necessary in our case, but good practice)
        using std::swap; 
        // by swapping the members of two classes,
        // the two classes are effectively swapped
        swap(first.mSize, second.mSize); 
        swap(first.mArray, second.mArray);
    }
    dumb_array& operator=(dumb_array other) // (1)
    {
        swap(*this, other); // (2)
        return *this;
    } 
private:
    std::size_t mSize;
    int* mArray;
};

复制对象的析构函数如何不消除指向的资源mArray?正在进行分配的对象现在是否有一个复制的mArray指针,指向可能被释放的内存?swap(first.mArray, second.mArray);行是否分配新内存并复制上一个数组的内容?

随着复制构造函数的实现,

dumb_array(const dumb_array& other) 
        : mSize(other.mSize),
          mArray(mSize ? new int[mSize] : 0),

CCD_ 5内部的CCD_。不仅复制了指针,还创建了一个全新的数组,并通过std::copy()填充了内容的副本。

因此,当执行operator=(dumb_array other)时,this->mArrayother.mArray(由于参数是对象而不是引用,因此是副本)是两个不同的数组。在swap()之后,other.mArray保持最初由this->mArray保持的指针。当operator=()返回时,other.mArray刚好可以被~dumb_array()删除。