auto q = p; //
//
alloc.construct(q++); //
alloc.construct(q++, 10, 'c'); //
alloc.construct(q++, "hi"); //
В прежних версиях библиотеки функция construct() получала только два аргумента: указатель для создаваемого объекта и значение его типа. В результате можно было только скопировать объект в незаполненную область, но никакой другой конструктор этого типа использовать было нельзя.
Использование незаполненной области памяти, в которой еще не был создан объект, является ошибкой:
cout << *p << endl; //
cout << *q << endl; //
allocate(), в ней следует создать объекты. Результат использования незаполненной памяти другими способами непредсказуем.
По завершении использования объектов следует удалить ранее созданные элементы. Для этого следует вызвать функцию destroy() каждого созданного элемента. Функция destroy() получает указатель и запускает деструктор (см. раздел 12.1.1) указанного объекта:
while (q != p)
alloc.destroy(--q); //
В начале цикла q указывает на следующий элемент после последнего заполненного. Перед вызовом функции destroy() осуществляется декремент указателя q. Таким образом, при первом вызове функции destroy() указатель q указывает на последний созданный элемент. Первый элемент удаляется на последней итерации, после которой q станет равен p и цикл закончится.
Как только элементы удалены, память можно повторно использовать для содержания других строк или возвратить их операционной системе. Для освобождения памяти используется функция deallocate():
alloc.deallocate(p, n);
Указатель, передаваемый функции deallocate(), не может быть нулевым; он должен указывать на область памяти, зарезервированной функцией allocate(). Кроме того, переданный ей аргумент размера должен совпадать с размером, использованным при вызове функции allocate(), зарезервировавшим область памяти, на которую указывает указатель.
В дополнение к классу allocator библиотека предоставляет два алгоритма, способных создавать объекты в неинициализированной памяти. Эти функции описаны в табл. 12.8 и определены в заголовке memory.
Таблица 12.8. Алгоритмы, связанные с классом allocator
| Эти функции создают элементы по назначению, а не присваивают их | |
|---|---|
uninitialized_copy(b, е, b2) | Копирует элементы из исходного диапазона, обозначенного итераторами b и е, в незаполненную память, обозначенную итератором b2. Память, обозначенная итератором b2, должна быть достаточно велика для содержания копии элементов из исходного диапазона |
uninitialized_copy_n(b, n, b2) | Копирует n элементов, начиная с обозначенного итератором b в незаполненную память, начиная с позиции b2 |
uninitialized_fill(b, е, t) | Создает объекты в диапазоне незаполненной памяти, обозначенной итераторами b и е как копию t |
uninitialized_fill_n(b, n, t) | Создает n объектов, начиная с b. Итератор b должен обозначать незаполненную память достаточного размера для содержания заданного количества объектов |
Предположим, например, что имеется вектор целых чисел, который необходимо скопировать в динамическую память. Память будет резервироваться дважды для каждого целого числа в векторе. Первую половину вновь зарезервированной памяти заполним копиями элементов из исходного вектора. Элементы второй половины заполним заданным значением:
