string *const p = new string[n]; //
string s;
string *q = p; //
while (cin >> s && q != p + n)
*q++ = s; //
const size_t size = q - p; //
//
delete[] p; //
Этот оператор new резервирует и инициализирует n строк. Но n строк может не понадобиться, — вполне может хватить меньшего количества строк. В результате, возможно, были созданы объекты, которые никогда не будут использованы. Кроме того, тем из объектов, которые действительно используются, новые значения присваиваются немедленно, поверх только что инициализированных строк. Используемые элементы записываются дважды: сначала, когда им присваивается значение по умолчанию, а затем, когда им присваивается значение.
Еще важней то, что классы без стандартных конструкторов не могут быть динамически созданы как массив.
allocator и специальные алгоритмыБиблиотечный класс allocator, определенный в заголовке memory, позволяет отделить резервирование от создания. Он обеспечивает не типизированное резервирование свободной области память. Операции, поддерживаемые классом allocator, приведены в табл. 12.7. Операции с классом allocator описаны в этом разделе, а типичный пример его использования — в разделе 13.5.
Подобно типу vector, тип allocator является шаблоном (см. раздел 3.3). Чтобы определить экземпляр класса allocator, следует указать тип объектов, которые он сможет резервировать. Когда объект allocator резервирует память, он обеспечивает непрерывное хранилище соответствующего размера для содержания объектов заданного типа:
allocator
auto const p = alloc.allocate(n); //
Этот вызов функции allocate() резервирует память для n строк.
Таблица 12.7. Стандартный класс allocator и специальные алгоритмы
allocator | Определяет объект а класса allocator, способный резервировать память для объектов типа T |
a.allocate(n) | Резервирует пустую область памяти для содержания n объектов типа T |
a.deallocate(p, n) | Освобождает область памяти, содержавшую n объектов типа T, начиная с адреса в указателе p типа Т*. Указатель p должен быть ранее возвращен функцией allocate(), а размер n — соответствовать запрошенному при создании указателя p. Функцию destroy() следует выполнить для всех объектов, созданных в этой памяти, прежде, чем вызвать функцию deallocate() |
a.construct(p, args) | Указатель p на тип T должен указывать на незаполненную область памяти; аргументы args передаются конструктору типа Т, используемому для создания объекта в памяти, на которую указывает указатель p |
a.destroy(p) | Выполняет деструктор (см. раздел 12.1.1) для объекта, на который указывает указатель p типа Т* |
allocator резервирует незаполненную памятьallocator, не заполнена. Эта область памяти используется при создании объектов. В новой библиотеке функция-член construct() получает указатель и любое количество дополнительных аргументов; она создает объекты в заданной области памяти. Для инициализации создаваемого объекта используются дополнительные аргументы. Подобно аргументам функции make_shared() (см. раздел 12.1.1), эти дополнительные аргументы должны быть допустимыми инициализаторами объекта создаваемого типа. В частности, если типом объекта является класс, эти аргументы должны соответствовать конструктору этого класса:
