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

Эти функции должны также модифицировать заданный объект класса Folder. Модификация этого объекта является задачей, контролируемой классом Folderпри помощи функций-членов addMsg()и remMsg(), которые добавляют или удаляют указатель на данный объект класса Messageсоответственно.

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

// добавить это сообщение в папки, на которые указывает m

void Message::add_to_Folders(const Message &m) {

for (auto f : m.folders) // для каждой папки, содержащей m,

f->addMsg(this); // добавить указатель на это сообщение

// в данную папку

}

Здесь происходит вызов функции addMsg()для каждого объекта класса Folderв m.folders. Функция addMsg()добавит указатель на этот объект класса Messageв данный объект класса Folder.

Конструктор копий класса Message копирует переменные-члены данного объекта:

Message::Message(const Message &m):

contents(m.contents), folders(m.folders) {

add_to_Folders(m); // добавить это сообщение в папки, на которые

// указывает m

}

А также вызывает функцию add_to_Folders(), чтобы добавить указатель на недавно созданный объект класса Messageкаждому объекту класса Folder, который содержит оригинал сообщения.

При удалении объекта класса Messageследует удалить это сообщение из папок, которые указывают на него. Это общее действие с оператором присвоения копии, поэтому определим для этого общую функцию:

// удалить это сообщение из соответствующих папок

void Message::remove_from_Folders() {

for (auto f : folders) // для каждого указателя в folders

f->remMsg(this); // удалить это сообщение из данной папки

}

Реализация функции remove_from_Folders()подобна таковой у функции add_to_Folders(), за исключением того, что она использует функцию remMsg()для удаления текущего сообщения.

При наличии функции remove_from_Folders()написать деструктор несложно:

Message::~Message() {

remove_from_Folders();

}

Вызов функции remove_from_Folders()гарантирует отсутствие у объектов класса Folderуказателей на удаленный объект класса Message. Компилятор автоматически вызывает деструктор класса stringдля освобождения объекта contents, а деструктор класса setосвобождает память, используемую элементами набора.

Как обычно, оператор присвоения и оператор присвоения копии класса Folderдолжны выполнять действия конструктора копий и деструктора. Как всегда, крайне важно структурировать свой код так, чтобы он выполнялся правильно, даже если операнды слева и справа — тот же объект.

В данном случае защита против присвоения самому себе осуществляется за счет удаления указателей на это сообщение из папок левого операнда прежде, чем вставить указатели в папки правого операнда:

Messages Message::operator=(const Message &rhs) {

// отработать присвоение себе самому, удаляя указатели прежде вставки

remove_from_Folders(); // обновить существующие папки

contents = rhs.contents; // копировать содержимое сообщения из rhs

folders = rhs.folders; // копировать указатели Folder из rhs

add_to_Folders(rhs); // добавить это сообщение к данным папкам

return *this;

}

Если левый и правый операнды — тот же объект, то у них тот же адрес. Если вызвать функцию remove_from_Folders()после вызова функции add_to_Folders(), это сообщение будет удалено изо всех соответствующих ему папок.

Библиотека определяет версии функции swap()для классов stringи set(см. раздел 9.2.5). В результате класс Messageизвлечет пользу из определения собственной версии функции swap(). При определении специфической для класса Messageверсии функции swap()можно избежать лишних копирований членов contentsи folders.

Но наша функция swap()должна также управлять указателями Folder, которые указывают на обмениваемые сообщения. После такого вызова, как swap(m1, m2), указатели Folder, указывающие на объект m1, должны теперь указать на объект m2, и наоборот.