Defined in header <type_traits> template< class T > struct is_trivial; (since C++11) If T is TrivialType (that is, a scalar type, a trivially copyable class with a trivial default constructor, or array of such type/class, possibly cv-qualified), provides the member constant value equal true. For any other type, value is false. The behavior is undefined if std::remove_all_extents_t<T> is an incomplete type and not (possibly cv-qualified) void. Template paramete

Defined in header <type_traits> template< class T > struct is_trivially_copyable; (since C++11) If T is a TriviallyCopyable type, provides the member constant value equal true. For any other type, value is false. The only trivially copyable types are scalar types, trivially copyable classes, and arrays of such types/classes (possibly const-qualified, but not volatile-qualified). A trivially copyable class is a class that. Has no non-trivial copy constructors (this al

Defined in header <type_traits> template< class T > struct is_standard_layout; (since C++11) If T is a standard layout type (that is, a scalar type, a standard-layout class, or an array of such type/class, possibly cv-qualified), provides the member constant value equal true. For any other type, value is false. A standard-layout class is a class that satisfies StandardLayoutType. The behavior is undefined if std::remove_all_extents_t<T> is an incomplete type and

Defined in header <type_traits> template< class T > struct is_union; (since C++11) Checks whether T is an union type. Provides the member constant value which is equal to true, if T is an union type . Otherwise, value is equal to false. Template parameters T - a type to check Helper variable template template< class T > constexpr bool is_union_v = is_union<T>::value; (since C++17) Inherited from std::integral_constant Member co

Defined in header <algorithm> template< class ForwardIt > bool is_sorted( ForwardIt first, ForwardIt last ); (1) (since C++11) template< class ForwardIt, class Compare > bool is_sorted( ForwardIt first, ForwardIt last, Compare comp ); (2) (since C++11) Checks if the elements in range [first, last) are sorted in ascending order. The first version of the function uses operator< to compare the elements, the second uses the given comparison function comp.

Defined in header <algorithm> template< class ForwardIt > ForwardIt is_sorted_until( ForwardIt first, ForwardIt last ); (1) (since C++11) template< class ForwardIt, class Compare > ForwardIt is_sorted_until( ForwardIt first, ForwardIt last, Compare comp ); (2) (since C++11) Examines the range [first, last) and finds the largest range beginning at first in which the elements are sorted in ascending order. The first version of the

Defined in header <type_traits> template< class T, class U > struct is_same; (since C++11) If T and U name the same type with the same const-volatile qualifications, provides the member constant value equal to true. Otherwise value is false. Helper variable template template< class T, class U > constexpr bool is_same_v = is_same<T, U>::value; (since C++17) Inherited from std::integral_constant Member constants value [static] true if

Defined in header <type_traits> template< class T > struct is_signed; (since C++11) If T is a signed arithmetic type, provides the member constant value equal true. For any other type, value is false. Template parameters T - a type to check Helper variable template template< class T > constexpr bool is_signed_v = is_signed<T>::value; (since C++17) Inherited from std::integral_constant Member constants value [static] true

Defined in header <type_traits> template< class T > struct is_scalar; (since C++11) If T is a scalar type (that is, arithmetic type, enumeration type, pointer, pointer to member, or std::nullptr_t, including any cv-qualified variants), provides the member constant value equal true. For any other type, value is false. Template parameters T - a type to check Helper variable template template< class T > constexpr bool is_scalar_v = is_scalar<T&g

Defined in header <type_traits> template< class T > struct is_pointer; (since C++11) Checks whether T is a pointer to object or a pointer to function (but not a pointer to member/member function). Provides the member constant value which is equal to true, if T is a object/function pointer type. Otherwise, value is equal to false. Template parameters T - a type to check Helper variable template template< class T > constexpr bool is_pointer_v = is