C++ 概念: Destructible

来自cppreference.com
< cpp‎ | concept
 
 
 

指定类型的实例可被析构。

[编辑] 要求

类型 T 满足可析构 (Destructible) ,若

给定

  • uT 类型表达式

则下列表达式必须合法且拥有其指定的效应

表达式 后置条件
u.~T() u 所拥有的全部资源都得到回收,不抛异常。

[编辑] 注意

析构函数在对象生存期结束时,例如在离开作用域或由 delete 表达式结束时隐式调用。如类型要求表中所示的显式的析构函数调用是少见的。

伪析构函数调用所赐,所有标量类型都满足可析构 (Destructible) 的要求,而数组类型和引用类型不满足。注意 std::is_destructible 允许数组与引用类型。

[编辑] 参阅

检查对象是否声明了析构函数
(类模板) [编辑]