delete expression

销毁先前通过 new表达式 分配的对象，并释放已获取的内存区域。

语法

说明

给定由 expression 求值得到的指针（经过可能的转换后）为 ptr 。

delete 表达式的结果类型始终为 void 。

若被删除对象在删除点具有不完整类类型， 且完整类具有非平凡析构函数或释放函数，则行为未定义 (C++26 前) 程序非良构 (C++26 起) 。

如果 ptr 不是空指针 且 解分配函数 不是销毁式 delete (C++20 起) ，则 delete 表达式会调用被销毁对象的 析构函数 （如果存在），或调用被销毁数组中每个元素的析构函数（从数组的最后一个元素到第一个元素依次执行）。该析构函数必须从 delete 表达式出现的位置可 访问 。

此后，无论是否有任何析构函数抛出异常，delete表达式都会调用 解分配函数 ：即 operator delete （第一版本）或 operator delete [ ] （第二版本） ，除非匹配的new表达式与其他new表达式组合使用 (since C++14) 。

释放函数的名称在由 ptr 所指向对象的动态类型作用域内进行 查找 ，这意味着如果存在类特定的释放函数，将优先于全局函数被找到。若 delete 表达式中出现 :: 符号，则此查找仅检查全局命名空间。无论何种情况，除常规释放函数声明外的所有其他声明都将被排除。

如果找到任何解分配函数，则按如下方式选择要调用的函数（有关这些函数及其效果的更详细说明，请参阅 解分配函数 ）：

• 如果找到的释放函数是类特定的，则优先选择无大小感知的类特定释放函数（不带 std::size_t 类型参数）而非有大小感知的类特定释放函数（带 std::size_t 类型参数）。

所选择的解分配函数必须能够从 delete 表达式出现的位置进行 访问 ，除非该解分配函数是在 动态类型 的 虚析构函数 定义点被选定的。

指向待回收存储块的指针作为第一个实参，传递给上文流程所选择的 解分配函数 。存储块的大小作为可选的 std::size_t 类型参数传递。 对齐要求作为可选的 std::align_val_t 类型参数传递。 (C++17 起)

如果 ptr 是空指针值，则不会调用任何析构函数， 且可能调用也可能不调用释放函数（这是未指定的），但默认释放函数在接收到空指针时保证不执行任何操作。

如果 ptr 指向通过 new 分配的对象中的基类子对象，则该基类的析构函数必须声明为 virtual ，否则将导致未定义行为。

注释

指向 void 的指针无法被删除，因为它不是指向对象类型的指针。

// delete []{ return new int; }(); // 解析错误
delete ([]{ return new int; })();  // 正确

关键词

delete

缺陷报告

以下行为变更缺陷报告被追溯应用于先前发布的C++标准。

参见

• new