C++ 具名要求： Destructible
来自cppreference.com
指定类型的实例可被析构。
[编辑] 要求
类型 T 满足可析构 (Destructible) ，若
给定
-
u，T类型表达式
则下列表达式必须合法且拥有其指定的效应
| 表达式 | 后置条件 |
|---|---|
| u.~T() | u 所拥有的全部资源都得到回收，不抛异常。
|
[编辑] 注意
析构函数在对象生存期结束时，例如在离开作用域或由 delete 表达式结束时隐式调用。如类型要求表中所示的显式的析构函数调用是罕见的。
拜伪析构函数调用所赐，所有标量类型都满足可析构 (Destructible) 的要求，而数组类型和引用类型不满足。注意 std::is_destructible 允许数组与引用类型。
[编辑] 参阅
| (C++11)(C++11)(C++11) |
检查类型是否拥有未被删除的析构函数 (类模板) |
