std:: is_destructible, std:: is_trivially_destructible, std:: is_nothrow_destructible

T が完全型でない場合、（おそらくcv修飾された） void または不明な境界の配列である場合、動作は未定義です。

上記のテンプレートのインスタンス化が、直接的または間接的に不完全型に依存しており、その型が仮に完全化された場合に異なる結果をもたらす可能性がある場合、その動作は未定義です。

プログラムがこのページで説明されているテンプレートのいずれかに対する特殊化を追加する場合、動作は未定義です。

ヘルパー変数テンプレート

注記

C++プログラムは、スタック巻き戻し中にデストラクタが例外をスローした場合（通常は予測不可能）に終了するため、実用的なすべてのデストラクタは、たとえnoexceptで宣言されていなくても例外をスローしません。C++標準ライブラリで見つかるすべてのデストラクタは例外をスローしません。

自明に破棄可能なオブジェクトによって占有されているストレージは、 trivially destructible オブジェクトによって占有されているストレージは、 デストラクタを呼び出さずに再利用 することができます。

実装例

// C++20 required
template<typename t>
struct is_destructible
    : std::integral_constant<bool, requires(t object) { object.~t(); }>
{};

// Not real C++. Shall P2996 be approved, the following implementation will be available:
template<typename t>
struct is_trivially_destructible
     : std::integral_constant<bool, std::meta::type_is_trivially_destructible(^t)>
{};

// C++20 required
template<typename t>
struct is_nothrow_destructible
    : std::integral_constant<bool, requires(t object) { {object.~t()} noexcept; }>
{};

例

#include <iostream>
#include <string>
#include <type_traits>
struct Foo
{
    std::string str;
    ~Foo() noexcept {};
};
struct Bar
{
    ~Bar() = default;
};
static_assert(std::is_destructible<std::string>::value == true);
static_assert(std::is_trivially_destructible_v<Foo> == false);
static_assert(std::is_nothrow_destructible<Foo>() == true);
static_assert(std::is_trivially_destructible<Bar>{} == true);
int main() {}

欠陥報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

関連項目