<type_traits>

Articolo
02/19/2013

Definisce i modelli che forniscono costanti in fase di compilazione che forniscono informazioni sulle proprietà dei relativi argomenti di tipo.

#include <type_traits>

Note

A predicato di tipo è un modello che accetta uno o due argomenti di tipo.Quando un predicato di tipo vale, pubblicamente deriva, direttamente o indirettamente, da true_type Typedef.Quando un predicato di tipo contiene false, pubblicamente deriva, direttamente o indirettamente, da false_type Typedef.

A modificatore di tipo è un modello che accetta uno o più argomenti di template e ha un membro, come illustrato di seguito:

typedef modified-type type;

A query di tipo è un modello che accetta uno o più argomenti di modello.Una query di tipo pubblico derivata, direttamente o indirettamente, da integral_constant<std::size_t, value>.Contiene il valore che viene passato come argomento value.

Classi

add_const	Consente di const tipo dal tipo.
add_cv	Consente di const/volatile tipo dal tipo.
add_pointer	Rende il puntatore al tipo dal tipo.
add_reference	Fa riferimento al tipo dal tipo.
add_volatile	Consente di volatile tipo dal tipo.
aligned_storage	Rende tipo adeguatamente allineato.
alignment_of	Ottiene l'allineamento del testo.
common_type	Rende un'istanza del tipo comune di due tipi.
condizionale	Rende un'istanza del tipo comune di due tipi.
decadimento	Rende il tipo non di riferimento, non const o non volatile o rende un puntatore al tipo.
enable_if	Rende un'istanza del tipo o un tipo non definito.
misura	Ottiene una dimensione di matrice.
has_nothrow_assign	Test se il tipo non genera assegna.
has_nothrow_constructor	Verifica se il tipo non viene generata sulla costruzione predefinita.
has_nothrow_copy	Verifica se il tipo non viene generata sulla costruzione di copia.
has_nothrow_copy_constructor	Verifica se il tipo non generi sulla costruzione di copia.
has_nothrow_default_constructor	Verifica se non genera il tipo di costruzione predefinita.
has_trivial_assign	Verifica se il tipo dispone di un'assegnazione semplice.
has_trivial_constructor	Verifica se il tipo dispone di un costruttore predefinito semplice.
has_trivial_copy	Verifica se il tipo dispone di un costruttore di copia banale.
has_trivial_copy_constructor	Verifica se il tipo dispone di un costruttore di copia banale.
has_trivial_default_constructor	Verifica se il tipo dispone di un costruttore predefinito semplice.
has_trivial_destructor	Verifica se il tipo ha un distruttore banale.
has_virtual_destructor	Verifica se il tipo ha un distruttore virtuale.
is_abstract	Verifica se il tipo è una classe astratta.
is_arithmetic	Verifica se il tipo è aritmetico.
is_array	Verifica se il tipo è una matrice.
is_base_of	Verifica se un tipo è la base di un altro.
is_class	Verifica se il tipo è una classe.
is_compound	Verifica se il tipo non scalare.
is_const	Verifica se il tipo è di tipo const.
is_convertible	Verifica se un tipo è convertibile in un altro.
is_empty	Verifica se il tipo è una classe vuota.
is_enum	Verifica se il tipo è un'enumerazione.
is_floating_point	Verifica se il tipo è a virgola mobile.
is_function	Verifica se il tipo è un tipo di funzione.
is_fundamental	Verifica se il tipo è void o aritmetiche.
is_integral	Verifica se il tipo è parte integrante.
is_lvalue_reference	Verifica se il tipo è un lvalue riferimento.
is_member_function_pointer	Verifica se il tipo è un puntatore a una funzione membro.
is_member_object_pointer	Verifica se il tipo è un puntatore a un oggetto membro.
is_member_pointer	Verifica se il tipo è un puntatore a un membro.
is_object	Verifica se il tipo è un tipo di oggetto.
is_pod	Verifica se il tipo è un POD.
is_pointer	Verifica se il tipo è un puntatore.
is_polymorphic	Verifica se il tipo dispone di una funzione virtuale.
is_reference	Verifica se il tipo è un riferimento.
is_rvalue_reference	Verifica se il tipo è un rvalue riferimento.
is_same	Verifica se due tipi sono uguali.
is_scalar	Verifica se il tipo è scalare.
is_signed	Verifica se il tipo è un valore integer con segno.
is_standard_layout	Verifica se il tipo è un layout standard.
is_union	Verifica se il tipo è un'unione.
is_unsigned	Verifica se il tipo è un valore integer senza segno.
is_void	Verifica se il tipo è void.
is_volatile	Verifica se il tipo è volatile.
make_signed	Consente di digitare o più piccolo firmato digitare maggiore o uguale a digitare le dimensioni.
make_unsigned	Consente di digitare o il più piccolo digitare maggiore o uguale a digitare le dimensioni.
rango	Ottiene il numero di dimensioni della matrice.
remove_all_extents	Rende il tipo non matrice di tipo matrice.
remove_const	Rende non const tipo dal tipo.
remove_cv	Consente di tipo const/volatile dal tipo.
remove_extent	Rende il tipo di elemento di tipo matrice.
remove_pointer	Imposta tipo da un puntatore al tipo.
remove_reference	Rende il tipo di riferimento non dal tipo.
remove_volatile	Rende non volatile tipo dal tipo.
integral_constant	Rende costante integrale dal tipo e valore.

Definizioni typedef

false_type	Contiene una costante integrale con valore false.
true_type	Contiene una costante integrale con valore true.

Vedere anche

Riferimenti

Condividi tramite