<type_traits> 関数
is_assignable
is_copy_assignable
is_copy_constructible
is_default_constructible
is_move_assignable
is_move_constructible
is_nothrow_move_assignable
is_nothrow_swappable
is_nothrow_swappable_with
is_swappable
is_swappable_with
is_trivially_copy_assignable
is_trivially_move_assignable
is_trivially_move_constructible
is_assignable
From 型の値を To 型に代入できるかどうかをテストします。
template <class To, class From>
struct is_assignable;
パラメーター
目的
代入を受け取るオブジェクトの型。
差出人
値を渡すオブジェクトの型。
解説
評価されていない式 declval<To>() = declval<From>() は整形式である必要があります。 From と To の両方とも完全な型、void、または不明なバインドの配列にする必要があります。
is_copy_assignable
割り当て時に型をコピーできるかどうかをテストします。
template <class Ty>
struct is_copy_assignable;
パラメーター
Ty
照会する型。
解説
型 Ty がコピー代入演算子を持つクラスの場合、型述語のインスタンスは true を保持します。それ以外の場合は false を保持します。 is_assignable<Ty&>と同じです。
is_copy_constructible
型にコピー コンストラクターが存在するかどうかをテストします。
template <class Ty>
struct is_copy_constructible;
パラメーター
Ty
照会する型。
解説
型 Ty がコピー コンストラクターを持つクラスである場合、型述語のインスタンスは true を保持します。それ以外の場合は、false を保持します。
例
#include <type_traits>
#include <iostream>
struct Copyable
{
int val;
};
struct NotCopyable
{
NotCopyable(const NotCopyable&) = delete;
int val;
};
int main()
{
std::cout << "is_copy_constructible<Copyable> == " << std::boolalpha
<< std::is_copy_constructible<Copyable>::value << std::endl;
std::cout << "is_copy_constructible<NotCopyable> == " << std::boolalpha
<< std::is_copy_constructible<NotCopyable>::value << std::endl;
return (0);
}
is_copy_constructible<Copyable> == true
is_copy_constructible<NotCopyable > == false
is_default_constructible
型が既定のコンストラクターを持つかどうかをテストします。
template <class Ty>
struct is_default_constructible;
パラメーター
T
照会する型。
解説
型 T が既定のコンストラクターを持つクラス型である場合、型述語のインスタンスは true を保持します。それ以外の場合は、false を保持します。 これは、述語 is_constructible<T>と同じです。 型 T は完全な型、void、または不明なバインドの配列である必要があります。
例
#include <type_traits>
#include <iostream>
struct Simple
{
Simple() : val(0) {}
int val;
};
struct Simple2
{
Simple2(int v) : val(v) {}
int val;
};
int main()
{
std::cout << "is_default_constructible<Simple> == " << std::boolalpha
<< std::is_default_constructible<Simple>::value << std::endl;
std::cout << "is_default_constructible<Simple2> == " << std::boolalpha
<< std::is_default_constructible<Simple2>::value << std::endl;
return (0);
}
is_default_constructible<Simple> == true
is_default_constructible<Simple2> == false
is_move_assignable
型が移動代入可能であるかどうかをテストします。
template <class T>
struct is_move_assignable;
パラメーター
T
照会する型。
解説
型への右辺値参照を型の参照に割り当てる事ができる場合、その型は移動代入可能です。 型述語は is_assignable<T&, T&&> と同じです。 移動代入できる型には、コンパイラにより生成された移動代入演算子またはユーザー定義の移動代入演算子を含む参照可能なスカラー型やクラス型があります。
is_move_constructible
型に移動コンストラクターが存在するかどうかをテストします。
template <class T>
struct is_move_constructible;
パラメーター
T
評価される型
解説
型 T が移動操作によって構築できる場合に、true と評価される型述語です。 この述語は is_constructible<T, T&&> と同じです。
is_nothrow_move_assignable
型が nothrow 移動代入演算子を持つかどうかをテストします。
template <class Ty>
struct is_nothrow_move_assignable;
パラメーター
Ty
照会する型。
解説
型 Ty が nothrow 移動代入演算子を持つ場合、型述語のインスタンスは true を保持します。それ以外の場合は、false を保持します。
is_nothrow_swappable
template <class T> struct is_nothrow_swappable;
is_nothrow_swappable_with
template <class T, class U> struct is_nothrow_swappable_with;
is_swappable
template <class T> struct is_swappable;
is_swappable_with
template <class T, class U> struct is_swappable_with;
is_trivially_copy_assignable
型が自明なコピー代入演算子を持つかどうかをテストします。
template <class Ty>
struct is_trivially_copy_assignable;
パラメーター
T
照会する型。
解説
型 T が自明なコピー代入演算子を持つクラスの場合、型述語のインスタンスは true を保持します。それ以外の場合は false を保持します。
クラス T の代入コンストラクターが自明となるのは、暗黙的に指定されている場合、クラス T に仮想関数がない場合、クラス T に仮想基底がない場合、クラス型の非静的データ メンバーすべてのクラスに自明な代入演算子が含まれており、かつクラスの型配列の非静的データ メンバーすべてでクラスに自明な代入演算子が含まれている場合です。
is_trivially_move_assignable
型が自明なムーブ代入演算子を持つかどうかをテストします。
template <class Ty>
struct is_trivially_move_assignable;
パラメーター
Ty
照会する型。
解説
型 Ty が自明な移動代入演算子を持つクラスの場合、型述語のインスタンスは true を保持します。それ以外の場合は false を保持します。
次の条件が満たされる場合、クラス Ty の移動代入演算子は自明です。
暗黙的に指定されている
クラス Ty に仮想関数がない
クラス Ty に仮想基底がない
クラス型のすべての非静的データ メンバーのクラスに自明なムーブ代入演算子がある
クラスの型配列のすべての非静的データ メンバーのクラスに自明なムーブ代入演算子がある
is_trivially_move_constructible
型に自明な移動コンストラクターが存在するかどうかをテストします。
template <class Ty>
struct is_trivially_move_constructible;
パラメーター
Ty
照会する型。
解説
型 Ty が自明な移動コンストラクターを持つクラスである場合、型述語のインスタンスは true を保持します。それ以外の場合は、false を保持します。
クラス Ty の移動コンストラクターが自明であるのは、以下の場合です。
暗黙的に宣言されている
そのパラメーターの型が暗黙的な宣言のものと同じである
クラス Ty に仮想関数がない
クラス Ty に仮想基底がない
クラスに揮発性の非静的データ メンバーがない
クラス Ty のすべての直接基底に自明な移動コンストラクターがある
クラス型のすべての非静的データ メンバーのクラスに自明な移動コンストラクターがある
クラスの型配列のすべての非静的データ メンバーのクラスに自明な移動コンストラクターがある