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

// up указывает на массив из десяти неинициализированных целых чисел

unique_ptr up(new int[10]);

up.release(); // автоматически использует оператор delete[] для

// удаления указателя

Скобки в спецификаторе типа ( ) указывают, что указатель upуказывает не на тип int, а на массив целых чисел. Поскольку указатель upуказывает на массив, при удалении его указателя автоматически используется оператор delete[].

Указатели unique_ptrна массивы предоставляют несколько иные функции, чем те, которые использовались в разделе 12.1.5. Эти функции описаны в табл. 12.6. Когда указатель unique_ptrуказывает на массив, нельзя использовать точечный и стрелочный операторы доступа к элементам. В конце концов, указатель unique_ptrуказывает на массив, а не на объект, поэтому эти операторы были бы бессмысленны. С другой стороны, когда указатель unique_ptrуказывает на массив, для доступа к его элементам можно использовать оператор индексирования:

for (size_t i = 0; i != 10; ++i)

up[i] = i; // присвоить новое значение каждому из элементов

Таблица 12.6. Функции указателя unique_ptrна массив

В отличие от указателя unique_ptr, указатель shared_ptrне оказывает прямой поддержки управлению динамическим массивом. Если необходимо использовать указатель shared_ptrдля управления динамическим массивом, следует предоставить собственную функцию удаления:

// чтобы использовать указатель shared_ptr, нужно предоставить

// функцию удаления

shared_ptr sp(new int[10], [](int *p) { delete[] p; });

sp.reset(); // использует предоставленное лямбда-выражение, которое в

// свою очередь использует оператор delete[] для освобождения массива

Здесь лямбда-выражение (см. раздел 10.3.2), использующее оператор delete[], передается как функция удаления.

Если не предоставить функции удаления, результат выполнения этого кода непредсказуем. По умолчанию указатель shared_ptrиспользует оператор deleteдля удаления объекта, на который он указывает. Если объект является динамическим массивом, то при использовании оператора deleteвозникнут те же проблемы, что и при пропуске [], когда удаляется указатель на динамический массив (см. раздел 12.2.1).

Поскольку указатель shared_ptrне поддерживает прямой доступ к массиву, для обращения к его элементам применяется следующий код:

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

// арифметических действий с указателями

for (size_t i = 0; i != 10; ++i)

*(sp.get() + i) = i; // для доступа к встроенному указателю

// используется функция get()

Указатель shared_ptrне имеет оператора индексирования, а типы интеллектуальных указателей не поддерживают арифметических действий с указателями. В результате для доступа к элементам массива следует использовать функцию get(), возвращающую встроенный указатель, который можно затем использовать обычным способом.

Упражнение 12.23. Напишите программу, конкатенирующую два строковых литерала и помещающую результат в динамически созданный массив символов. Напишите программу, конкатенирующую две строки библиотечного типа string, имеющих те же значения, что и строковые литералы, используемые в первой программе.

Упражнение 12.24. Напишите программу, которая читает строку со стандартного устройства ввода в динамически созданный символьный массив. Объясните, как программа обеспечивает ввод данных переменного размера. Проверьте свою программу, введя строку, размер которой превышает длину зарезервированного массива.

Упражнение 12.25. С учетом следующего оператора new, как будет удаляться указатель pa?