delete 表达式
销毁先前由 new 表达式分配的对象，并释放获得的内存区域。
语法
::(可选) delete 表达式
|
(1) | ||||||||
::(可选) delete [] 表达式
|
(2) | ||||||||
解释
对于第一种（非数组）形式，表达式 必须是指向对象类型的指针或可以按语境隐式转换到这种指针的类类型，且它的值必须为空或指向 new 表达式所创建的非数组对象的指针，或指向 new 表达式所创建的对象的基类子对象的指针。 表达式 的被指向类型必须与该对象（或基类子对象）的类型相似。如果 表达式 是其他值，包括它是通过 new 表达式的数组形式获得的指针的情况，那么行为未定义。
对于第二种（数组）形式，表达式 必须是空指针值或先前由分配函数不是不分配形式（即重载 (10)）的 new 表达式的数组形式所获得的指针值。 表达式 的被指向类型必须与数组对象的元素类型相似。如果 表达式 是其他值，包括它是通过 new 表达式的非数组形式获得的指针的情况，那么行为未定义。
表达式的结果始终具有 void 类型。
如果被删除的对象在删除点拥有不完整类类型，且完整类类型拥有不平凡的析构函数或解分配函数，那么行为未定义。
如果 表达式 不是空指针且解分配函数不是销毁 delete (C++20 起)，那么 delete 表达式会对被销毁的对象，或对要被销毁的数组的每个元素（从数组的最后元素行进到首元素），调用它的析构函数（如果存在）。
然后，除非它匹配的 new 表达式已经与另一 new 表达式合并，否则 (C++14 起)无论析构函数是否抛出异常，delete 表达式都会调用解分配函数：operator delete（对于表达式的第一种版本）或 operator delete[]（对于表达式的第二种版本）。
在 表达式 所指向对象的动态类型的作用域中查找解分配函数的名字，这表示如果存在类特有解分配函数，那么它将会在全局版本之前被找到。如果 delete 表达式中存在 ::，那么查找中只检查全局命名空间。
如果查找找到了多于一个解分配函数，那么按以下方式选择所调用的函数（有关这些函数及它们的效果的更详细描述见解分配函数）：
|
(C++20 起) |
|
(C++17 起) |
- 如果找到的解分配函数是类特有的，那么优先采用不具大小的类特有解分配函数（无 std::size_t 类型的形参）而不是具大小的类特有解分配函数（带 std::size_t 类型的形参）
|
(C++14 起) |
指向要被回收的存储块的指针会作为首个实参，传递给按上述方式所选择的解分配函数。块大小作为可选的 std::size_t 实参传递。对齐要求作为可选的 std::align_val_t 实参传递。 (C++17 起)
如果 表达式 求值为空指针值，那么不会调用析构函数，且可能会也可能不会调用解分配函数（这是未指明的），但默认的解分配函数保证在传递了空指针时不做任何事。
如果 表达式 求值为指向 new 所分配的对象的基类子对象的指针，那么基类的析构函数必须是虚函数，否则行为未定义。
注解
不能删除指向 void 的指针，因为它不是指向完整对象类型的指针。
|
因为关键词 // delete []{ return new int; }(); // 解析错误 delete ([]{ return new int; })(); // OK |
(C++11 起) |
关键词
缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
| 缺陷报告 | 应用于 | 出版时的行为 | 正确行为 |
|---|---|---|---|
| CWG 288 | C++98 | 在第一种形式中会比较操作数的静态类型和动态类型 | 改为比较要被删除的对象的静态类型和动态类型 |
| CWG 353 | C++98 | 未指明析构函数在抛出异常的情况下是否会调用解分配函数 | 总是会调用 |
| CWG 599 | C++98 | 第一种形式可以接受任何空指针，包括函数指针 | 不接受指向对象类型的指针以外的指针类型 |
| CWG 2474 | C++98 | 删除指向拥有相似但不同的类型的对象的指针会导致未定义行为 | 赋予良好定义 |
| CWG 2624 | C++98 | 从不分配的 operator new[] 获取的指针可以传给 delete[]
|
已禁止 |