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

units_sold = rhs.units_sold; // использует встроенное присвоение

int revenue = rhs.revenue; // использует встроенное

// присвоение double

return *this; // возвратить этот объект

}

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

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

Упражнение 13.8. Напишите оператор присвоения для класса HasPtrиз упражнения 13.5 раздела 13.1.1. Подобно конструктору копий, данный оператор присвоения должен копировать объект, на который указывает указатель рs.

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

Деструктор — это функция-член с именем класса, предваряемым тильдой ( ~). У нее нет ни параметров, ни возвращаемого значения:

class Foo {

public:

~Foo(); // деструктор

// ...

};

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

Подобно тому, как конструктор имеет часть инициализации и тело (см. раздел 7.5.1), деструктор имеет тело и часть удаления. В конструкторе переменные-члены инициализируются перед выполнением тела, а инициализация членов осуществляется в порядке их объявления в классе. В деструкторе сначала выполняется тело, а затем происходит удаление членов. Переменные- члены удаляются в порядке, обратном их инициализации.

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

У деструктора нет ничего похожего на список инициализации конструктора для контроля удаления переменных-членов; часть удаления неявна. Происходящее при удалении переменной-члена зависит от его типа. Члены типа класса удаляются за счет выполнения его собственного деструктора. У встроенных типов нет деструкторов, поэтому для удаления членов встроенного типа не делается ничего.

Неявное удаление члена-указателя встроенного типа не удаляет объект, на который он указывает.

В отличие от обычных указателей, интеллектуальные указатели (см. раздел 12.1.1) являются классами и имеют деструкторы. Поэтому, в отличие от обычных указателей, члены, являющиеся интеллектуальными указателями, автоматически удаляются на фазе удаления.

Деструктор автоматически используется всякий раз, когда удаляется объект его типа.

• Переменные удаляются, когда выходят из области видимости.

• Переменные-члены объекта удаляются при удалении объекта, которому они принадлежат.

• Элементы в контейнере (будь то библиотечный контейнер или массив) удаляются при удалении контейнера.

• Динамически созданные объекты удаляются при применении оператора deleteк указателю на объект (см. раздел 12.1.2).

• Временные объекты удаляются в конце выражения, в котором они были созданы.

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

Например, следующий фрагмент кода определяет четыре объекта класса Sales_data:

{ // новая область видимости

// p и p2 указывают на динамически созданные объекты Sales_data

*p = new Sales_data; // p - встроенный указатель

auto p2 = make_shared(); // p2 - shared_ptr

Sales_data item(*p); // конструктор копий копирует *p в item

vector vec; // локальный объект

vec.push_back(*p2); // копирует объект, на который указывает p2

delete p; // деструктор вызывается для объекта, на

// который указывает p

} // выход из локальной области видимости; деструктор вызывается

// для 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эквивалентен следующему: