delete 表达式
销毁先前由 new 表达式分配的对象，并释放获得的内存区域。
语法
::(可选) delete 表达式
|
(1) | ||||||||
::(可选) delete[] 表达式
|
(2) | ||||||||
| 表达式 | - | 以下之一：
|
解释
给定从表达式 求值（并可能经过转换后）得到的指针为 ptr。
表达式的结果始终具有 void 类型。
如果被删除的对象在删除点拥有不完整类类型，且完整类类型拥有不平凡的析构函数或解分配函数，那么行为未定义 (C++26 前)那么程序非良构 (C++26 起)。
如果 ptr 不是空指针且解分配函数不是销毁 delete (C++20 起)，那么 delete 表达式会对被销毁的对象，或对要被销毁的数组的每个元素（从数组的最后元素行进到首元素），调用它的析构函数（如果存在）。析构函数必须在 delete 表达式的出现点可访问。
然后，除非它匹配的 new 表达式已经与另一 new 表达式合并，否则 (C++14 起)无论析构函数是否抛出异常，delete 表达式都会调用解分配函数：operator delete（版本一）或 operator delete[]（版本二）。
在 ptr 所指向对象的动态类型的作用域中查找解分配函数的名字，这表示如果存在类特有解分配函数，那么它将会在全局版本之前被找到。如果 delete 表达式中存在 ::，那么查找中只检查全局命名空间。任何情况中，都丢弃除了常规解分配函数之外的所有声明。
如果查找找到了解分配函数，那么按以下方式选择所调用的函数（有关这些函数及它们的效果的更详细描述见解分配函数）：
|
(C++20 起) |
|
(C++17 起) |
- 如果找到的解分配函数是类特有的，那么优先采用不具大小的类特有解分配函数（无 std::size_t 类型的形参）而不是具大小的类特有解分配函数（带 std::size_t 类型的形参）
|
(C++14 起) |
选择的解分配函数必须在 delete 表达式的出现点可访问，除非解分配函数是在动态类型的虚析构函数的定义处选择的。
指向要被回收的存储块的指针会作为首个实参，传递给按上述方式所选择的解分配函数。块大小作为可选的 std::size_t 实参传递。对齐要求作为可选的 std::align_val_t 实参传递。 (C++17 起)
如果 ptr 是空指针值，那么不会调用析构函数，且可能会也可能不会调用解分配函数（这是未指明的），但默认的解分配函数保证在传递了空指针时不做任何事。
如果 ptr 是指向 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 1642 | C++98 | 表达式 可以是指针左值 | 已禁止 |
| CWG 2474 | C++98 | 删除指向拥有相似但不同的类型的对象的指针会导致未定义行为 | 赋予良好定义 |
| CWG 2624 | C++98 | 从不分配的 operator new[] 获取的指针可以传给 delete[] | 已禁止 |
| CWG 2758 | C++98 | 不明确如何对解分配函数和析构函数进行权限控制 | 使之明确 |