Defined in header <type_traits> template< class T > struct is_member_pointer; (since C++11) If T is pointer to non-static member object or a pointer to non-static member function, 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_member_pointer_v = is_member_pointer<T>::value; (since C++17) Inheri

Defined in header <type_traits> template< class T > struct is_move_assignable; (1) (since C++11) template< class T > struct is_trivially_move_assignable; (2) (since C++11) template< class T > struct is_nothrow_move_assignable; (3) (since C++11) 1) If T is not a referenceable type (i.e., possibly cv-qualified void or a function type with a cv-qualifier-seq or a ref-qualifier), provides a member constant value equal to false. Otherwise, provides

Defined in header <type_traits> template< class T > struct is_member_object_pointer; (since C++11) Checks whether T is a non-static member object. Provides the member constant value which is equal to true, if T is a non-static member object type. Otherwise, value is equal to false. Template parameters T - a type to check Helper variable template template< class T > constexpr bool is_member_object_pointer_v = is_member_object_pointer<T>::va

Defined in header <type_traits> template< class T > struct is_member_function_pointer; (since C++11) Checks whether T is a non-static member function pointer. Provides the member constant value which is equal to true, if T is a non-static member 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_member_function_pointer_v = is_member_fun

Defined in header <type_traits> template< class T > struct is_literal_type; (since C++11) If T satisfies all requirements of LiteralType, 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 parameters T - a type to check Helper variable template template< class T > constexpr bool is_l

Defined in header <type_traits> template< class T > struct is_lvalue_reference; (since C++11) Checks whether T is a lvalue reference type. Provides the member constant value which is equal to true, if T is a lvalue reference type. Otherwise, value is equal to false. Template parameters T - a type to check Helper variable template template< class T > constexpr bool is_lvalue_reference_v = is_lvalue_reference<T>::value; (since C++17)

Defined in header <algorithm> template< class RandomIt > bool is_heap( RandomIt first, RandomIt last ); (1) (since C++11) template< class RandomIt, class Compare > bool is_heap( RandomIt first, RandomIt last, Compare comp ); (2) (since C++11) Checks if the elements in range [first, last) are a max heap. The first version of is_heap uses operator< to compare elements, whereas the second uses the given comparison function comp. Parameters first, last

Defined in header <type_traits> template< class T > struct is_integral; (since C++11) Checks whether T is an integral type. Provides the member constant value which is equal to true, if T is the type bool, char, char16_t, char32_t, wchar_t, short, int, long, long long, or any implementation-defined extended integer types, including any signed, unsigned, and cv-qualified variants. Otherwise, value is equal to false. Template parameters T - a type to check

Defined in header <type_traits> template< class T > struct is_fundamental; (since C++11) If T is a fundamental type (that is, arithmetic type, void, or nullptr_t), 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_fundamental_v = is_fundamental<T>::value; (since C++17) Inherited from std::integra

Defined in header <algorithm> template< class RandomIt > RandomIt is_heap_until( RandomIt first, RandomIt last ); (1) (since C++11) template< class RandomIt, class Compare > RandomIt is_heap_until( RandomIt first, RandomIt last, Compare comp ); (2) (since C++11) Examines the range [first, last) and finds the largest range beginning at first which is a max heap. The first version of the function uses operator< to compare the elements, the second uses the