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

Следует заметить, что вызов функции construct()осуществляет приращение указателя first_free, чтобы он снова указывал на элемент, который предстоит создать. Поскольку используется постфиксный инкремент (см. раздел 4.5), этот вызов создает объект в текущей позиции указателя first_free, а инкремент переводит его на следующий пустой элемент.

Функция-член alloc_n_copy()вызывается при копировании или присвоении объекта класса StrVec. У класса StrVecбудет подобное значению поведение (см. раздел 13.2.1), как у вектора; при копировании или присвоении объекта класса StrVecнеобходимо зарезервировать независимую память и скопировать элементы из оригинала в новый объект класса StrVec.

Функция-член alloc_n_copy()будет резервировать достаточно места для содержания заданного диапазона элементов, а затем копировать эти элементы во вновь созданное пространство. Эта функция возвращает значение типа pair(см. раздел 11.2.3), переменные-члены которого являются указателем на начало нового пространства и следующую позицию после последнего скопированного элемента:

pair

StrVec::alloc_n_copy(const string *b, const string *e) {

// резервировать пространство для содержания элементов диапазона

auto data = alloc.allocate(е - b);

// инициализировать и возвратить пару, созданную из данных,

// возвращенных функцией uninitialized_copy()

return {data, uninitialized_copy(b, e, data)};

}

Функция alloc_n_copy()вычисляет объем резервируемого пространства, вычитая указатель на первый элемент из указателя на следующий после последнего. Зарезервировав память, функция создает в ней копии заданных элементов.

Копирование осуществляется в операторе returnпри списочной инициализации возвращаемого значения (см. раздел 6.3.2). Указатель-член firstвозвращенной пары указывает на начало зарезервированной памяти; значение для указателя-члена secondвозвращается функцией uninitialized_copy()(см. раздел 12.2.2). Это значение будет указателем на следующий элемент после последнего созданного элемента.

У функции-члена free()две обязанности: она должна удалить элементы, а затем освободить пространство, зарезервированное объектом класса StrVec. Цикл forвызывает функцию destroy()класса allocator, перебирая элементы в обратном порядке, начиная с последнего существующего элемента и заканчивая первым:

void StrVec::free() {

// нельзя освободить 0 указателей;

// если элемент нулевой - не делать ничего

if (elements) {

// удалить прежние элементы в обратном порядке

for (auto p = first_free; p != elements; /* пусто */)

alloc.destroy(--p);

alloc.deallocate(elements, cap - elements);

}

}

Функция destroy()запускает деструктор класса string. Деструктор класса stringосвобождает память, занятую самой строкой.

Как только элементы будут удалены, освобождается пространство, зарезервированное классом StrVecпри вызове функции deallocate(). Указатель, передаваемый функции deallocate(), должен быть именно тем, который ранее создал вызов функции allocate(). Поэтому перед вызовом функции deallocate()сначала проверяется, тот ли это elements, а не нулевой.

При наличии функций-членов alloc_n_copy()и free()функции-члены управления копированием нашего класса очень просты.

StrVec::StrVec(const StrVec &s) {

// вызов функции alloc_n_copy() для резервирования количества

// элементов как в s

auto newdata = alloc_n_copy(s.begin(), s.end());

elements = newdata.first;

first_free = cap = newdata.second;

}

Конструктор копий вызывает функцию alloc_n_copy(), а затем присваивает результат вызова переменным-членам. Возвращаемое значение функции alloc_n_copy()является парой указателей. Первый указатель указывает на первый созданный элемент, а второй — на следующий после последнего созданного. Поскольку функция alloc_n_copy()резервирует пространство для точно такого количества элементов, которое было задано, указатель capтакже указывает только на следующий после последнего созданного.

Деструктор вызывает функцию free():

StrVec::~StrVec() { free(); }

Оператор присвоения копии вызывает функцию alloc_n_copy()прежде, чем освободить существующие элементы. Это защищает от копирования в себя самого: