std:: is_default_constructible, std:: is_trivially_default_constructible, std:: is_nothrow_default_constructible

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

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

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

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

実装例

template<class T>
struct is_default_constructible : std::is_constructible<T> {};
template<class T>
struct is_trivially_default_constructible : std::is_trivially_constructible<T> {};
template<class T>
struct is_nothrow_default_constructible : std::is_nothrow_constructible<T> {};

注記

多くの実装では、 std::is_nothrow_default_constructible はデストラクタが例外を投げるかどうかもチェックします。これは実質的に noexcept ( T ( ) ) と同等であるためです。同じことが std::is_trivially_default_constructible にも当てはまり、これらの実装ではデストラクタがトリビアルであることも要求されます： GCC bug 51452 、 LWG issue 2116 。

std :: is_default_constructible < T > は T x ; がコンパイル可能かどうかをテストするものではなく、空の引数リストによる 直接初期化 を試行します（ std::is_constructible を参照）。したがって、 std :: is_default_constructible_v < const int > と std :: is_default_constructible_v < const int [ 10 ] > は true となります。

例

#include <string>
#include <type_traits>
struct S1
{
    std::string str; // メンバーが非トリビアルなデフォルトコンストラクタを持つ
};
static_assert(std::is_default_constructible_v<S1> == true);
static_assert(std::is_trivially_default_constructible_v<S1> == false);
struct S2
{
    int n;
    S2() = default; // トリビアルかつ非スロー
};
static_assert(std::is_trivially_default_constructible_v<S2> == true);
static_assert(std::is_nothrow_default_constructible_v<S2> == true);
int main() {}

関連項目