выражение delete

Уничтожает объекты, ранее выделенные выражением new, и освобождает полученную область памяти.

Синтаксис

Пояснение

Пусть указатель, полученный в результате вычисления expression (после возможных преобразований), обозначен как ptr.

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

Результат выражения delete всегда имеет тип void.

Если в точке удаления объект имеет неполный тип класса, а полный класс имеет нетривиальный деструктор или функцию освобождения памяти, поведение является неопределённым(до C++26)программа некорректна(начиная с C++26).

Если ptr не является нулевым указателем и функция освобождения памяти не является уничтожающим delete(начиная с C++20), выражение delete вызывает деструктор (если он есть) уничтожаемого объекта либо каждого элемента уничтожаемого массива (от последнего элемента к первому). Деструктор должен быть доступен в точке появления выражения delete.

После этого, независимо от того, было ли выброшено исключение каким-либо деструктором, выражение delete вызывает функцию освобождения памяти: либо operator delete (первая форма), либо operator delete[] (вторая форма), если только соответствующее выражение new не было объединено с другим выражением new(начиная с C++14).

Имя функции освобождения памяти ищется в области видимости динамического типа объекта, на который указывает ptr; это означает, что при наличии функций освобождения памяти, специфичных для класса, они находятся раньше глобальных. Если в выражении delete присутствует ::, при этом поиске рассматривается только глобальное пространство имён. В любом случае все объявления, кроме объявлений обычных функций освобождения памяти, отбрасываются.

Если найдена какая-либо функция освобождения памяти, вызываемая функция выбирается следующим образом (подробное описание этих функций и их эффектов см. в разделе функция освобождения памяти):

• Если найденные функции освобождения памяти являются специфичными для класса, предпочтение отдаётся специфичной для класса функции освобождения памяти, не учитывающей размер (без параметра типа std::size_t), а не специфичной для класса функции, учитывающей размер (с параметром типа std::size_t).

Выбранная функция освобождения памяти должна быть доступна в точке появления выражения delete, если только функция освобождения памяти не выбирается в точке определения динамического типа виртуального деструктора.

Указатель на освобождаемый блок памяти передаётся первым аргументом выбранной описанным выше способом функции освобождения памяти. Размер блока передаётся как необязательный аргумент std::size_t. Требование выравнивания передаётся как необязательный аргумент std::align_val_t.(начиная с C++17)

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

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

Примечания

Указатель на void нельзя удалить, поскольку он не является указателем на объектный тип.

// delete []{ return new int; }(); // parse error
delete ([]{ return new int; })();  // OK

Ключевые слова

delete

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были ретроактивно применены к ранее опубликованным стандартам C++.

См. также

• new