Бьярн Страустрап - Справочное руководство по C++

Конструкция выражение-размещения может содержать инициализатор-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'

Символ * используется в описателе указателя, а не в качестве операции умножения.

Операция delete уничтожает объект, созданный с помощью new.

выражение-освобождения:

:: optdelete выражение-приведения

:: optdelete [] выражение-приведения

Результат имеет тип void. Операндом delete должен быть указатель, который возвращает new. Эффект применения операции delete к указателю, который не получен в результате операции new без задания параметры-new, считается неопределенным и обычно приводит к опасным последствиям. Однако гарантируется, что удаление по указателю с нулевым значением безопасно.

Результат попытки доступа к удаленному объекту неопределен, а удаление объекта может изменить его значение. Более того, если выражение, задающее объект, является изменяемым адресом, его значение после удаления неопределено.

Нельзя удалять указатель на константу.

Операция delete вызывает деструктор (если он есть $$12.4) для объекта, на который настроен ее операнд.

Для освобождения памяти, отведенной под указываемый объект, операция delete вызывает функцию operator delete (§R.12.5). Для объектов, не имеющих тип класс (в том числе и для массивов классов), используется глобальная функция ::operator delete(). Для объекта типа класс T вызывается функция T::operator delete(), если она есть (используя обычные правила просмотра при поиске членов класса и производных от него классов, §R.10.1.1), в противном случае вызывается глобальная функция::operator delete(). Обращение ::delete гарантирует, что будет вызываться глобальная функция ::operator delete(), даже если существует T::operator delete(). Для удаления массивов используется обращение вида

delete [] выражение-приведения

Здесь выражение должно указывать на массив. Если есть деструкторы, они будут вызываться для удаления указанных объектов.

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

Явное преобразование типа можно задать с помощью функциональной записи (§R.5.2.3) или с помощью операции приведения.

выражение-приведения:

унарное-выражение

(имя-типа) выражение-приведения

Задание с помощью операции приведения используется для обозначения преобразования к типу, который не является конструкцией имя-простого-типа.

В операции приведения нельзя определять типы.

Всякое преобразование типа, не упомянутое здесь и не являющееся преобразованием явно определенным пользователем (§R.12.3), считается ошибкой.

Любой тип, который можно преобразовать в другой с помощью стандартного преобразования (§R.4), можно также преобразовать с помощью явного преобразования (приведения) и смысл преобразования будет тот же.

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

Значение целочисленного типа может быть явно преобразовано в указатель. Указатель, преобразованный в целое достаточного размера (если такие есть в реализации), и преобразованный обратно к типу указателя, должен иметь свое первоначальное значение. Все другие детали перевода указателя в целое и обратно зависят от реализации.

Указатель на объект одного типа может быть преобразован в указатель на объект другого типа (с соблюдением ограничений, указанных здесь). Использование получившегося указателя может вызвать особую адресную ситуацию ("неверный адрес"), если преобразуемый указатель не настроен на объект, правильным образом выравненный в памяти. Гарантируется, что указатель на объект данного размера можно преобразовать в указатель на объект равного или меньшего размера и провести обратное преобразование без изменения значения указателя. На различных машинах двоичное представление указателей может быть различно как и требования на выравнивания объектов. Составные объекты выравниваются по самой строгой границе, требуемой их составляющими. Указатель типа void* считается совместимым с указателем на объект любого типа.

Указатель на класс B можно преобразовать в указатель на класс D, для которого класс B является прямо или опосредованно базовым классом, если существует однозначное преобразование из D в B (§R.4.6, $$.R10.1.1) и если B является виртуальным базовым классом (§R.10.1). Такое приведение от базового класса к производному классу предполагает, что объект базового класса является вложенным по отношению к объекту производного класса. В результате получится указатель, настроенный на объемлющий объект производного класса. Если объект базового класса не содержится ни в каком объекте производного класса, такая операция приведения может вызвать особую ситуацию.