type_traits

Compile-time type information. More...

Classes
struct	has_virtual_destructor< T >
	https://en.cppreference.com/w/cpp/types/has_virtual_destructor More...
struct	invoke_result< F, ArgTypes >
	Deduces the return type of an INVOKE expression at compile time. More...
struct	is_nothrow_swappable_with< T, U >
struct	make_signed< Type >
	If T is an integral (except bool) or enumeration type, provides the member typedef type which is the unsigned integer type corresponding to T, with the same cv-qualifiers. If T is signed or unsigned char, short, int, long, long long; the unsigned type from this list corresponding to T is provided. The behavior of a program that adds specializations for make_signed is undefined. More...
struct	remove_pointer< T >
	Provides the member typedef type which is the type pointed to by T, or, if T is not a pointer, then type is the same as T. The behavior of a program that adds specializations for remove_pointer is undefined. More...
struct	remove_reference< T >
struct	remove_reference< T & >
struct	remove_reference< T && >
struct	remove_volatile< Type >
	Provides the member typedef type which is the same as T, except that its topmost cv-qualifiers are removed. Removes the topmost volatile. More...
struct	type_identity< T >
struct	underlying_type< T >
	The underlying type of an enum. More...

Typedefs
template<typename F, typename... ArgTypes>
using	invoke_result_t = typename invoke_result<F, ArgTypes...>::type
template<typename T>
using	remove_reference_t = typename remove_reference<T>::type
template<typename T>
using	remove_volatile_t = typename remove_volatile<T>::type
template<unsigned long long N>
using	smallest_size_t
	Smallest unsigned integer type that can represent values in the range [0, N].
template<typename T>
using	type_identity_t = typename type_identity<T>::type
template<typename T>
using	underlying_type_t = typename underlying_type<T>::type
template<typename...>
using	void_t = void

Variables
template<typename T>
constexpr auto	has_virtual_destructor_v = __has_virtual_destructor(T)
template<typename T, typename U>
constexpr bool	is_nothrow_swappable_with_v = is_nothrow_swappable_with<T, U>::value

Detailed Description

Compile-time type information.

Typedef Documentation

invoke_result_t

template<typename F, typename... ArgTypes>

template<typename F, typename... ArgTypes>

using invoke_result_t = typename invoke_result<F, ArgTypes...>::type

related

remove_reference_t

template<typename T>

using remove_reference_t = typename remove_reference<T>::type

Examples

utility.cpp.

remove_volatile_t

template<typename T>

using remove_volatile_t = typename remove_volatile<T>::type

smallest_size_t

template<unsigned long long N>

using smallest_size_t

Initial value:

 
            conditional_t<(N < static_cast<unsigned char>(-1)),     unsigned char,
            conditional_t<(N < static_cast<unsigned short>(-1)),    unsigned short,
            conditional_t<(N < static_cast<unsigned int>(-1)),      unsigned int,
            conditional_t<(N < static_cast<unsigned long>(-1)),     unsigned long,
                                                                    unsigned long long>>>>

Smallest unsigned integer type that can represent values in the range [0, N].

type_identity_t

template<typename T>

using type_identity_t = typename type_identity<T>::type

underlying_type_t

template<typename T>

using underlying_type_t = typename underlying_type<T>::type

void_t

template<typename...>

using void_t = void

Variable Documentation

has_virtual_destructor_v

template<typename T>

template<typename T>

auto has_virtual_destructor_v = __has_virtual_destructor(T)

related

is_nothrow_swappable_with_v

template<typename T, typename U>

template<typename T, typename U>

bool is_nothrow_swappable_with_v = is_nothrow_swappable_with<T, U>::value

related