Имеет ли эта часть кода утечка памяти?

Question

Итак, у меня был спор с другом, и какой лучший способ его решить, чем SO?

Возьмем, к примеру, следующий упрощенный пример. Предположим, что все остальные функции реализованы правильно. Создает ли этот экземпляр копии утечку памяти?

Моя позиция заключается в том, что это определенно не означает. Он выделяет [rhs._size] памяти для нового объекта, который освобождается в деструкторе, когда объект выходит из области видимости, а выделенная память для rhs освобождается в собственном соответствующем деструкторе.

template<typename T> 
class dynarray 
{ 
private: 
    T* _data; 
    std::size_t _size; 

public: 
    dynarray(const dynarray& rhs) 
     : _data(new T[rhs._size]), _size(rhs._size) 
    { 
     std::copy(rhs._data, rhs._data + rhs._size, _data); 
    } 

    ~dynarray() { delete[] _data; } 
}; 

Answer 1

Да, вы можете утечка памяти.

У вас будет утечка памяти, если std::copy выдает исключение. Это может произойти, если выбрано назначение элемента. Все это зависит от T и состояния rhs.

В частности вы утечка памяти, если для любого целого неотрицательного n < rhs._size, следующие броски:

*(_data + n) = *(rhs._data + n);