Выделение динамического массива (оператор присваивания против конструктора копирования)

Question

Должен ли я освободить динамический массив (выделен в конструкторе) в конструкторе копирования и/или операции присваивания?

struct Test 
{ 
    const size_t n; 
    int* xs; 

    Test(const size_t n) 
    : n(n) 
    , xs(new int[n]) 
    { } 

    Test(const Test& other) 
    : n(other.n) 
    , xs(new int[n]) 
    { 
    memcpy(xs, other.xs, n * sizeof(int)); 
    } 

    Test& operator=(const Test& other) 
    { 
    n = other.n; 
    delete[] xs; 
    xs = new int[n]; 
    memcpy(xs, other.xs, n * sizeof(int)); 
    } 

    ~Test() 
    { 
    delete[] xs; 
    } 
}; 

void main() 
{ 
    Test a(10); 
    Test b(a); 
    Test c(20); 
    c = b; 
} 

Как вы можете видеть, я думаю, что вы должны delete[] массив в реализации оператора присваивания (так как было уже выделено где-то в процессе строительства объекта, который будучи назначен). И я думаю, что вам не нужно выделять массив при копировании объекта, так как он еще не создан.

Дело в том, что выполнение приложения выше под Application Verifier не показывает утечки памяти, независимо от того, есть ли delete[] в operator= или нет. Приложение работает нормально, хотя в обоих случаях.

Итак, должен ли я delete[] xs в конструкторе копирования, оператор присваивания, оба или ни один?

Answer 1

В целом, управление памятью вручную - это идея bad. Вы не должны этого делать, и вы должны предпочесть std::vector<> или другие классы контейнеров, если у вас нет веских оснований для этого. Это сказано ...

Итак, следует ли удалить [] xs в конструкторе копирования, оператор присваивания, оба или ни один?

Вы должны delete[] массив, выделенный new[], прежде чем вы потеряете последний указатель на этот массив. В противном случае вы просочитесь.

На практике, так как массив, который вы хотите удалить, принадлежит и инкапсулирован вашим классом, это означает, что вам придется delete[] его в перегрузке оператора присваивания (до того, как указатель получит новый массив, тем самым потеряв только существующая ссылка на предыдущую) и в деструкторе (когда вы удаляете объект, а затем теряете только существующую ссылку на инкапсулированный массив).

Как вы говорите, конструктор копирования является строкой построения, и указатель ранее не ссылался на какой-либо выделенный ресурс (фактически, здесь нет «ранее», срок жизни объекта еще не начался): поэтому, здесь не только не нужно delete[], это неправильно.

Также обратите внимание, что во избежание оборванных указателей и возможного неопределенного поведения вы должны убедиться, что ваш класс действительно является единственным владельцем инкапсулированного массива. В противном случае код, внешний для класса, может быть delete[] или сохранить указатели на него, которые станут свисающими. Таким образом, вы не должны делать xs членом данных public.