<type_traits>

型引数のプロパティに関する情報を提供するコンパイル時定数を備えたテンプレートを定義します。

#include <type_traits>

解説

型述語は、1 つまたは 2 つの型引数を受け取るテンプレートです。型述語が true を保持する場合は、true_type Typedef からパブリックに (直接または間接的に) 派生されます。型述語が false を保持する場合は、false_type Typedef からパブリックに (直接または間接的に) 派生されます。

型修飾子は、次に示すように、1 つまたは複数のテンプレート引数を受け取るテンプレートであり、メンバーを 1 つ持ちます。

• typedef modified-type type;

型クエリは、1 つまたは複数のテンプレート引数を受け取るテンプレートです。型クエリは、integral_constant<std::size_t, value> からパブリックに (直接または間接的に) 派生されます。引数 value として渡された値を保持します。

Classes

add_const	できますconstタイプからの入力。
add_cv	できますconst/volatileタイプからの入力。
add_pointer	型から型へのポインターを作成します。
add_reference	型から型への参照を作成します。
add_volatile	できますvolatileタイプからの入力。
aligned_storage	適切にアライメントされた型を作成します。
alignment_of	型のアライメントを取得します。
common_type	2 つの型に共通する型のインスタンスを作成します。
条件	2 つの型に共通する型のインスタンスを作成します。
減衰	参照ではない、非定数または非揮発性の種類や型へのポインターになります。
enable_if	型のインスタンスまたは未定義の型を作成します。
エクステント	配列の次元を取得します。
has_nothrow_assign	代入時に例外がスローされない型であるかどうかをテストします。
has_nothrow_constructor	既定のコンストラクターで例外がスローされない型であるかどうかをテストします。
has_nothrow_copy	コピー コンストラクターで例外がスローされない型であるかどうかをテストします。
has_nothrow_copy_constructor	コピーによる構築で例外がスローされない型であるかどうかをテストします。
has_nothrow_default_constructor	既定のコンストラクターで例外がスローされない型であるかどうかをテストします。
has_trivial_assign	型に自明な代入を持つかどうかをテストします。
has_trivial_constructor	型に自明な既定のコンス トラクターがあるかどうかをテストします。
has_trivial_copy	型に自明なコピー コンス トラクターが存在するかどうかをテストします。
has_trivial_copy_constructor	型に自明なコピー コンストラクターが存在するかどうかをテストします。
has_trivial_default_constructor	型に自明な既定のコンス トラクターがある場合をテストします。
has_trivial_destructor	型に自明なデストラクターが存在するかどうかをテストします。
has_virtual_destructor	型に仮想デストラクターが存在するかどうかをテストします。
is_abstract	型が抽象クラスであるかどうかをテストします。
is_arithmetic	型が演算型であるかどうかをテストします。
is_array	型が配列であるかどうかをテストします。
is_base_of	一方の型がもう一方の型の基本クラスであるかどうかをテストします。
is_class	型がクラスであるかどうかをテストします。
is_compound	型が非スカラーであるかどうかをテストします。
is_const	型が定数型であるかどうかをテストします。
is_convertible	一方の型をもう一方の型に変換できるかどうかをテストします。
is_empty	型が空のクラスであるかどうかをテストします。
is_enum	型が列挙型であるかどうかをテストします。
is_floating_point	型が浮動小数点型であるかどうかをテストします。
is_function	型が関数型であるかどうかをテストします。
is_fundamental	型であるかどうかをテストするvoidまたは算術演算。
is_integral	型が整数型であるかどうかをテストします。
is_lvalue_reference	テストの種類の場合、 lvalueへの参照。
is_member_function_pointer	型がメンバー関数へのポインターであるかどうかをテストします。
is_member_object_pointer	型がメンバー オブジェクトへのポインターであるかどうかをテストします。
is_member_pointer	型がメンバーへのポインターであるかどうかをテストします。
is_object	型がオブジェクト型であるかどうかをテストします。
is_pod	型が POD であるかどうかをテストします。
is_pointer	型がポインターであるかどうかをテストします。
is_polymorphic	型に仮想関数が存在するかどうかをテストします。
is_reference	型が参照であるかどうかをテストします。
is_rvalue_reference	テストの種類の場合、 rvalueへの参照。
is_same	2 つの型が等しいかどうかをテストします。
is_scalar	型がスカラーであるかどうかをテストします。
is_signed	型が符号付き整数であるかどうかをテストします。
is_standard_layout	型が標準レイアウトであるかどうかをテストします。
is_union	型が共用体であるかどうかをテストします。
is_unsigned	型が符号なし整数であるかどうかをテストします。
is_void	型が void であるかどうかをテストします。
is_volatile	型が volatile であるかどうかをテストします。
make_signed	型または型以上のサイズを持つ最小の signed 型を作成します。
make_unsigned	型を作成、または型以上のサイズを持つ最小の unsigned 型を作成します。
ランク	配列の次元数を取得します。
remove_all_extents	配列型から非配列型を作成します。
remove_const	型から非 const 型を作成します。
remove_cv	型から非 const/volatile 型を作成します。
remove_extent	配列型から要素型を作成します。
remove_pointer	型へのポインターから型を作成します。
remove_reference	型から非参照型を作成します。
remove_volatile	型から非 volatile 型を作成します。
integral_constant	型および値から整数定数を作成します。

Typedef

false_type	false 値を持つ整数定数を保持します。
true_type	true 値を持つ整数定数を保持します。

参照

関連項目

<functional>