<type_traits>

Definiuje szablony umożliwiające stałych kompilacji, informacje o właściwościach swoje argumenty typu.

#include <type_traits>

Uwagi

Element predykat typu jest szablon, który ma co najmniej dwóch argumentów typu.Gdy predykatem typu prawdziwe, publicznie pochodzi, bezpośrednio lub pośrednio, z true_type — Typedef.Gdy predykatem typu przechowuje false, publicznie pochodzi, bezpośrednio lub pośrednio, z false_type — Typedef.

Element modyfikator typu jest szablon, który ma co najmniej jeden szablon argumentów i ma jeden członek w następujący sposób:

• typedef modified-type type;

Element typu kwerendy jest szablon, który ma co najmniej jeden szablon argumentów.Typ zapytania jest uzyskiwany publicznie, bezpośrednio lub pośrednio, z integral_constant<std::size_t, value>.Przechowuje wartość, która została przekazana jako argument value.

Alias szablony

Szablony alias dla typename foo<T>::type podano, gdzie "foo" ma nazwę klasy szablonu.Na przykład add_const szablonu alias dla jego typu add_const_t, zdefiniowany jako:

template<class T>
    using add_const_t = typename add_const<T>::type;

add_const_t	aligned_storage_t	make_signed_t	remove_pointer_t
add_cv_t	aligned_union_t	make_unsigned_t	remove_reference_t
add_lvalue_reference_t	common_type_t	remove_all_extents_t	remove_volatile_t
add_pointer_t	conditional_t	remove_const_t	result_of_t
add_rvalue_reference_t	decay_t	remove_cv_t	underlying_type_t
add_volatile_t	enable_if_t	remove_extent_t

Klasy

add_const	Sprawia, że const typu z typu.
add_cv	Sprawia, że const/volatile typu z typu.
add_pointer	Sprawia, że wskaźnik na typ z typu.
add_reference	Odnosi się do typu z typu.
add_volatile	Sprawia, że volatile typu z typu.
aligned_storage	Tworzy odpowiednio wyrównany typ.
alignment_of	Pobiera wyrównania tekstu.
common_type	Powoduje, że wystąpienie spotykanym typem dwa typy.
warunkowe	Powoduje, że wystąpienie spotykanym typem dwa typy.
rozkładu	Sprawia, że typ-reference, innych niż stała lub trwałej lub sprawia, że wskaźnik do typu.
enable_if	Powoduje, że wystąpienie typu lub typ nieokreślony.
extent	Pobiera wymiaru tablicy.
has_nothrow_assign	Testy, czy typ wyjątku przypisanie.
has_nothrow_constructor	Sprawdza, czy typ wyjątku ds domyślny.
has_nothrow_copy	Sprawdza, czy typ wyjątku ds kopiowania.
has_nothrow_copy_constructor	Testy, jeśli typ nie generują ds kopiowania.
has_nothrow_default_constructor	Testy, jeśli typ nie generują ds domyślny.
has_trivial_assign	Sprawdza, czy typ ma trivial przypisuj.
has_trivial_constructor	Sprawdza, czy typ ma konstruktora domyślnego trivial.
has_trivial_copy	Sprawdza, czy typ ma konstruktora trivial kopiowania.
has_trivial_copy_constructor	Testy, jeśli typ ma konstruktora trivial kopiowania.
has_trivial_default_constructor	Testy, jeśli typ ma konstruktora domyślnego trivial.
has_trivial_destructor	Sprawdza, czy typ ma trivial destruktora.
has_virtual_destructor	Sprawdza, czy typ ma destruktora wirtualnego.
is_abstract	Sprawdza, czy typ jest klasa abstrakcyjna.
is_arithmetic	Sprawdza, czy dany typ może przyjmować arytmetycznych.
is_array	Sprawdza, czy typ jest tablicą.
is_base_of	Sprawdza, czy jeden typ jest podstawowe innego.
is_class	Sprawdza, czy typ jest klasą.
is_compound	Sprawdza, czy typ nie jest skalarny.
is_const	Sprawdza, czy typ jest stała.
is_convertible	Sprawdza, czy można przekonwertować na inny typ jest jednym z typów.
is_empty	Sprawdza, czy typ jest klasą puste.
is_enum	Sprawdza, czy dany typ może przyjmować wyliczenie.
is_floating_point	Sprawdza, czy dany typ może przyjmować zmiennoprzecinkowych.
is_function	Sprawdza, czy typ jest typ funkcji.
is_fundamental	Sprawdza, czy dany typ może przyjmować void lub arytmetycznych.
is_integral	Sprawdza, czy dany typ może przyjmować zawierającym liczbę całkowitą.
is_lvalue_reference	Sprawdzenie, czy typ jest lvalue odwołania.
is_member_function_pointer	Sprawdza, czy dany typ może przyjmować wskaźnik do funkcji elementu członkowskiego.
is_member_object_pointer	Sprawdza, czy dany typ może przyjmować wskaźnik do obiektu elementu członkowskiego.
is_member_pointer	Sprawdza, czy dany typ może przyjmować wskaźnik do elementu członkowskiego.
is_object	Sprawdza, czy typ jest typ obiektu.
is_pod	Sprawdza, czy dany typ może przyjmować POD.
is_pointer	Sprawdza, czy dany typ może przyjmować wskaźnik.
is_polymorphic	Sprawdza, czy typ ma funkcję wirtualną.
is_reference	Sprawdza, czy typ jest odwołanie.
is_rvalue_reference	Sprawdzenie, czy typ jest rvalue odwołania.
is_same	Sprawdza, czy dwa typy są takie same.
is_scalar	Sprawdza, czy dany typ może przyjmować skalarną.
is_signed	Sprawdza, czy typ jest liczba całkowita ze znakiem.
is_standard_layout	Testy, jeśli typ standardowego układu.
is_union	Sprawdza, czy typ jest związkiem.
is_unsigned	Sprawdza, czy typ jest liczbą całkowitą bez znaku.
is_void	Sprawdza, czy dany typ może przyjmować void.
is_volatile	Sprawdza, czy dany typ może przyjmować lotnych.
make_signed	Powoduje, że typ lub najmniejszą podpisem wpisz większą niż może być mniejszy niż rozmiar na typ.
make_unsigned	Powoduje, że typ lub najmniejszą niepodpisanych wpisz większą niż może być mniejszy niż rozmiar na typ.
rząd	Pobiera liczbę wymiarów tablicy.
remove_all_extents	Powoduje, że typ bez tablicy typu tablicy.
remove_const	Powoduje, że typ bez stała z typu.
remove_cv	Powoduje, że typ stała/trwałej z typu.
remove_extent	Tworzy typ elementu z typu tablicy.
remove_pointer	Powoduje, że typ z wskaźnik do typu.
remove_reference	Powoduje, że typ-reference z typu.
remove_volatile	Powoduje, że typ trwałej z typu.
integral_constant	Powoduje, że stałej z typ i wartość.

Typedefs

false_type	Przechowuje stałą o wartości false.
true_type	Przechowuje stałą o wartości true.

Zobacz też

Informacje

<functional>