std::is_constructible, std::is_trivially_constructible, std::is_nothrow_constructible

ヘッダ `<type_traits>` で定義
template< class T, class... Args > struct is_constructible;	(1)	(C++11以降)
template< class T, class... Args > struct is_trivially_constructible;	(2)	(C++11以降)
template< class T, class... Args > struct is_nothrow_constructible;	(3)	(C++11以降)

1) T がオブジェクト型または参照型であり、変数定義 T obj(std::declval<Args>()...); がwell-formedである場合、メンバ定数value を true とします。それ以外の場合、value は false となります。
このチェックの目的上、変数定義は関数宣言として解釈されることはなく、std::declval の使用は odr-use とみなされません。アクセスチェックは、T および Args の型とは無関係なコンテキストから行われるものとみなされます。変数定義の直接的なコンテキストの有効性のみが考慮されます。

2) (1) と同じですが、変数定義では自明ではない操作は呼び出されません。このチェックの目的上、std::declval への呼び出しは自明とみなされます。

3) (1) と同じですが、変数定義は noexcept です。

T またはパラメータパック Args のいずれかの型が不完全型、（ cv修飾されている可能性のある）void、または未知の境界を持つ配列である場合、動作は未定義です。

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

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

template< class T, class... Args > inline constexpr bool is_constructible_v = is_constructible<T, Args...>::value;		(C++17以降)
template< class T, class... Args > inline constexpr bool is_trivially_constructible_v = is_trivially_constructible<T, Args...>::value;		(C++17以降)
template< class T, class... Args > inline constexpr bool is_nothrow_constructible_v = is_nothrow_constructible<T, Args...>::value;		(C++17以降)

[編集]

std::integral_constant から継承

メンバ定数

value

[static]

T が Args... から構築可能であれば true、そうでなければ false
(公開静的メンバ定数)

メンバ関数

operator bool	オブジェクトを bool に変換し、value を返します。 (public member function)
operator() (C++14)	value を返します。 (public member function)

メンバ型

型	定義
`value_type`	bool
`type`	std::integral_constant<bool, value>

[編集] 注釈

多くの実装では、is_nothrow_constructible はデストラクタが例外を投げないかもチェックします。これは実質的に noexcept(T(arg)) と同等です。is_trivially_constructible も同様で、これらの実装ではデストラクタが自明であることも要求されます。GCC bug 51452 LWG issue 2116。

[編集] 例

このコードを実行

#include <iostream>
#include <type_traits>
 
class Foo
{
    int v1;
    double v2;
public:
    Foo(int n) : v1(n), v2() {}
    Foo(int n, double f) noexcept : v1(n), v2(f) {}
};
 
int main()
{
    auto is = [](bool o) { return (o ? "\t" "is " : "\t" "isn't "); };
    std::cout << "Foo ...\n"
              << is(std::is_trivially_constructible_v<Foo, const Foo&>)
              << "Trivially-constructible from const Foo&\n"
              << is(std::is_trivially_constructible_v<Foo, int>)
              << "Trivially-constructible from int\n"
              << is(std::is_constructible_v<Foo, int>)
              << "Constructible from int\n"
              << is(std::is_nothrow_constructible_v<Foo, int>)
              << "Nothrow-constructible from int\n"
              << is(std::is_nothrow_constructible_v<Foo, int, double>)
              << "Nothrow-constructible from int and double\n";
}

出力

Foo ...
        is Trivially-constructible from const Foo&
        isn't Trivially-constructible from int
        is Constructible from int
        isn't Nothrow-constructible from int
        is Nothrow-constructible from int and double

[編集] 関連項目

is_default_constructibleis_trivially_default_constructibleis_nothrow_default_constructible (C++11)(C++11)(C++11)	型がデフォルトコンストラクタを持つかをチェックする (クラステンプレート) [編集]
is_copy_constructibleis_trivially_copy_constructibleis_nothrow_copy_constructible (C++11)(C++11)(C++11)	型がコピーコンストラクタを持つかをチェックする (クラステンプレート) [編集]
is_move_constructibleis_trivially_move_constructibleis_nothrow_move_constructible (C++11)(C++11)(C++11)	型が右辺値参照から構築可能であるかをチェックする (クラステンプレート) [編集]
constructible_from (C++20)	その型の変数が、一連の引数型から構築可能、または束縛可能であることを規定する (コンセプト) [編集]

コンパイラサポート
フリースタンディングとホスト
言語
標準ライブラリ
標準ライブラリヘッダー
名前付き要件
機能テストマクロ (C++20)
言語サポートライブラリ
コンセプトライブラリ (C++20)
診断ライブラリ
メモリ管理ライブラリ
メタプログラミングライブラリ (C++11)
汎用ユーティリティライブラリ
コンテナライブラリ
イテレータライブラリ
Rangesライブラリ (C++20)
アルゴリズムライブラリ
文字列ライブラリ
テキスト処理ライブラリ
数値ライブラリ
日付と時刻ライブラリ
入出力ライブラリ
ファイルシステムライブラリ (C++17)
並行サポートライブラリ (C++11)
実行制御ライブラリ (C++26)
Technical specifications (技術仕様)
シンボルインデックス
外部ライブラリ

cppreference.com

名前空間

変種

表示

操作