Операция new предназначена для создания объекта типа имя-типа($$R.8.1). Этот тип должен быть типом объекта и функции нельзяразмещать с ее помощью, хотя указатели на функции можно. выражение-размещения:::opt new параметры-new opt имя-типа-new инициализатор-new::opt new параметры-new opt (имя-типа) инициализатор-new параметры-new: (список-выражений) имя-типа-new: список-спецификаций-типа описатель-new opt описатель-new: * список-спецификаций-cv opt описатель-new opt имя-класса:: список-спецификаций-cv opt описатель-new opt описатель-new opt [ выражение ] инициализатор-new: (список-инициализаторов opt) Время жизни объекта, созданного с помощью new, не ограничиваетсяобластью видимости, в которой он был создан. Операция new возвращаетуказатель на созданный объект. Если объект является массивом,возвращается указатель на начальный элемент массива. Например,обе операции new int и new int[1] возвратят int*, а типомnew int[i][10] будет int(*)[10]. Если описывается тип массива($$R.8.2.4), все размерности, кроме первой, должны быть выражениями-константами ($$R.5.19) с положительным значением. Первая размерностьмассива может задаваться произвольным выражением, даже еслииспользуется имя-типа (здесь нарушается общее требование, чтобыразмерности массива в конструкции имя-типа быливыражениями-константами ($$R.5.19)). Допускается, чтобы вызывалась функция operator new() с параметромнуль. В таком случае возвращается указатель на объект. При повторениитаких вызовов будут возвращаться указатели на разные объекты. Конструкция список-спецификаций-типа не должна содержать const,volatile, описание класса или перечисления. Для резервирования памяти операция new обращается к функцииoperator new() ($$R.12.5). При размещении объекта типа T ей вкачестве первого параметра передается sizeof(T). Конструкцияпараметры-new используется для передачи дополнительных параметров.Например, операция new T приводит к вызову operator new(sizeof(T)),а операция new(2,f) T приводит к вызову operator new(sizeof(T),2,f). Конструкция параметры-new может использоваться только, еслиописана функция operator new() с параметрами соответствующих типов. Если с помощью операции new создается объект не типа класс(в том числе и массив объектов типа класс), то вызывается глобальнаяфункция::operator new(). Если с помощью new создается объект классаT, вызывается функция T::operator new(), если она существует(используя обычные правила просмотра при поиске членов класса и егобазовых классов, $$R.10.1.1), иначе вызывается глобальная функция::operator new(). Использование операции::new() гарантирует, чтобудет вызываться глобальная функция::operator new(), даже еслисуществует T::operator new(). Конструкция выражение-размещения может содержать инициализатор-new.Для объектов классов с конструкторами ($$R.12.1) задаваемый еюсписок параметров будет использоваться при вызове конструктора, вдругих случаях конструкция инициализатор-new должна иметь вид(выражение) или (). Если выражение присутствует, оно используетсядля инициализации объекта, если его нет, объект начнет существованиес неопределенным значением.\ Если класс имеет конструктор, объект этого класса можно создатьс помощью new только при условии, что заданы подходящие параметры,или, что класс имеет стандартный конструктор ($$R.12.1).Отводит ли память при создании объекта типа класс сама функцияoperator new, или оставляет это на конструктор, зависит от реализации.Как для конструктора, так и для функции operator new() проводитсяпроверка возможности доступа и однозначности ($$R.12). Для массивов нельзя задавать инициализаторы. Массивы объектовтипа класса с конструктором можно создавать с помощью операции newтолько, если конструктор класса является стандартным ($$R.12.1).В этом случае стандартный конструктор будет вызываться для каждогоэлемента массива. Инициализация производится только в том случае, когда функцияoperator new() возвращает ненуль. Если она возвращает 0 (пустойуказатель), значение выражения есть 0. Порядок вычисления выражения вызова operator new() для полученияпамяти и порядок вычисления параметров конструктора неопределен.Так же неопределено вычисляются ли параметры конструктора, еслифункция operator new() возвратила 0. В конструкции имя-типа-new скобки использовать необязательно.Тогда обращение new int (*[10])(); // error может привести к ошибке, т.к. операции применяются в таком порядке (new int) (*[10])(); // error Объекты сложного типа можно задать в операции new с помощью явноуказанных скобок, например, обращение new (int (*[10])()); размещает массив из 10 указателей на функции (не имеющие параметрови возвращающие int). Конструкции имя-типа-new в выражение-размещения должна бытьсамой длинной из возможных последовательностей конструкцийописатель-new. Это предотвращает коллизии между операциями изописателей &, *, [] и их двойниками из выражения, например, new int* i; // syntax error: parsed as `(new int*) i' // not s `(new int)*i' Символ * используется в описателе указателя, а не в качествеоперации умножения.
