Namespaces
Variants

Variable templates for type traits (library fundamentals TS)

From cppreference.net
C++
Experimental
Library fundamentals

C++ Extensions for Library Fundamentals のバージョン1は、型特性クラス向けの多数の constexpr 変数テンプレート、および公開 ::value メンバを持つその他の類似クラステンプレートを提供します。

特に明記されていない限り、以下の変数テンプレートは std::experimental 名前空間で定義されています。

HTMLタグ、属性、およびC++コード内のテキストは翻訳せず、元のフォーマットを保持しました。C++固有の用語（`template`、`class`、`constexpr`、`bool`、`std::is_object`など）は翻訳していません。

目次

型特性

基本型カテゴリ
変数テンプレート 値
定義済みヘッダー <experimental/type_traits>
template < class T > constexpr bool is_void_v = std:: is_void < T > :: value ;
template < class T > constexpr bool is_null_pointer_v = std:: is_null_pointer < T > :: value ;
template < class T > constexpr bool is_integral_v = std:: is_integral < T > :: value ;
template < class T > constexpr bool is_floating_point_v = std:: is_floating_point < T > :: value ;
template < class T > constexpr bool is_array_v = std:: is_array < T > :: value ;
template < class T > constexpr bool is_pointer_v = std:: is_pointer < T > :: value ;
template < class T > constexpr bool is_lvalue_reference_v = std:: is_lvalue_reference < T > :: value ;
template < class T > constexpr bool is_rvalue_reference_v = std:: is_rvalue_reference < T > :: value ;
template < class T > constexpr bool is_member_object_pointer_v = std:: is_member_object_pointer < T > :: value ;
template < class T > constexpr bool is_member_function_pointer_v = std:: is_member_function_pointer < T > :: value ;
template < class T > constexpr bool is_enum_v = std:: is_enum < T > :: value ;
template < class T > constexpr bool is_union_v = std:: is_union < T > :: value ;
template < class T > constexpr bool is_class_v = std:: is_class < T > :: value ;
template < class T > constexpr bool is_function_v = std:: is_function < T > :: value ;
複合型カテゴリ
可変テンプレート 値
定義済みヘッダー <experimental/type_traits>
template < class T > constexpr bool is_reference_v = std:: is_reference < T > :: value ;
template < class T > constexpr bool is_arithmetic_v = std:: is_arithmetic < T > :: value ;
template < class T > constexpr bool is_fundamental_v = std:: is_fundamental < T > :: value ;
template < class T > constexpr bool is_object_v = std:: is_object < T > :: value ;
template < class T > constexpr bool is_scalar_v = std:: is_scalar < T > :: value ;
template < class T > constexpr bool is_compound_v = std:: is_compound < T > :: value ;
template < class T > constexpr bool is_member_pointer_v = std:: is_member_pointer < T > :: value ;
型プロパティ
可変テンプレート 値
定義済みヘッダー <experimental/type_traits>
template < class T > constexpr bool is_const_v = std:: is_const < T > :: value ;
template < class T > constexpr bool is_volatile_v = std:: is_volatile < T > :: value ;
template < class T > constexpr bool is_trivial_v = std:: is_trivial < T > :: value ;
template < class T > constexpr bool is_trivially_copyable_v = std:: is_trivially_copyable < T > :: value ;
template < class T > constexpr bool is_standard_layout_v = std:: is_standard_layout < T > :: value ;
template < class T > constexpr bool is_pod_v = std:: is_pod < T > :: value ;
template < class T > constexpr bool is_literal_type_v = std:: is_literal_type < T > :: value ;
template < class T > constexpr bool is_empty_v = std:: is_empty < T > :: value ;
template < class T > constexpr bool is_polymorphic_v = std:: is_polymorphic < T > :: value ;
template < class T > constexpr bool is_abstract_v = std:: is_abstract < T > :: value ;
template < class T > constexpr bool is_final_v = std:: is_final < T > :: value ;
template < class T > constexpr bool is_signed_v = std:: is_signed < T > :: value ;
template < class T > constexpr bool is_unsigned_v = std:: is_unsigned < T > :: value ;
HTMLタグ、属性、および` `タグ内のC++コードはすべて元のまま保持されています。C++の専門用語（`template`、`class`、`constexpr`、`bool`、`std::is_trivially_default_constructible`、`value`など）は翻訳せず、元の形式を正確に維持しています。 **翻訳結果:** HTMLタグ、属性、C++コード内のテキストは翻訳せず、元のフォーマットを保持しています。
サポートされている操作
変数テンプレート 値
定義済みヘッダー <experimental/type_traits>
template < class T, class ... Args > constexpr bool is_constructible_v = std:: is_constructible < T, Args... > :: value ;
template < class T, class ... Args > constexpr bool is_trivially_constructible_v = std:: is_trivially_constructible < T, Args... > :: value ;
template < class T, class ... Args > constexpr bool is_nothrow_constructible_v = std:: is_nothrow_constructible < T, Args... > :: value ;
template < class T > constexpr bool is_default_constructible_v = std:: is_default_constructible < T > :: value ;
template < class T > constexpr bool is_trivially_default_constructible_v = std:: is_trivially_default_constructible < T > :: value ;
template < class T > constexpr bool is_nothrow_default_constructible_v = std:: is_nothrow_default_constructible < T > :: value ;
template < class T > constexpr bool is_copy_constructible_v = std:: is_copy_constructible < T > :: value ;
template < class T > constexpr bool is_trivially_copy_constructible_v = std:: is_trivially_copy_constructible < T > :: value ;
template < class T > constexpr bool is_nothrow_copy_constructible_v = std:: is_nothrow_copy_constructible < T > :: value ;
template < class T > constexpr bool is_move_constructible_v = std:: is_move_constructible < T > :: value ;
template < class T > constexpr bool is_trivially_move_constructible_v = std:: is_trivially_move_constructible < T > :: value ;
template < class T > constexpr bool is_nothrow_move_constructible_v = std:: is_nothrow_move_constructible < T > :: value ;
template < class T, class U > constexpr bool is_assignable_v = std:: is_assignable < T, U > :: value ;
template < class T, class U > constexpr bool is_trivially_assignable_v = std:: is_trivially_assignable < T, U > :: value ;
template < class T, class U > constexpr bool is_nothrow_assignable_v = std:: is_nothrow_assignable < T, U > :: value ;
template < class T > constexpr bool is_copy_assignable_v = std:: is_copy_assignable < T > :: value ;
template < class T > constexpr bool is_trivially_copy_assignable_v = std:: is_trivially_copy_assignable < T > :: value ;
template < class T > constexpr bool is_nothrow_copy_assignable_v = std:: is_nothrow_copy_assignable < T > :: value ;
template < class T > constexpr bool is_move_assignable_v = std:: is_move_assignable < T > :: value ;
template < class T > constexpr bool is_trivially_move_assignable_v = std:: is_trivially_move_assignable < T > :: value ;
template < class T > constexpr bool is_nothrow_move_assignable_v = std:: is_nothrow_move_assignable < T > :: value ;
template < class T > constexpr bool is_destructible_v = std:: is_destructible < T > :: value ;
template < class T > constexpr bool is_trivially_destructible_v = std:: is_trivially_destructible < T > :: value ;
template < class T > constexpr bool is_nothrow_destructible_v = std:: is_nothrow_destructible < T > :: value ;
template < class T > constexpr bool has_virtual_destructor_v = std:: has_virtual_destructor < T > :: value ;
HTMLタグ、属性、および` `内のC++コードはすべて原文のまま保持されています。C++固有の用語（template、class、unsigned、constexpr、std::size_t、extent_v、std::extent、valueなど）は翻訳されていません。 HTMLタグ、属性、コードブロック内のテキストは翻訳せず、元のフォーマットを保持しました。C++固有の用語も翻訳していません。 **注記**: このHTML断片には翻訳すべき自然言語テキストが含まれていません。すべての内容は以下のいずれかに該当します： - HTMLタグと属性 - C++コード（` `内） - C++固有の用語（`template`, `class`, `constexpr`, `bool`, `std::is_error_condition_enum`など） - 識別子名（`is_error_condition_enum_v`, `T`, `value`） したがって、指示に従い、翻訳は行われていません。
プロパティクエリ
可変テンプレート 値
定義済みヘッダー <experimental/type_traits>
template < class T > constexpr std:: size_t alignment_of_v = std:: alignment_of < T > :: value ;
template < class T > constexpr std:: size_t rank_v = std:: rank < T > :: value ;
template < class T, unsigned I = 0 > constexpr std:: size_t extent_v = std:: extent < T, I > :: value ;
型の関係性
変数テンプレート 値
定義済みヘッダー <experimental/type_traits>
template < class T, class U > constexpr bool is_same_v = std:: is_same < T, U > :: value ;
template < class Base, class Derived > constexpr bool is_base_of_v = std:: is_base_of < Base, Derived > :: value ;
template < class From, class To > constexpr bool is_convertible_v = std:: is_convertible < From, To > :: value ;

その他の変数テンプレート

std::ratio 比較
変数テンプレート 値
ヘッダーで定義 <experimental/ratio>
template < class R1, class R2 > constexpr bool ratio_equal_v = std:: ratio_equal < R1, R2 > :: value ;
template < class R1, class R2 > constexpr bool ratio_not_equal_v = std:: ratio_not_equal < R1, R2 > :: value ;
template < class R1, class R2 > constexpr bool ratio_less_v = std:: ratio_less < R1, R2 > :: value ;
template < class R1, class R2 > constexpr bool ratio_less_equal_v = std:: ratio_less_equal < R1, R2 > :: value ;
template < class R1, class R2 > constexpr bool ratio_greater_v = std:: ratio_greater < R1, R2 > :: value ;
template < class R1, class R2 > constexpr bool ratio_greater_equal_v = std:: ratio_greater_equal < R1, R2 > :: value ;
その他
変数テンプレート 値
ヘッダーで定義 <experimental/tuple>
template < class T > constexpr std:: size_t tuple_size_v = std:: tuple_size < T > :: value ;
ヘッダーで定義 <experimental/chrono>
template < class Rep > constexpr bool treat_as_floating_point_v = std:: chrono :: treat_as_floating_point < Rep > :: value ; [1]
ヘッダーで定義 <experimental/system_error>
template < class T > constexpr bool is_error_code_enum_v = std:: is_error_code_enum < T > :: value ;
template < class T > constexpr bool is_error_condition_enum_v = std:: is_error_condition_enum < T > :: value ;
定義済みヘッダー <experimental/functional>
template < class T > constexpr bool is_bind_expression_v = std:: is_bind_expression < T > :: value ;
template < class T > constexpr int is_placeholder_v = std:: is_placeholder < T > :: value ;
ヘッダーで定義 <experimental/memory>
template < class T, class Alloc > constexpr bool uses_allocator_v = std:: uses_allocator < T, Alloc > :: value ;

注記

[1]: std::chrono::experimental 名前空間で定義されています。