C++ named requirements: Destructible
From cppreference.net
C++
C++ named requirements
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
指定该类型的实例可以被析构。
要求
类型
T
满足
Destructible
若
给定
-
u，一个类型为T的表达式。
以下表达式必须有效且具有其指定效果。
| 表达式 | 后置条件 |
|---|---|
| u.~T ( ) |
u
所拥有的所有资源均被回收，不会抛出任何异常。
|
注释
析构函数在 对象生命周期 结束时被隐式调用，例如离开 作用域 时或通过 delete表达式 调用。如类型需求表中所示的显式析构函数调用较为罕见。
由于 伪析构函数调用 的存在，所有标量类型都满足 可析构 要求，而数组类型和引用类型则不满足。请注意 std::is_destructible 允许数组和引用类型。
参见
|
(C++11)
(C++11)
(C++11)
|
检查类型是否拥有未被删除的析构函数
(类模板) |
|
(C++20)
|
指定该类型的对象可以被销毁
(概念) |