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

Не резервируйте динамические массивы в классах, пока не прочитаете главу 13.

Чтобы запросить оператор newзарезервировать массив объектов, после имени типа следует указать в квадратных скобках количество резервируемых объектов. В данном случае оператор newрезервирует требуемое количество объектов и (при успешном резервировании) возвращает указатель на первый из них:

// вызов get_size() определит количество резервируемых целых чисел

int *pia = new int[get_size()]; // pia указывает на первое из них

Значение в скобках должно иметь целочисленный тип, но не обязано быть константой.

Для представления типа массива при резервировании можно также использовать псевдоним типа (см. раздел 2.5.1). В данном случае скобки не нужны:

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

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

// p указывает на первый его элемент

Здесь оператор new резервирует массив целых чисел и возвращает указатель на его первый элемент. Даже при том, что никаких скобок в коде нет, компилятор выполняет это выражение, используя оператор new[]. Таким образом, компилятор выполняет это выражение, как будто код был написан так:

int *p = new int[42];

Хотя обычно память, зарезервированную оператором new T[], называют "динамическим массивом", это несколько вводит в заблуждение. Когда мы используем оператор new для резервирования массива, объект типа массива получен не будет. Вместо этого будет получен указатель на тип элемента массива. Даже если для определения типа массива использовать псевдоним типа, оператор new не резервирует объект типа массива. И в данном случае резервируется массив, хотя часть [ число ]не видима. Даже в этом случае оператор newвозвращает указатель на тип элемента.

Поскольку зарезервированная память не имеет типа массива, для динамического массива нельзя вызвать функцию begin()или end()(см. раздел 3.5.3). Для возвращения указателей на первый и следующий после последнего элементы эти функции используют размерность массива (являющуюся частью типа массива). По тем же причинам для обработки элементов так называемого динамического массива нельзя также использовать серийный оператор for.

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

Зарезервированные оператором 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.