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

Кроме этих указателей, класс StrVecбудет иметь переменную-член allocтипа allocatorдля резервирования памяти, используемой классом StrVec. У класса также будет четыре вспомогательных функции.

• Функция alloc_n_copy()будет резервировать пространство и копировать заданный диапазон элементов.

• Функция free()будет удалять созданные элементы и освобождать пространство.

• Функция chk_n_alloc()будет гарантировать наличие достаточного места для добавления по крайней мере еще одного элемента в вектор StrVec. Если места для следующего элемента нет, то функция chk_n_alloc()вызовет функцию reallocate()для резервирования большего пространства.

• Функция reallocate()будет пересоздавать вектор StrVec, когда прежнее пространство окажется исчерпано.

Хотя основное внимание уделено реализации, определим также несколько членов из интерфейса класса vector.

Теперь, сделав набросок реализации, можно определить класс StrVec:

// упрощенная реализация стратегии резервирования памяти для подобного

// вектору класса

class StrVec {

public:

StrVec(): // член allocator инициализируется по умолчанию

elements(nullptr), first_free(nullptr), cap(nullptr) { }

StrVec(const StrVec&); // конструктор копий

StrVec &operator=(const StrVec&); // присвоение копии

~StrVec(); // деструктор

void push_back(const std::string&); // копирует элемент

size_t size() const { return first_free - elements; }

size_t capacity() const { return cap - elements; }

std::string *begin() const { return elements; }

std::string *end() const { return first_free; }

// ...

private:

std::allocator alloc; // резервирует элементы

// используется функциями, которые добавляют элементы в StrVec

void chk_n_alloc()

{ if (size() == capacity()) reallocate(); }

// вспомогательные члены, используемые конструктором копий,

// оператором присвоения и деструктором

std::pair alloc_n_copy

(const std::string*, const std::string*);

void free(); // удаляет элементы и освобождает пространство

void reallocate(); // резервирует больше места и копирует

// существующие элементы

std::string *elements; // указатель на первый элемент массива

std::string *first_free; // указатель на первый свободный

// элемент массива

std::string *cap; // указатель на следующий элемент после

// конца массива

};

Тело класса определяет некоторые из своих членов.

• Стандартный конструктор (неявно) инициализирует по умолчанию переменную-член allocи (явно) инициализирует указатели как nullptr, означая, что никаких элементов нет.

• Функция-член size()возвращает количество фактически используемых элементов, соответствует значению first_free - elements.

• Функция-член capacity()возвращает количество элементов, которые может содержать объект класса StrVec, соответствует значению cap - elements.

• Функция-член chk_n_alloc()приводит к пересозданию объекта класса StrVec, когда больше нет места для добавления следующего элемента. Это происходит при cap == first_free.

• Функции-члены begin()и end()возвращают указатели на первый (т.е. elements) и следующий после последнего существующего элемент (т.е. first_free) соответственно.

Функция push_back()вызывает функцию chk_n_alloc(), чтобы удостовериться в наличии места для элемента. В случае необходимости функция chk_n_alloc()вызовет функцию reallocate(). После вызова функции chk_n_alloc()функция push_back()знает, что место для нового элемента есть. Она запрашивает свой член класса allocatorсоздать новый последний элемент:

void StrVec::push_back(const string& s) {

chk_n_alloc(); // удостовериться в наличии места для другого элемента

// создать копию s в элементе, на который указывает first_free

alloc.construct(first_free++, s);

}

При использовании класса allocatorдля резервирования памяти следует помнить, что память резервируется пустой (см. раздел 12.2.2). Чтобы использовать эту память, следует вызвать функцию construct(), которая создаст объект в этой памяти. Первый аргумент функции construct()— это указатель на пустое пространство, зарезервированное вызовом функции allocate(). Остальные аргументы определяют, какой конструктор использовать при создании объекта в этом пространстве. В данном случае есть только один дополнительный аргумент типа string, поэтому этот вызов использует строковый конструктор копий.