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

Важно помнить, что у так называемого динамического массива нет типа массива.

Зарезервированные оператором newобъекты (будь то одиночные или их массивы) инициализируются по умолчанию. Для инициализации элементов массива по умолчанию (см. раздел 3.3.1) за размером следует расположить пару круглых скобок:

int *pia = new int[10]; // блок из десяти неинициализированных

// целых чисел

int *pia2 = new int[10](); // блок из десяти целых чисел,

// инициализированных по умолчанию

// значением 0

string *psa = new string[10]; // блок из десяти пустых строк

string *psa2 = new string[10](); // блок из десяти пустых строк

По новому стандарту можно также предоставить в скобках список инициализаторов элементов:

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

// инициализатором

int *pia3 = new int[10]{0,1,2,3,4,5,6,7,8,9};

// блок из десяти строк; первые четыре инициализируются заданными

// инициализаторами, остальные элементы инициализируются значением

// по умолчанию

string *psa3 = new string[10]{"a", "an", "the", string(3, 'x')};

При списочной инициализации объекта типа встроенного массива (см. раздел 3.5.1) инициализаторы используются для инициализации первых элементов массива. Если инициализаторов меньше, чем элементов, остальные инициализируются значением по умолчанию. Если инициализаторов больше, чем элементов, оператор new потерпит неудачу, не зарезервировав ничего. В данном случае оператор newпередает исключение типа bad_array_new_length. Подобно исключению bad_alloc, этот тип определен в заголовке new.

Хотя для инициализации элементов массива по умолчанию можно использовать пустые круглые скобки, в них нельзя предоставить инициализаторы для элементов. Благодаря этому факту при резервировании массива нельзя использовать ключевое слово 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для управления динамическим массивом, после типа объекта следует расположить пару пустых скобок:

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

unique_ptr up(new int[10]);

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

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

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