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

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

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