std::is_default_constructible, std::is_trivially_default_constructible, std::is_nothrow_default_constructible - cppreference.com

<tbody> </tbody>

1) std::is_constructible<T>::value が true であれば、 true に等しいメンバ定数 value が提供されます。 そうでなければ、 value は false です。

2) std::is_trivially_constructible<T>::value が true であれば、 true に等しいメンバ定数 value が提供されます。 そうでなければ、 value は false です。

3) std::is_nothrow_constructible<T>::value が true であれば、 true に等しいメンバ定数 value が提供されます。 そうでなければ、 value は false です。

T は完全型 (またはその cv 修飾された型)、 void、またはサイズの未知な配列でなければなりません。 そうでなければ、動作は未定義です。

上記のテンプレートの実体化が直接または間接的に不完全型に依存しており、もしその型が仮に完全型であったならばその実体化が異なる結果を産むであろう場合は、動作は未定義です。

このページで説明しているテンプレート に対して特殊化を追加するプログラムは未定義です。

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

<tbody> </tbody>

実装例

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> {};

ノート

多くの処理系では、 is_nothrow_default_constructible は、実質的に noexcept(T()) であるため、デストラクタが例外を投げるかどうかも確認します。 同じことが 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 <iostream>
#include <type_traits>

struct Ex1 {
    std::string str; // member has a non-trivial default ctor
};
struct Ex2 {
    int n;
    Ex2() = default; // trivial and non-throwing
};

int main() {
    std::cout << std::boolalpha << "Ex1 is default-constructible? "
              << std::is_default_constructible<Ex1>::value << '\n'
              << "Ex1 is trivially default-constructible? "
              << std::is_trivially_default_constructible<Ex1>::value << '\n'
              << "Ex2 is trivially default-constructible? "
              << std::is_trivially_default_constructible<Ex2>::value << '\n'
              << "Ex2 is nothrow default-constructible? "
              << std::is_nothrow_default_constructible<Ex2>::value << '\n';
}

Ex1 is default-constructible? true
Ex1 is trivially default-constructible? false
Ex2 is trivially default-constructible? true
Ex2 is nothrow default-constructible? true

関連項目