C++ named requirements: Destructible
From cppreference.net
C++
C++ named requirements
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
その型のインスタンスが破棄可能であることを指定します。
要件
型
T
は、以下の条件を満たす場合
Destructible
を満たします
与えられた
-
u, 型Tの式。
以下の式は有効であり、指定された効果を持たなければなりません。
| 式 | 事後条件 |
|---|---|
| u.~T ( ) |
u
が所有する全てのリソースが解放され、例外は送出されない。
|
注記
デストラクタは、 オブジェクトの生存期間 の終了時、例えば スコープ を抜ける時や delete-expression によって暗黙的に呼び出されます。型要件テーブルに示されているような明示的なデストラクタ呼び出しは稀です。
擬似デストラクタ呼び出しのおかげで、すべてのスカラー型は Destructible の要件を満たしますが、配列型と参照型は満たしません。 std::is_destructible は配列型と参照型を許可することに注意してください。
関連項目
|
(C++11)
(C++11)
(C++11)
|
型が削除されていないデストラクタを持つかどうかをチェックする
(クラステンプレート) |
|
(C++20)
|
その型のオブジェクトが破棄可能であることを指定する
(コンセプト) |