<type_traits>

Definiuje szablony dla stałych czasu kompilacji, które dają informacje o właściwościach ich argumentów typu lub tworzą przekształcone typy.

Składnia

#include <type_traits>

Uwagi

Klasy i szablony w <type_traits> są używane do obsługi wnioskowania, klasyfikacji i przekształcania typów w czasie kompilacji. Są one również używane do wykrywania błędów związanych z typem i ułatwienia optymalizacji kodu ogólnego. Jednoargumentowe cechy typu opisują właściwość typu, cechy typów binarnych opisują relację między typami, a cechy przekształcania modyfikują właściwość typu.

Klasa integral_constant pomocnika i jego specjalizacje true_type szablonów oraz false_type tworzą klasy bazowe dla predykatów typów. Predykat typu to szablon, który przyjmuje co najmniej jeden argument typu. Gdy predykat typu ma wartość true, jest publicznie uzyskiwany bezpośrednio lub pośrednio z true_type. Gdy predykat typu przechowuje wartość false, jest publicznie uzyskiwany bezpośrednio lub pośrednio z false_type.

Modyfikator typu lub cecha przekształcania to szablon, który przyjmuje co najmniej jeden argument szablonu i ma jeden element członkowski , typektóry jest synonimem zmodyfikowanego typu.

Szablony aliasów

Aby uprościć wyrażenia cech typów, udostępniane są szablony aliasówtypename some_trait<T>::type, w których some_trait jest nazwą szablonu klasy. Na przykład add_const ma szablon aliasu dla jego typu , add_const_tzdefiniowany jako:

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

Są to podane aliasy dla type członków:

add_const_t
add_cv_t
add_lvalue_reference_t
add_pointer_t
add_rvalue_reference_t
add_volatile_t
aligned_storage_t
aligned_union_t\

common_type_t
conditional_t
decay_t
enable_if_t
invoke_result_t
make_signed_t
make_unsigned_t
remove_all_extents_t\

remove_const_t
remove_cv_t
remove_extent_t
remove_pointer_t
remove_reference_t
remove_volatile_t
result_of_t
underlying_type_t\

Klasy

Klasy i definicje typów pomocnika

Nazwa/nazwisko	opis
integral_constant	Sprawia, że stała całkowita z typu i wartości.
true_type	Przechowuje stałą całkowitą z wartością true.
false_type	Przechowuje stałą całkowitą z wartością false.

Kategorie typów podstawowych

Nazwa/nazwisko	opis
is_void	Sprawdza, czy typ to void.
is_null_pointer	Sprawdza, czy typ to std::nullptr_t.
is_integral	Sprawdza, czy typ jest całkowity.
is_floating_point	Sprawdza, czy typ jest zmiennoprzecinkowa.
is_array	Sprawdza, czy typ jest tablicą.
is_pointer	Sprawdza, czy typ jest wskaźnikiem.
is_lvalue_reference	Sprawdza, czy typ jest odwołaniem lvalue.
is_rvalue_reference	Sprawdza, czy typ jest odwołaniem rvalue.
is_member_object_pointer	Sprawdza, czy typ jest wskaźnikiem do obiektu członkowskiego.
is_member_function_pointer	Sprawdza, czy typ jest wskaźnikiem do funkcji składowej.
is_enum	Sprawdza, czy typ jest wyliczeniem.
is_union	Sprawdza, czy typ jest unią.
is_class	Sprawdza, czy typ jest klasą.
is_function	Sprawdza, czy typ jest typem funkcji.

Kategorie typów złożonych

Nazwa/nazwisko	opis
is_reference	Sprawdza, czy typ jest odwołaniem.
is_arithmetic	Sprawdza, czy typ jest arytmetyczny.
is_fundamental	Sprawdza, czy typ jest void , czy arytmetyczny.
is_object	Sprawdza, czy typ jest typem obiektu.
is_scalar	Sprawdza, czy typ jest skalarny.
is_compound	Sprawdza, czy typ nie jest skalarny.
is_member_pointer	Sprawdza, czy typ jest wskaźnikiem do elementu członkowskiego.

Właściwości typu

Nazwa/nazwisko	opis
is_const	Sprawdza, czy typ to const.
is_volatile	Sprawdza, czy typ to volatile.
is_trivial	Sprawdza, czy typ jest trywialny.
is_trivially_copyable	Sprawdza, czy typ jest trywialnie kopiowalny.
is_standard_layout	Sprawdza, czy typ jest standardowym typem układu.
is_pod	Sprawdza, czy typ jest zasobnikiem.
is_literal_type	Sprawdza, czy typ może być zmienną constexpr , czy używany w constexpr funkcji.
is_empty	Sprawdza, czy typ jest pustą klasą.
is_polymorphic	Sprawdza, czy typ jest klasą polimorficzną.
is_abstract	Sprawdza, czy typ jest klasą abstrakcyjną.
is_final	Sprawdza, czy typ jest typem klasy oznaczonym .final
is_aggregate
is_signed	Sprawdza, czy typ jest podpisaną liczbą całkowitą.
is_unsigned	Sprawdza, czy typ jest niepodpisaną liczbą całkowitą.
is_constructible	Sprawdza, czy typ jest skonstruowany przy użyciu określonych typów argumentów.
is_default_constructible	Sprawdza, czy typ ma konstruktor domyślny.
is_copy_constructible	Sprawdza, czy typ ma konstruktor kopiujący.
is_move_constructible	Sprawdza, czy typ ma konstruktor przenoszenia.
is_assignable	Sprawdza, czy pierwszy typ może mieć przypisaną wartość drugiego typu.
is_copy_assignable	Sprawdza, czy typ może mieć przypisaną wartość odwołania const typu.
is_move_assignable	Sprawdza, czy typ może być przypisany do odwołania rvalue typu.
is_swappable
is_swappable_with
is_destructible	Sprawdza, czy typ jest niezniszczalny.
is_trivially_constructible	Sprawdza, czy typ nie używa operacji innych niż trywialne podczas konstruowania przy użyciu określonych typów.
is_trivially_default_constructible	Sprawdza, czy typ nie używa operacji nietrywialnych podczas konstruowania domyślnego.
is_trivially_copy_constructible	Sprawdza, czy typ nie używa operacji nietrywialnych podczas tworzenia kopii.
is_trivially_move_constructible	Sprawdza, czy typ nie używa operacji nietrywialnych podczas konstruowania przenoszenia.
is_trivially_assignable	Sprawdza, czy typy są przypisywane, a przypisanie nie używa operacji innych niż trywialne.
is_trivially_copy_assignable	Sprawdza, czy typ jest przypisywany do kopiowania, a przypisanie nie używa operacji innych niż trywialne.
is_trivially_move_assignable	Sprawdza, czy typ jest przypisywany, a przypisanie nie używa operacji innych niż trywialne.
is_trivially_destructible	Sprawdza, czy typ jest destrukcyjny, a destruktor nie używa operacji innych niż trywialne.
is_nothrow_constructible	Sprawdza, czy typ jest skonstruowany i czy nie jest zgłaszany podczas konstruowania przy użyciu określonych typów.
is_nothrow_default_constructible	Sprawdza, czy typ jest domyślnie skonstruowany i jest znany, aby nie zgłaszać podczas konstruowania domyślnego.
is_nothrow_copy_constructible	Sprawdza, czy typ jest kopiowalny, a konstruktor kopiowania nie jest zgłaszany.
is_nothrow_move_constructible	Sprawdza, czy typ jest konstruowalny, a konstruktor przenoszenia nie jest zgłaszany.
is_nothrow_assignable	Sprawdza, czy typ można przypisać przy użyciu określonego typu, a przypisanie nie jest zgłaszane.
is_nothrow_copy_assignable	Sprawdza, czy typ jest przypisywany do kopiowania, a przypisanie jest znane, aby nie zgłaszać.
is_nothrow_move_assignable	Sprawdza, czy typ jest przypisywany, a przypisanie jest znane, aby nie zgłaszać.
is_nothrow_swappable
is_nothrow_swappable_with
is_nothrow_destructible	Sprawdza, czy typ jest destruktorem, a destruktor nie jest zgłaszany.
has_virtual_destructor	Sprawdza, czy typ ma destruktor wirtualny.
has_unique_object_representations
is_invocable	Sprawdza, czy można wywołać typ wywoływany przy użyciu określonych typów argumentów. Dodano w języku C++17.
is_invocable_r	Sprawdza, czy można wywołać typ wywoływany przy użyciu określonych typów argumentów, a wynik jest konwertowany na określony typ. Dodano w języku C++17.
is_nothrow_invocable	Sprawdza, czy można wywołać typ wywoływany przy użyciu określonych typów argumentów i nie jest znany z zgłaszania wyjątków. Dodano w języku C++17.
is_nothrow_invocable_r	Sprawdza, czy można wywołać typ wywołujący przy użyciu określonych typów argumentów i jest znany, aby nie zgłaszać wyjątków, a wynik jest konwertowany na określony typ. Dodano w języku C++17.

Zapytania dotyczące właściwości typu

Nazwa/nazwisko	opis
alignment_of	Pobiera wyrównanie typu.
ranga	Pobiera liczbę wymiarów tablicy.
rozciągłość	Pobiera liczbę elementów w określonym wymiarze tablicy.

Relacje typów

Nazwa/nazwisko	opis
is_same	Sprawdza, czy dwa typy są takie same.
is_base_of	Sprawdza, czy jeden typ jest podstawą innego.
is_convertible	Sprawdza, czy jeden typ jest konwertowany na inny.

Modyfikacje const-volatile

Nazwa/nazwisko	opis
add_const	const Tworzy typ z typu.
add_volatile	volatile Tworzy typ z typu.
add_cv	const volatile Tworzy typ z typu.
remove_const	Tworzy typ inny niż const z typu.
remove_volatile	Tworzy typ nietrwały z typu.
remove_cv	Tworzy typ nietrwały nietrwały z typu.

Modyfikacje odwołań

Nazwa/nazwisko	opis
add_lvalue_reference	Tworzy odwołanie do typu z typu.
add_rvalue_reference	Tworzy odwołanie rvalue do typu z typu
remove_reference	Tworzy typ inny niż odwołanie z typu.

Podpisywanie modyfikacji

Nazwa/nazwisko	opis
make_signed	Tworzy typ, jeśli jest podpisany, lub najmniejszy typ ze znakiem większym lub równym typowi.
make_unsigned	Tworzy typ, jeśli niepodpisany lub najmniejszy niepodpisany typ większy lub równy typowi.

Modyfikacje tablicy

Nazwa/nazwisko	opis
remove_all_extents	Tworzy typ inny niż tablica z typu tablicy.
remove_extent	Tworzy typ elementu z typu tablicy.

Modyfikacje wskaźnika

Nazwa/nazwisko	opis
add_pointer	Tworzy wskaźnik do typu z typu.
remove_pointer	Tworzy typ z wskaźnika do typu.

Inne przekształcenia

Nazwa/nazwisko	opis
aligned_storage	Przydziela niezainicjowaną pamięć dla wyrównanego typu.
aligned_union	Przydziela niezainicjowaną pamięć dla wyrównanej unii z nietrygalnym konstruktorem lub destruktorem.
common_type	Tworzy wspólny typ wszystkich typów pakietu parametrów.
warunkowy	Jeśli warunek ma wartość true, tworzy pierwszy określony typ, w przeciwnym razie drugi określony typ.
gnicie	Tworzy typ przekazywany przez wartość. Tworzy typ nieprzywoływały, nietrwały lub nietrwały albo wprowadza wskaźnik do typu.
enable_if	Jeśli warunek ma wartość true, generuje określony typ, w przeciwnym razie nie ma typu.
invoke_result	Określa typ zwracany typu wywoływanego, który przyjmuje określone typy argumentów. Dodano w języku C++17.
result_of	Określa typ zwracany typu wywoływanego, który przyjmuje określone typy argumentów. Dodano w języku C++14 przestarzałym w języku C++17.
underlying_type	Tworzy podstawowy typ całkowity dla typu wyliczenia.

Cechy operatorów logicznych

Nazwa/nazwisko	opis
koniunkcja
alternatywa
negacja

Zobacz też

<funkcjonalny>