This header is part of themetaprogramming library.
Classes | ||
Helper Classes | ||
(C++11)(C++17) | compile-time constant of specified type with specified value (class template)[edit] | |
true_type | std::integral_constant<bool,true> | |
false_type | std::integral_constant<bool,false> | |
Primary type categories | ||
(C++11) | checks if a type isvoid (class template)[edit] | |
(C++11)(DR*) | checks if a type isstd::nullptr_t (class template)[edit] | |
(C++11) | checks if a type is an integral type (class template)[edit] | |
(C++11) | checks if a type is a floating-point type (class template)[edit] | |
(C++11) | checks if a type is an array type (class template)[edit] | |
(C++11) | checks if a type is an enumeration type (class template)[edit] | |
(C++11) | checks if a type is a union type (class template)[edit] | |
(C++11) | checks if a type is a non-union class type (class template)[edit] | |
(C++11) | checks if a type is a function type (class template)[edit] | |
(C++11) | checks if a type is a pointer type (class template)[edit] | |
(C++11) | checks if a type is anlvalue reference (class template)[edit] | |
(C++11) | checks if a type is anrvalue reference (class template)[edit] | |
(C++11) | checks if a type is a non-static member object pointer (class template)[edit] | |
(C++11) | checks if a type is a non-static member function pointer (class template)[edit] | |
Composite type categories | ||
(C++11) | checks if a type is a fundamental type (class template)[edit] | |
(C++11) | checks if a type is an arithmetic type (class template)[edit] | |
(C++11) | checks if a type is a scalar type (class template)[edit] | |
(C++11) | checks if a type is an object type (class template)[edit] | |
(C++11) | checks if a type is a compound type (class template)[edit] | |
(C++11) | checks if a type is either anlvalue reference orrvalue reference (class template)[edit] | |
(C++11) | checks if a type is a pointer to a non-static member function or object (class template)[edit] | |
Type properties | ||
(C++11) | checks if a type is const-qualified (class template)[edit] | |
(C++11) | checks if a type is volatile-qualified (class template)[edit] | |
(C++11)(deprecated in C++26) | checks if a type is trivial (class template)[edit] | |
(C++11) | checks if a type is trivially copyable (class template)[edit] | |
(C++11) | checks if a type is astandard-layout type (class template)[edit] | |
(C++11)(deprecated in C++20) | checks if a type is a plain-old data (POD) type (class template)[edit] | |
(C++11)(deprecated in C++17)(removed in C++20) | checks if a type is a literal type (class template)[edit] | |
| checks if every bit in the type's object representation contributes to its value (class template)[edit] | ||
(C++11) | checks if a type is a class (but not union) type and has no non-static data members (class template)[edit] | |
(C++11) | checks if a type is a polymorphic class type (class template)[edit] | |
(C++11) | checks if a type is an abstract class type (class template)[edit] | |
(C++14) | checks if a type is a final class type (class template)[edit] | |
(C++17) | checks if a type is an aggregate type (class template)[edit] | |
(C++23) | checks if a type is an implicit-lifetime type (class template)[edit] | |
(C++11) | checks if a type is a signed arithmetic type (class template)[edit] | |
(C++11) | checks if a type is an unsigned arithmetic type (class template)[edit] | |
(C++20) | checks if a type is an array type of known bound (class template)[edit] | |
(C++20) | checks if a type is an array type of unknown bound (class template)[edit] | |
(C++23) | checks if a type is a scoped enumeration type (class template)[edit] | |
Supported operations | |
(C++11)(C++11)(C++11) | checks if a type has a constructor for specific arguments (class template)[edit] |
| checks if a type has a default constructor (class template)[edit] | |
(C++11)(C++11)(C++11) | checks if a type has a copy constructor (class template)[edit] |
(C++11)(C++11)(C++11) | checks if a type can be constructed from an rvalue reference (class template)[edit] |
(C++11)(C++11)(C++11) | checks if a type has an assignment operator for a specific argument (class template)[edit] |
(C++11)(C++11)(C++11) | checks if a type has a copy assignment operator (class template)[edit] |
(C++11)(C++11)(C++11) | checks if a type has a move assignment operator (class template)[edit] |
(C++11)(C++11)(C++11) | checks if a type has a non-deleted destructor (class template)[edit] |
(C++11) | checks if a type has a virtual destructor (class template)[edit] |
(C++17)(C++17)(C++17)(C++17) | checks if objects of a type can be swapped with objects of same or different type (class template)[edit] |
| checks if a reference is bound to a temporary in copy-initialization (class template)[edit] | |
| checks if a reference is bound to a temporary in direct-initialization (class template)[edit] | |
Property queries | |
(C++11) | obtains the type's alignment requirements (class template)[edit] |
(C++11) | obtains the number of dimensions of an array type (class template)[edit] |
(C++11) | obtains the size of an array type along a specified dimension (class template)[edit] |
Type relationships | |
(C++11) | checks if two types are the same (class template)[edit] |
(C++11) | checks if a type is a base of the other type (class template)[edit] |
(C++26) | checks if a type is a virtual base of the other type (class template)[edit] |
(C++11)(C++20) | checks if a type can be converted to the other type (class template)[edit] |
(C++20) | checks if two types arelayout-compatible (class template)[edit] |
| checks if a type is apointer-interconvertible (initial) base of another type (class template)[edit] | |
| checks if a type can be invoked (as if bystd::invoke) with the given argument types (class template)[edit] | |
Const-volatility specifiers | |
(C++11)(C++11)(C++11) | removesconst and/orvolatile specifiers from the given type (class template)[edit] |
(C++11)(C++11)(C++11) | addsconst and/orvolatile specifiers to the given type (class template)[edit] |
References | |
(C++11) | removes a reference from the given type (class template)[edit] |
(C++11)(C++11) | adds anlvalue orrvalue reference to the given type (class template)[edit] |
Pointers | |
(C++11) | removes a pointer from the given type (class template)[edit] |
(C++11) | adds a pointer to the given type (class template)[edit] |
Sign modifiers | |
(C++11) | obtains the corresponding signed type for the given integral type (class template)[edit] |
(C++11) | obtains the corresponding signed type for the given integral type (class template)[edit] |
Arrays | |
(C++11) | removes one extent from the given array type (class template)[edit] |
(C++11) | removes all extents from the given array type (class template)[edit] |
Miscellaneous transformations | |
(since C++11)(deprecated in C++23) | defines the type suitable for use as uninitialized storage for types of given size (class template)[edit] |
(since C++11)(deprecated in C++23) | defines the type suitable for use as uninitialized storage for all given types (class template)[edit] |
(C++11) | applies type transformations as when passing a function argument by value (class template)[edit] |
(C++20) | combinesstd::remove_cv andstd::remove_reference (class template)[edit] |
(C++11) | conditionallyremoves a function overload or template specialization from overload resolution (class template)[edit] |
(C++11) | chooses one type or another based on compile-time boolean (class template)[edit] |
(C++11) | determines the common type of a group of types (class template)[edit] |
| determines the common reference type of a group of types (class template)[edit] | |
(C++11) | obtains the underlying integer type for a given enumeration type (class template)[edit] |
(C++11)(removed in C++20)(C++17) | deduces the result type of invoking a callable object with a set of arguments (class template)[edit] |
(C++17) | void variadic alias template (alias template)[edit] |
(C++20) | returns the type argument unchanged (class template)[edit] |
(C++20)(C++20) | get the reference type wrapped instd::reference_wrapper (class template)[edit] |
Operations on traits | |
(C++17) | variadic logical AND metafunction (class template)[edit] |
(C++17) | variadic logical OR metafunction (class template)[edit] |
(C++17) | logical NOT metafunction (class template)[edit] |
Functions | |
Member relationships | |
| checks if objects of a type arepointer-interconvertible with the specified subobject of that type (function template)[edit] | |
(C++20) | checks if two specified members correspond to each other in the common initial subsequence of two specified types (function template)[edit] |
Constant evaluation context | |
(C++20) | detects whether the call occurs within a constant-evaluated context (function)[edit] |
(C++26) | checks whether a pointer is within the object's lifetime at compile time (function)[edit] |
namespace std{// helper classtemplate<class T, T v>struct integral_constant; template<bool B>using bool_constant= integral_constant<bool, B>;using true_type= bool_constant<true>;using false_type= bool_constant<false>; // primary type categoriestemplate<class T>struct is_void;template<class T>struct is_null_pointer;template<class T>struct is_integral;template<class T>struct is_floating_point;template<class T>struct is_array;template<class T>struct is_pointer;template<class T>struct is_lvalue_reference;template<class T>struct is_rvalue_reference;template<class T>struct is_member_object_pointer;template<class T>struct is_member_function_pointer;template<class T>struct is_enum;template<class T>struct is_union;template<class T>struct is_class;template<class T>struct is_function; // composite type categoriestemplate<class T>struct is_reference;template<class T>struct is_arithmetic;template<class T>struct is_fundamental;template<class T>struct is_object;template<class T>struct is_scalar;template<class T>struct is_compound;template<class T>struct is_member_pointer; // type propertiestemplate<class T>struct is_const;template<class T>struct is_volatile;template<class T>struct is_trivial;template<class T>struct is_trivially_copyable;template<class T>struct is_standard_layout;template<class T>struct is_empty;template<class T>struct is_polymorphic;template<class T>struct is_abstract;template<class T>struct is_final;template<class T>struct is_aggregate; template<class T>struct is_signed;template<class T>struct is_unsigned;template<class T>struct is_bounded_array;template<class T>struct is_unbounded_array;template<class T>struct is_scoped_enum; template<class T,class...Args>struct is_constructible;template<class T>struct is_default_constructible;template<class T>struct is_copy_constructible;template<class T>struct is_move_constructible; template<class T,class U>struct is_assignable;template<class T>struct is_copy_assignable;template<class T>struct is_move_assignable; template<class T,class U>struct is_swappable_with;template<class T>struct is_swappable; template<class T>struct is_destructible; template<class T,class...Args>struct is_trivially_constructible;template<class T>struct is_trivially_default_constructible;template<class T>struct is_trivially_copy_constructible;template<class T>struct is_trivially_move_constructible; template<class T,class U>struct is_trivially_assignable;template<class T>struct is_trivially_copy_assignable;template<class T>struct is_trivially_move_assignable;template<class T>struct is_trivially_destructible; template<class T,class...Args>struct is_nothrow_constructible;template<class T>struct is_nothrow_default_constructible;template<class T>struct is_nothrow_copy_constructible;template<class T>struct is_nothrow_move_constructible; template<class T,class U>struct is_nothrow_assignable;template<class T>struct is_nothrow_copy_assignable;template<class T>struct is_nothrow_move_assignable; template<class T,class U>struct is_nothrow_swappable_with;template<class T>struct is_nothrow_swappable; template<class T>struct is_nothrow_destructible; template<class T>struct has_virtual_destructor; template<class T>struct has_unique_object_representations; template<class T,class U>struct reference_constructs_from_temporary;template<class T,class U>struct reference_converts_from_temporary; // type property queriestemplate<class T>struct alignment_of;template<class T>struct rank;template<class T,unsigned I=0>struct extent; // type relationstemplate<class T,class U>struct is_same;template<class Base,class Derived>struct is_base_of;template<class Base,class Derived>struct is_virtual_base_of;template<class From,class To>struct is_convertible;template<class From,class To>struct is_nothrow_convertible;template<class T,class U>struct is_layout_compatible;template<class Base,class Derived>struct is_pointer_interconvertible_base_of; template<class Fn,class...ArgTypes>struct is_invocable;template<class R,class Fn,class...ArgTypes>struct is_invocable_r; template<class Fn,class...ArgTypes>struct is_nothrow_invocable;template<class R,class Fn,class...ArgTypes>struct is_nothrow_invocable_r; // const-volatile modificationstemplate<class T>struct remove_const;template<class T>struct remove_volatile;template<class T>struct remove_cv;template<class T>struct add_const;template<class T>struct add_volatile;template<class T>struct add_cv; template<class T>using remove_const_t=typename remove_const<T>::type;template<class T>using remove_volatile_t=typename remove_volatile<T>::type;template<class T>using remove_cv_t=typename remove_cv<T>::type;template<class T>using add_const_t=typename add_const<T>::type;template<class T>using add_volatile_t=typename add_volatile<T>::type;template<class T>using add_cv_t=typename add_cv<T>::type; // reference modificationstemplate<class T>struct remove_reference;template<class T>struct add_lvalue_reference;template<class T>struct add_rvalue_reference; template<class T>using remove_reference_t=typename remove_reference<T>::type;template<class T>using add_lvalue_reference_t=typename add_lvalue_reference<T>::type;template<class T>using add_rvalue_reference_t=typename add_rvalue_reference<T>::type; // sign modificationstemplate<class T>struct make_signed;template<class T>struct make_unsigned; template<class T>using make_signed_t=typename make_signed<T>::type;template<class T>using make_unsigned_t=typename make_unsigned<T>::type; // array modificationstemplate<class T>struct remove_extent;template<class T>struct remove_all_extents; template<class T>using remove_extent_t=typename remove_extent<T>::type;template<class T>using remove_all_extents_t=typename remove_all_extents<T>::type; // pointer modificationstemplate<class T>struct remove_pointer;template<class T>struct add_pointer; template<class T>using remove_pointer_t=typename remove_pointer<T>::type;template<class T>using add_pointer_t=typename add_pointer<T>::type; // other transformationstemplate<class T>struct type_identity;template<class T>struct remove_cvref;template<class T>struct decay;template<bool,class T=void>struct enable_if;template<bool,class T,class F>struct conditional;template<class...T>struct common_type;template<class T,class U,template<class>class TQual,template<class>class UQual>struct basic_common_reference{};template<class...T>struct common_reference;template<class T>struct underlying_type;template<class Fn,class...ArgTypes>struct invoke_result;template<class T>struct unwrap_reference;template<class T>struct unwrap_ref_decay; template<class T>using type_identity_t=typename type_identity<T>::type;template<class T>using remove_cvref_t=typename remove_cvref<T>::type;template<class T>using decay_t=typename decay<T>::type;template<bool b,class T=void>using enable_if_t=typename enable_if<b, T>::type;template<bool b,class T,class F>using conditional_t=typename conditional<b, T, F>::type;template<class...T>using common_type_t=typename common_type<T...>::type;template<class...T>using common_reference_t=typename common_reference<T...>::type;template<class T>using underlying_type_t=typename underlying_type<T>::type;template<class Fn,class...ArgTypes>using invoke_result_t=typename invoke_result<Fn, ArgTypes...>::type;template<class T>using unwrap_reference_t=typename unwrap_reference<T>::type;template<class T>using unwrap_ref_decay_t=typename unwrap_ref_decay<T>::type;template<class...>using void_t=void; // logical operator traitstemplate<class...B>struct conjunction;template<class...B>struct disjunction;template<class B>struct negation; // primary type categoriestemplate<class T>inlineconstexprbool is_void_v= is_void<T>::value;template<class T>inlineconstexprbool is_null_pointer_v= is_null_pointer<T>::value;template<class T>inlineconstexprbool is_integral_v= is_integral<T>::value;template<class T>inlineconstexprbool is_floating_point_v= is_floating_point<T>::value;template<class T>inlineconstexprbool is_array_v= is_array<T>::value;template<class T>inlineconstexprbool is_pointer_v= is_pointer<T>::value;template<class T>inlineconstexprbool is_lvalue_reference_v= is_lvalue_reference<T>::value;template<class T>inlineconstexprbool is_rvalue_reference_v= is_rvalue_reference<T>::value;template<class T>inlineconstexprbool is_member_object_pointer_v= is_member_object_pointer<T>::value;template<class T>inlineconstexprbool is_member_function_pointer_v= is_member_function_pointer<T>::value;template<class T>inlineconstexprbool is_enum_v= is_enum<T>::value;template<class T>inlineconstexprbool is_union_v= is_union<T>::value;template<class T>inlineconstexprbool is_class_v= is_class<T>::value;template<class T>inlineconstexprbool is_function_v= is_function<T>::value; // composite type categoriestemplate<class T>inlineconstexprbool is_reference_v= is_reference<T>::value;template<class T>inlineconstexprbool is_arithmetic_v= is_arithmetic<T>::value;template<class T>inlineconstexprbool is_fundamental_v= is_fundamental<T>::value;template<class T>inlineconstexprbool is_object_v= is_object<T>::value;template<class T>inlineconstexprbool is_scalar_v= is_scalar<T>::value;template<class T>inlineconstexprbool is_compound_v= is_compound<T>::value;template<class T>inlineconstexprbool is_member_pointer_v= is_member_pointer<T>::value; // type propertiestemplate<class T>inlineconstexprbool is_const_v= is_const<T>::value;template<class T>inlineconstexprbool is_volatile_v= is_volatile<T>::value;template<class T>inlineconstexprbool is_trivial_v= is_trivial<T>::value;template<class T>inlineconstexprbool is_trivially_copyable_v= is_trivially_copyable<T>::value;template<class T>inlineconstexprbool is_standard_layout_v= is_standard_layout<T>::value;template<class T>inlineconstexprbool is_empty_v= is_empty<T>::value;template<class T>inlineconstexprbool is_polymorphic_v= is_polymorphic<T>::value;template<class T>inlineconstexprbool is_abstract_v= is_abstract<T>::value;template<class T>inlineconstexprbool is_final_v= is_final<T>::value;template<class T>inlineconstexprbool is_aggregate_v= is_aggregate<T>::value;template<class T>inlineconstexprbool is_signed_v= is_signed<T>::value;template<class T>inlineconstexprbool is_unsigned_v= is_unsigned<T>::value;template<class T>inlineconstexprbool is_bounded_array_v= is_bounded_array<T>::value;template<class T>inlineconstexprbool is_unbounded_array_v= is_unbounded_array<T>::value;template<class T>inlineconstexprbool is_scoped_enum_v= is_scoped_enum<T>::value;template<class T,class...Args>inlineconstexprbool is_constructible_v= is_constructible<T, Args...>::value;template<class T>inlineconstexprbool is_default_constructible_v= is_default_constructible<T>::value;template<class T>inlineconstexprbool is_copy_constructible_v= is_copy_constructible<T>::value;template<class T>inlineconstexprbool is_move_constructible_v= is_move_constructible<T>::value;template<class T,class U>inlineconstexprbool is_assignable_v= is_assignable<T, U>::value;template<class T>inlineconstexprbool is_copy_assignable_v= is_copy_assignable<T>::value;template<class T>inlineconstexprbool is_move_assignable_v= is_move_assignable<T>::value;template<class T,class U>inlineconstexprbool is_swappable_with_v= is_swappable_with<T, U>::value;template<class T>inlineconstexprbool is_swappable_v= is_swappable<T>::value;template<class T>inlineconstexprbool is_destructible_v= is_destructible<T>::value;template<class T,class...Args>inlineconstexprbool is_trivially_constructible_v= is_trivially_constructible<T, Args...>::value;template<class T>inlineconstexprbool is_trivially_default_constructible_v= is_trivially_default_constructible<T>::value;template<class T>inlineconstexprbool is_trivially_copy_constructible_v= is_trivially_copy_constructible<T>::value;template<class T>inlineconstexprbool is_trivially_move_constructible_v= is_trivially_move_constructible<T>::value;template<class T,class U>inlineconstexprbool is_trivially_assignable_v= is_trivially_assignable<T, U>::value;template<class T>inlineconstexprbool is_trivially_copy_assignable_v= is_trivially_copy_assignable<T>::value;template<class T>inlineconstexprbool is_trivially_move_assignable_v= is_trivially_move_assignable<T>::value;template<class T>inlineconstexprbool is_trivially_destructible_v= is_trivially_destructible<T>::value;template<class T,class...Args>inlineconstexprbool is_nothrow_constructible_v= is_nothrow_constructible<T, Args...>::value;template<class T>inlineconstexprbool is_nothrow_default_constructible_v= is_nothrow_default_constructible<T>::value;template<class T>inlineconstexprbool is_nothrow_copy_constructible_v= is_nothrow_copy_constructible<T>::value;template<class T>inlineconstexprbool is_nothrow_move_constructible_v= is_nothrow_move_constructible<T>::value;template<class T,class U>inlineconstexprbool is_nothrow_assignable_v= is_nothrow_assignable<T, U>::value;template<class T>inlineconstexprbool is_nothrow_copy_assignable_v= is_nothrow_copy_assignable<T>::value;template<class T>inlineconstexprbool is_nothrow_move_assignable_v= is_nothrow_move_assignable<T>::value;template<class T,class U>inlineconstexprbool is_nothrow_swappable_with_v= is_nothrow_swappable_with<T, U>::value;template<class T>inlineconstexprbool is_nothrow_swappable_v= is_nothrow_swappable<T>::value;template<class T>inlineconstexprbool is_nothrow_destructible_v= is_nothrow_destructible<T>::value;template<class T>inlineconstexprbool has_virtual_destructor_v= has_virtual_destructor<T>::value;template<class T>inlineconstexprbool has_unique_object_representations_v= has_unique_object_representations<T>::value;template<class T,class U>inlineconstexprbool reference_constructs_from_temporary_v= reference_constructs_from_temporary<T, U>::value;template<class T,class U>inlineconstexprbool reference_converts_from_temporary_v= reference_converts_from_temporary<T, U>::value; // type property queriestemplate<class T>inlineconstexpr size_t alignment_of_v= alignment_of<T>::value;template<class T>inlineconstexpr size_t rank_v= rank<T>::value;template<class T,unsigned I=0>inlineconstexpr size_t extent_v= extent<T, I>::value; // type relationstemplate<class T,class U>inlineconstexprbool is_same_v= is_same<T, U>::value;template<class Base,class Derived>inlineconstexprbool is_base_of_v= is_base_of<Base, Derived>::value;template<class Base,class Derived>inlineconstexprbool is_virtual_base_of_v= is_virtual_base_of<Base, Derived>::value;template<class From,class To>inlineconstexprbool is_convertible_v= is_convertible<From, To>::value;template<class From,class To>inlineconstexprbool is_nothrow_convertible_v= is_nothrow_convertible<From, To>::value;template<class T,class U>inlineconstexprbool is_layout_compatible_v= is_layout_compatible<T, U>::value;template<class Base,class Derived>inlineconstexprbool is_pointer_interconvertible_base_of_v= is_pointer_interconvertible_base_of<Base, Derived>::value;template<class Fn,class...ArgTypes>inlineconstexprbool is_invocable_v= is_invocable<Fn, ArgTypes...>::value;template<class R,class Fn,class...ArgTypes>inlineconstexprbool is_invocable_r_v= is_invocable_r<R, Fn, ArgTypes...>::value;template<class Fn,class...ArgTypes>inlineconstexprbool is_nothrow_invocable_v= is_nothrow_invocable<Fn, ArgTypes...>::value;template<class R,class Fn,class...ArgTypes>inlineconstexprbool is_nothrow_invocable_r_v= is_nothrow_invocable_r<R, Fn, ArgTypes...>::value; // logical operator traitstemplate<class...B>inlineconstexprbool conjunction_v= conjunction<B...>::value;template<class...B>inlineconstexprbool disjunction_v= disjunction<B...>::value;template<class B>inlineconstexprbool negation_v= negation<B>::value; // member relationshipstemplate<class S,class M>constexprbool is_pointer_interconvertible_with_class(M S::*m)noexcept;template<class S1,class S2,class M1,class M2>constexprbool is_corresponding_member(M1 S1::*m1, M2 S2::*m2)noexcept; // constant evaluation contextconstexprbool is_constant_evaluated()noexcept; constevalbool is_within_lifetime(constauto*)noexcept;}
namespace std{template<class T, T v>struct integral_constant{staticconstexpr T value= v;using value_type= T;using type= integral_constant<T, v>;constexpr operator value_type()constnoexcept{return value;}constexpr value_type operator()()constnoexcept{return value;}};}
