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

delete ps; // освободить прежнюю память

ps = newp; // копировать данные из rhs в этот объект

i = rhs.i;

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

};

В этом операторе присвоения, безусловно, сначала выполняется работа конструктора: инициализатор newpидентичен инициализатору ps в конструкторе копий класса HasPtr. Затем, как в деструкторе, удаляется строка, на которую в настоящее время указывает указатель ps. Остается только скопировать указатель на недавно созданную строку и значение типа intиз rhsв этот объект.

Создавая оператор присвоения, следует учитывать два момента.

• Операторы присвоения должны работать правильно, если объект присваивается сам себе.

• Большинство операторов присвоения делят работу с деструктором и конструктором копий.

Шаблон разработки оператора присвоения подразумевает сначала копирование правого операнда в локальный временный объект. После копирования вполне безопасно удалить существующие члены левого операнда. Как только левый операнд будет освобожден, копировать данные из временного объекта в переменные-члены левого операнда.

Для иллюстрации важности принятия мер против присвоения самому себе рассмотрим, что случилось бы, выгляди оператор присвоения так:

// НЕПРАВИЛЬНЫЙ способ написания оператора присвоения!

HasPtr&

HasPtr::operator=(const HasPtr &rhs) {

delete ps; // освобождает строку, на которую указывает этот объект

// если rhs и *this - тот же объект, произойдет копирование удаленной

// памяти!

ps = new string(*(rhs.ps));

i = rhs.i;

return *this;

}

Если rhsи этот объект совпадают, удаление psосвободит строку, на которую указывают и *this, и rhs. При попытке копирования *(rhs.ps)в операторе newэтот указатель указывает уже на недопустимую область памяти. Результат непредсказуем.

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

Упражнение 13.23. Сравните функции-члены управления копированием, написанные для решения упражнений предыдущего раздела, с кодом, представленным здесь. Убедитесь, что понимаете различия, если таковые вообще есть, между вашим кодом и приведенным в книге.

Упражнение 13.24. Что будет, если в версии класса HasPtrданного раздела не определен деструктор? Что если не определен конструктор копий?

Упражнение 13.25. Предположим, необходимо определить версию класса StrBlob, действующего как значение. Предположим также, что необходимо продолжить использовать указатель shared_ptr, чтобы класс StrBlobPtrвсе еще мог использовать указатель weak_ptrдля вектора. Переделанный класс будет нуждаться в конструкторе копий и операторе присвоения копии, но не в деструкторе. Объясните, что должны делать конструктор копий и оператор присвоения копий. Объясните, почему класс не нуждается в деструкторе.

Упражнение 13.26. Напишите собственную версию класса StrBlob, описанного в предыдущем упражнении.

Чтобы класс HasPtrдействовал как указатель, конструктор копий и оператор присвоения копии должны копировать указатель-член, а не строку, на которую он указывает. Класс все еще будет нуждаться в собственном деструкторе, чтобы освободить память, зарезервированную получающим строку конструктором (см. раздел 13.6). Тем не менее в данном случае деструктор не может односторонне освободить связанную с ним строку. Это можно сделать только тогда, когда исчезнет последний указатель на строку.

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