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

Для управления указателями Folderосуществляются два прохода по всем элементам folders. Первый проход удалит сообщения из соответствующих папок. Затем вызов функции swap()совершит обмен переменных-членов. Второй проход по элементам foldersдобавляет указатели на обмениваемые сообщения:

void swap(Message &lhs, Message &rhs) {

using std::swap; // в данном случае не обязательно, но привычка

// хорошая

// удалить указатели на каждое сообщение из их (оригинальных) папок

for (auto f: lhs.folders)

f->remMsg(&lhs);

for (auto f: rhs.folders)

f->remMsg(&rhs); // обмен наборов указателей contents и folders

swap(lhs.folders, rhs.folders); // использует swap(set&, set&)

swap(lhs.contents, rhs.contents); // swap(string&, string&)

// добавляет указатели на каждое сообщение в их (новые) папки

for (auto f: lhs.folders)

f->addMsg(&lhs);

for (auto f: rhs.folders)

f->addMsg(&rhs);

}

Упражнение 13.33. Почему параметр функций-членов save()и remove()класса Messageимеет тип Folder&? Почему этот параметр не определен как Folderили const Folder&?

Упражнение 13.34. Напишите класс Message, как описано в этом разделе.

Упражнение 13.35. Что случилось бы, используй класс Messageсинтезируемые версии функций-членов управления копированием?

Упражнение 13.36. Разработайте и реализуйте соответствующий класс Folder. Этот класс должен содержать набор указателей на сообщения в той папке.

Упражнение 13.37. Добавьте в класс Messageфункции-члены удаления и вставки заданного Folder*в folders. Эти члены аналогичны функциям-членам addMsg()и remMsg()класса Folder.

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

Некоторые классы должны резервировать переменный объем памяти во время выполнения. Такие классы зачастую способны (а если способны, то обычно обязаны) использовать библиотечный контейнер для хранения данных. Например, для хранения своих элементов класс StrBlobиспользует вектор.

Но эта стратегия срабатывает не для каждого класса; некоторые из них должны самостоятельно резервировать память. Обычно такие классы определяют собственные функции-члены управления копированием, чтобы управлять памятью, которую они резервируют.

В качестве примера реализуем упрощенную версию библиотечного класса vector. Кроме прочих упрощений, этот класс не будет шаблоном, он сможет хранить только строки. Поэтому назовем этот класс StrVec.

Как уже упоминалось, класс vectorхранит свои элементы в непрерывном хранилище. Для повышения производительности класс vectorпредварительно резервирует хранилище, размер которого превосходит необходимое количество элементов (см. раздел 9.4). Каждая добавляющая элементы функция-член вектора проверяет наличие доступного пространства для следующего элемента. Если это так, элемент размещается в следующей доступной ячейке. Если места нет, вектор пересоздается: он резервирует новое пространство, перемещает в него существующие элементы, освобождает прежнее пространство и добавляет новый элемент.

Подобную стратегию и будем использовать в классе StrVec. Для получения пустой памяти используем класс allocator(см. раздел 12.2.2). Поскольку резервируемая классом allocatorпамять пуста, используем его функцию-член construct()для создания объектов в этом пространстве, когда необходимо добавить новый элемент. Точно так же при удалении элемента используем его функцию-член destroy().

У каждого объекта класса StrVecбудет три указателя на пространство, используемое для хранения его элементов:

• указатель elementsна первый элемент в зарезервированной памяти;

• указатель first_freeна следующий элемент после фактически последнего;

• указатель capна следующий элемент после конца зарезервированной памяти.

Значение этих указателей представлено на рис. 13.2.

Рис. 13.2. Стратегия резервирования памяти класса StrVec