delete 表达式

来自cppreference.com
< cpp‎ | language

销毁先前由 new 表达式分配的对象,并释放获得的内存区域

语法

::(可选)    delete    表达式 (1)
::(可选)    delete [] 表达式 (2)
1) 销毁 new 表达式创建的单个非数组对象
2) 销毁 new[] 表达式创建的数组

解释

对于第一种(非数组)形式,表达式 必须是指向对象类型的指针或可按语境隐式转换到这种指针的类类型,且其值必须为空 (null) 或指向 new 表达式所创建的非数组对象的指针,或指向 new 表达式所创建的对象的基类子对象的指针。 表达式 的被指向类型必须与该对象(或基类子对象)的类型相似。若 表达式 为其他值,包括它是通过new 表达式的数组形式获得的指针的情况,其行为未定义

对于第二种(数组)形式,表达式 必须是空指针值或先前由 new 表达式的数组形式所获得的指针值。 表达式 的被指向类型必须与数组对象的元素类型相似。若 表达式 为其他值,包括若它是由 new 表达式的非数组形式获得的指针的情况,其行为未定义

表达式的结果始终具有 void 类型。

若被删除的对象在删除点拥有不完整类类型,且完整类类型拥有非平凡析构函数或解分配函数,则行为未定义。

表达式 不是空指针解分配函数不是销毁 delete (C++20 起),则 delete 表达式对被销毁的对象,或对要被销毁的数组的每个元素(从数组的最后元素行进到首元素),调用其析构函数(若它存在)。

然后,除非其所匹配的 new 表达式已经与另一 new 表达式合并,否则 (C++14 起)无论析构函数是否抛出异常,delete 表达式都调用解分配函数operator delete(对于表达式的第一种版本)或 operator delete[](对于表达式的第二种版本)。

表达式 所指向对象的动态类型的作用域中查找解分配函数的名字,这表示如果存在类特有解分配函数,则它将在全局版本之前被找到。若 delete 表达式中存在 ::,则查找中只检查全局命名空间。

若查找找到了多于一个解分配函数,按以下方式选择所调用的函数(有关这些函数及其效果的更详细描述见解分配函数):

  • 若至少一个解分配函数为销毁 delete,则忽略所有非销毁 delete。
(C++20 起)
  • 若类型的对齐要求超出 __STDCPP_DEFAULT_NEW_ALIGNMENT__,则优先采用具对齐解分配函数(有一个 std::align_val_t 类型的形参)。对于其他类型,优先采用不具对齐解分配函数(没有 std::align_val_t 类型的形参)。
  • 若找到多于一个优先函数,则下一步中只考虑优先函数。
  • 若找不到优先函数,则下一步中考虑非优先函数。
  • 若只剩下一个函数,则选择该函数。
(C++17 起)
  • 若找到的解分配函数是类特有的,则优先采用不具大小的类特有解分配函数(无 std::size_t 类型的形参)而不是具大小的类特有解分配函数(带 std::size_t 类型的形参)
  • 否则,查找抵达全局作用域,且:
  • 若类型完整,且只对于数组形式,若其操作数是指向拥有非平凡析构函数的类或其(可以多维)数组的指针,则选择具大小的全局函数(带 std::size_t 类型的形参)
  • 否则,选择全局具大小解分配函数(带 std::size_t 类型的形参)还是全局不具大小解分配函数(无 std::size_t 类型的形参)是未指明的。
(C++14 起)

指向要被回收的存储块的指针会作为首个实参,传递给按上述方式所选择的解分配函数。块大小作为可选的 std::size_t 实参传递。对齐要求作为可选的 std::align_val_t 实参传递。 (C++17 起)

表达式 求值为空指针值,则不调用析构函数,且可能也可能不调用解分配函数(这是未指明的),但缺省的解分配函数保证在传递了空指针时不做任何事。

表达式 求值为指向 new 所分配的对象的基类子对象的指针,则基类的析构函数必须为虚,否则行为未定义。

注解

不能删除指向 void 的指针,因为它不是指向完整对象类型的指针。

因为关键词 delete 之后的一对方括号始终被解释为 delete 的数组形式,所以紧跟在 delete 之后的拥有空俘获列表的 lambda 表达式必须以括号括起来。

// delete []{return new int; }(); // 解析错误
delete ([]{return new int; })(); // OK
(C++11 起)

关键词

delete

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

DR 应用于 出版时的行为 正确行为
CWG 2474 C++98 删除指向拥有相似但不同的类型的对象的指针导致 UB 使之良定义

参阅