Стенли Липпман - Язык программирования C++. Пятое издание

// для item, p2 и vec

// удаление p2 уменьшает его счетчик пользователей; если значение

// счетчика дойдет до 0, объект освобождается

// удаление вектора vec удалит и его элементы

Каждый из этих объектов содержит член типа string, который резервирует динамическую память для содержания символов переменной-члена bookNo. Но единственная память, которой код должен управлять непосредственно, — это самостоятельно зарезервированный объект. Код непосредственно освобождает только динамически созданный объект, связанный с указателем p.

Другие объекты класса Sales_dataавтоматически удаляются при выходе из области видимости. По завершении блока vec, p2и itemвыходят из области видимости, это означает вызов деструкторов классов vector, shared_ptrи Sales_dataдля соответствующих объектов. Деструктор класса vectorудалит элемент, помещенный в вектор vec. Деструктор класса shared_ptrосуществит декремент счетчика ссылок объекта, на который указывает указатель p2. В данном примере этот счетчик достигнет нуля, поэтому деструктор класса shared_ptrудалит объект класса Sales_data, зарезервированный с использованием указателя p2.

Во всех случаях деструктор класса Sales_dataнеявно удаляет переменную-член bookNo. Удаление переменной-члена bookNoзапускает деструктор класса string, который освобождает память, используемую для хранения ISBN.

Когда из области видимости выходит ссылка или указатель на объект, деструктор не выполняется .

Компилятор определяет синтезируемый деструктор (synthesized destructor) для любого класса, который не определяет собственный деструктор. Подобно конструкторам копий и операторам присвоения копии, определение для некоторых классов синтезируемого деструктора предотвращает удаление объектов этого типа (раздел 13.1.6). В противном случае у синтезируемого деструктора будет пустое тело.

Например, синтезируемый деструктор класса Sales_dataэквивалентен следующему:

class Sales_data {

public:

// не делать ничего, кроме удаления переменных-членов,

// осуществляемого автоматически

~Sales_data() { }

// другие члены как прежде

};

Переменные-члены автоматически удаляются после выполнения (пустого) тела деструктора. В частности, деструктор класса stringбудет выполнен для освобождения памяти, используемой переменной-членом bookNo.

Важно понять, что само тело деструктора не удаляет переменные-члены непосредственно. Они удаляются в ходе неявной фазы удаления, которая следует за телом деструктора. Тело деструктора выполняется в дополнение к удалению членов, осуществляемому в ходе удаления объекта.

Упражнение 13.9. Что такое деструктор? Что делает синтезируемый деструктор? Когда деструктор синтезируется?

Упражнение 13.10. Что произойдет при удалении объекта класса StrBlob? А класса StrBlobPtr?

Упражнение 13.11. Добавьте деструктор в класс HasPtrиз предыдущих упражнений.

Упражнение 13.12. Сколько вызовов деструктора происходит в следующем фрагменте кода?

bool fcn(const Sales_data *trans, Sales_data accum) {

Sales_data item1(*trans), item2(accum);

return item1.isbn() != item2.isbn();

}

Упражнение 13.13. Наилучший способ изучения функций-членов управления копированием и конструкторов — это определить простой класс с этими функциями-членами, каждая из которых выводит свое имя:

struct X {

X() {std::cout << "X()" << std::endl;}

X(const X&) {std::cout << "X(const X&)" << std::endl;}

};

Добавьте в структуру Xоператор присвоения копии и деструктор, а затем напишите программу, использующую объекты класса Xразличными способами: передайте их как ссылочный и не ссылочный параметры; динамически зарезервируйте их; поместите в контейнеры и т.д. Изучайте вывод, пока не начнете хорошо понимать, когда и почему используется каждая функция-член управления копированием. По мере чтения вывода помните, что компилятор может обойти вызовы конструктора копий.

Как уже упоминалось, существуют три базовых функции, контролирующих копирование объектов класса: конструктор копий, оператор присвоения копии и деструктор. Кроме того, как будет продемонстрировано в разделе 13.6, по новому стандарту класс может также определить конструктор перемещения и оператор присваивания при перемещении.