C++ 命名要求： 可析構 (Destructible)
來自 cppreference.com
指定該型別的例項可以被析構。
[編輯] 要求
型別 T 滿足 可析構 (Destructible)，如果
給定
-
u是型別T的一個表示式。
以下表達式必須有效並具有其指定的效果。
| 表示式 | 後置條件 |
|---|---|
| u.~T() | u 擁有的所有資源被回收，不會丟擲異常。 |
[編輯] 注意
解構函式在物件生命週期結束時隱式呼叫，例如當離開作用域時或透過delete-expression呼叫。如型別要求表所示的顯式解構函式呼叫是罕見的。
多虧了偽解構函式呼叫，所有標量型別都滿足 可析構 (Destructible) 的要求，而陣列型別和引用型別不滿足。請注意，std::is_destructible 允許陣列和引用型別。
[編輯] 另請參閱
| (C++11)(C++11)(C++11) |
檢查型別是否具有非刪除的解構函式 (類模板) |
| (C++20) |
指定該型別的物件可以被銷燬 (概念) |
