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

Хотя для инициализации элементов массива по умолчанию можно использовать пустые круглые скобки, в них нельзя предоставить инициализаторы для элементов. Благодаря этому факту при резервировании массива нельзя использовать ключевое слово auto(см. раздел 12.1.2).

Для определения количества резервируемых объектов можно использовать произвольное выражение:

size_t n = get_size(); // get_size() возвращает количество необходимых

// элементов

int* p = new int[n]; // резервирует массив для содержания элементов

for (int* q = p; q != p + n; ++q)

/* обработка массива */ ;

Возникает интересный вопрос: что будет, если функция get_size()возвратит значение 0? Этот код сработает прекрасно. Вызов функции new[n]при nравном 0 вполне допустим, даже при том, что нельзя создать переменную типа массива размером 0:

char arr[0]; // ошибка: нельзя определить массив нулевой длины

char *cp = new char[0]; // ok: но обращение к значению cp невозможно

При использовании оператора newдля резервирования массива нулевого размера он возвращает допустимый, а не нулевой указатель. Этот указатель гарантированно будет отличен от любого другого указателя, возвращенного оператором new. Он будет подобен указателю на элемент после конца (см. раздел 3.5.3) для нулевого элемента массива. Этот указатель можно использовать теми способами, которыми используется итератор после конца. Его можно сравнивать в цикле, как выше. К нему можно добавить нуль (или вычесть нуль), такой указатель можно вычесть из себя, получив в результате нуль. К значению такого указателя нельзя обратиться, в конце концов, он не указывает на элемент.

В гипотетическом цикле, если функция get_size()возвращает 0, то nтакже равно 0. Вызов оператора newзарезервирует нуль объектов. Условие оператора forбудет ложно ( pравно q + n, поскольку nравно 0). Таким образом, тело цикла не выполняется.

Для освобождения динамического массива используется специальная форма оператора delete, имеющая пустую пару квадратных скобок:

delete p; // p должен указывать на динамически созданный объект или

// быть нулевым

delete [] pa; // pa должен указывать на динамически созданный

// объект или быть нулевым

Второй оператор удаляет элементы массива, на который указывает pa, и освобождает соответствующую память. Элементы массива удаляются в обратном порядке. Таким образом, последний элемент удаляется первым, затем предпоследний и т.д.

При применении оператора deleteк указателю на массив пустая пара квадратных скобок необходима: она указывает компилятору, что указатель содержит адрес первого элемента массива объектов. Если пропустить скобки оператора deleteдля указателя на массив (или предоставить их, передав оператору deleteуказатель на объект), то его поведение будет непредсказуемо.

Напомним, что при использовании псевдонима типа, определяющего тип массива, можно зарезервировать массив без использования []в операторе new. Но даже в этом случае нужно использовать скобки при удалении указателя на этот массив:

typedef int arrT[42]; // arrT имя типа массив из 42 целых чисел

int *p = new arrT; // резервирует массив из 42 целых чисел; p указывает

// на первый элемент

delete [] p; // скобки необходимы, поскольку был

// зарезервирован массив

Несмотря на внешний вид, указатель pуказывает на первый элемент массива объектов, а не на отдельный объект типа arrT. Таким образом, при удалении указателя pследует использовать [].

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

Библиотека предоставляет версию указателя unique_ptr, способную контролировать массивы, зарезервированные оператором new. Чтобы использовать указатель unique_ptrдля управления динамическим массивом, после типа объекта следует расположить пару пустых скобок: