Compartilhar via

<type_traits>

  • Artigo

Define modelos para constantes de tempo de compilação e informações sobre as propriedades dos argumentos de tipo ou produzem tipos transformados.

Sintaxe

#include <type_traits>

Comentários

As classes e os modelos em <type_traits> são usados para dar suporte a inferência, classificação e transformação de tipos em tempo de compilação. Eles também são usados para detectar erros relacionados ao tipo e para ajudar você a otimizar seu código genérico. Características de tipo unário descrevem uma propriedade de um tipo, características de tipo binário descrevem uma relação entre tipos e características de transformação modificam uma propriedade de um tipo.

A classe de ajuda integral_constant e as respectivas especializações de modelo true_type e false_type formam as classes de base para predicados de tipo. Um predicado de tipo é um modelo que usa um ou mais argumentos de tipo. Quando um predicado de tipo mantém-se verdadeiro, ele é derivado publicamente, direta ou indiretamente, de true_type. Quando um predicado de tipo mantém-se falso, ele é derivado publicamente, direta ou indiretamente, de false_type.

Um modificador de tipo ou uma característica da transformação é um modelo que usa um ou mais argumentos de modelo e tem um membro, type, que é sinônimo do tipo modificado.

Modelos de alias

Para simplificar expressões de características de tipo, são fornecidos modelos de alias para typename some_trait<T>::type, em que some_trait é o nome de classe do modelo. Por exemplo, add_const tem o modelo de alias para seu tipo add_const_t, definido como:

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

Estes são os aliases fornecidos para os membros type:

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\

Classes

Classe auxiliar e typedefs

Nome Descrição
integral_constant Cria uma constante integral de um tipo e valor.
true_type Mantém uma constante integral com valor verdadeiro.
false_type Mantém uma constante integral com valor falso.

Categorias de tipo principal

Nome Descrição
is_void Testa se o tipo é void.
is_null_pointer Testa se o tipo é std::nullptr_t.
is_integral Testa se o tipo é integral.
is_floating_point Testa se o tipo é um ponto flutuante.
is_array Testa se o tipo é uma matriz.
is_pointer Testa se o tipo é um ponteiro.
is_lvalue_reference Testa se o tipo é uma referência lvalue.
is_rvalue_reference Testa se o tipo é uma referência rvalue.
is_member_object_pointer Testa se o tipo é um ponteiro para um objeto do membro.
is_member_function_pointer Testa se o tipo é um ponteiro para uma função do membro.
is_enum Testa se o tipo é uma enumeração.
is_union Testa se o tipo é uma união.
is_class Testa se o tipo é uma classe.
is_function Testa se o tipo é um tipo de função.

Categorias de tipo de composição

Nome Descrição
is_reference Testa se o tipo é uma referência.
is_arithmetic Testa se o tipo é aritmético.
is_fundamental Testa se o tipo é void ou aritmético.
is_object Testa se o tipo é um tipo de objeto.
is_scalar Testa se o tipo é escalar.
is_compound Testa se o tipo não é escalar.
is_member_pointer Testa se o tipo é um ponteiro para um membro.

Propriedades de tipo

Nome Descrição
is_const Testa se o tipo é const.
is_volatile Testa se o tipo é volatile.
is_trivial Testa se o tipo é trivial.
is_trivially_copyable Testa se o tipo é trivialmente copiável.
is_standard_layout Testa se o tipo é um layout padrão.
is_pod Testa se o tipo é um POD.
is_literal_type Testa se o tipo pode ser uma variável constexpr ou usado em uma função constexpr.
is_empty Testa se o tipo é uma classe vazia.
is_polymorphic Testa se o tipo é uma classe polimórfica.
is_abstract Testa se o tipo é uma classe abstrata.
is_final Testa se o tipo é um tipo de classe marcado como final.
is_aggregate
is_signed Testa se o tipo é um inteiro com sinal.
is_unsigned Testa se o tipo é um inteiro sem sinal.
is_constructible Testa se o tipo é construível usando os tipos de argumento especificados.
is_default_constructible Testa se o tipo tem um construtor padrão.
is_copy_constructible Testa se o tipo tem um construtor de cópia.
is_move_constructible Testa se o tipo tem um construtor de movimentação.
is_assignable Testa se ao primeiro tipo pode ser atribuído um valor do segundo tipo.
is_copy_assignable Testa se a um tipo pode ser atribuído um valor de referência constante do tipo.
is_move_assignable Testa se a um tipo pode ser atribuída uma referência rvalue do tipo.
is_swappable
is_swappable_with
is_destructible Testa se o tipo é destrutível.
is_trivially_constructible Testa se o tipo usa operações não triviais ao ser construído com o uso de tipos especificados.
is_trivially_default_constructible Testa se o tipo usa operações não triviais quando construído por padrão.
is_trivially_copy_constructible Testa se o tipo usa operações não triviais quando construído por cópia.
is_trivially_move_constructible Testa se o tipo usa operações não triviais quando construído por movimentação.
is_trivially_assignable Testa se os tipos são atribuíveis e se a atribuição usa operações não triviais.
is_trivially_copy_assignable Testa se o tipo é atribuível a cópia e se a atribuição usa operações não triviais.
is_trivially_move_assignable Testa se o tipo é atribuível a movimentação e se a atribuição usa operações não triviais.
is_trivially_destructible Testa se o tipo é destrutível e se o destruidor usa operações não triviais.
is_nothrow_constructible Testa se o tipo é construível e se não efetua lançamentos quando construído usando os tipos especificados.
is_nothrow_default_constructible Testa se o tipo é construível por padrão e se não efetua lançamentos quando construído por padrão.
is_nothrow_copy_constructible Testa se o tipo é construível por cópia e se o construtor de cópia não efetua lançamentos.
is_nothrow_move_constructible Testa se o tipo é construível por movimentação e se o construtor de movimentação não efetua lançamentos.
is_nothrow_assignable Testa se o tipo é atribuível usando o tipo especificado e a atribuição não efetua lançamentos.
is_nothrow_copy_assignable Testa se o tipo é atribuível usando a cópia e a atribuição não efetua lançamentos.
is_nothrow_move_assignable Testa se o tipo é atribuível por movimentação e se a atribuição não efetua lançamentos.
is_nothrow_swappable
is_nothrow_swappable_with
is_nothrow_destructible Testa se o tipo é destrutível e se o destruidor não efetua lançamentos.
has_virtual_destructor Testa se o tipo tem um destruidor virtual.
has_unique_object_representations
is_invocable Testa se um tipo callable pode ser invocado usando os tipos de argumento especificados.
Adicionado em C++17.
is_invocable_r Testa se um tipo callable pode ser invocado usando os tipos de argumento especificados e se o resultado é conversível para o tipo especificado.
Adicionado em C++17.
is_nothrow_invocable Testa se um tipo callable pode ser invocado usando os tipos de argumento especificados e é conhecido por não gerar exceções.
Adicionado em C++17.
is_nothrow_invocable_r Testa se um tipo callable pode ser invocado usando os tipos de argumento especificados, se é conhecido por não gerar exceções e se o resultado é conversível para o tipo especificado.
Adicionado em C++17.

Consultas de tipo de propriedade

Nome Descrição
alignment_of Obtém o alinhamento de um tipo.
rank Obtém o número de dimensões da matriz.
extent Obtém o número de elementos na dimensão de matriz especificada.

Relações de tipo

Nome Descrição
is_same Testa se dois tipos são iguais.
is_base_of Testa se um tipo é a base de outro.
is_convertible Testa se o tipo pode ser convertido em outro.

Modificações constantes voláteis

Nome Descrição
add_const Produz um tipo const de tipo.
add_volatile Produz um tipo volatile de tipo.
add_cv Produz um tipo const volatile de tipo.
remove_const Produz um tipo não constante de tipo.
remove_volatile Produz um tipo não volátil de tipo.
remove_cv Produz um tipo não constante e não volátil de tipo.

Modificações de referência

Nome Descrição
add_lvalue_reference Produz uma referência para o tipo do tipo.
add_rvalue_reference Produz uma referência rvalue para o tipo do tipo
remove_reference Produz um tipo de não referência do tipo.

Assinar modificações

Nome Descrição
make_signed Produz o tipo, se assinado ou o menor tipo assinado, maior ou igual em tamanho ao tipo.
make_unsigned Produz o tipo, se não assinado ou o menor tipo não assinado, maior ou igual em tamanho ao tipo.

Modificações de matriz

Nome Descrição
remove_all_extents Cria o tipo de não matriz de um tipo de matriz.
remove_extent Produz o tipo de elemento de um tipo de matriz.

Modificações de ponteiro

Nome Descrição
add_pointer Produz um ponteiro para o tipo do tipo.
remove_pointer Produz um tipo de um ponteiro para tipo.

Outras transformações

Nome Descrição
aligned_storage Aloca memória não inicializada para um tipo alinhado.
aligned_union Aloca memória não inicializada para uma união alinhada com um construtor ou destruidor não trivial.
common_type Produz o tipo comum de todos os tipos de pacote de parâmetros.
conditional Se a condição for verdadeira, produzirá o primeiro tipo especificado, caso contrário, o segundo tipo especificado.
decay Produz o tipo passado por valor. Cria o tipo de não referência, não constante, não volátil ou cria um ponteiro para o tipo.
enable_if Se a condição for verdadeira, produzirá o tipo especificado, caso contrário, nenhum tipo.
invoke_result Determina o tipo de retorno do tipo callable que usa os tipos de argumento especificados.
Adicionado em C++17.
result_of Determina o tipo de retorno do tipo callable que usa os tipos de argumento especificados.
Adicionado em C++14, preterido em C++17.
underlying_type Produz o tipo integral subjacente para um tipo de enumeração.

Características do operador lógico

Nome Descrição
conjunção
disjunção
negação

Confira também

<functional>