Espacios de nombres
Variantes
Acciones

std::type_identity

De cppreference.com
< cpp‎ | types
 
 
Biblioteca de servicios
 
Apoyo de tipos
Tipos básicos
Tipos fundamentales
Tipos enteros de anchura fija (C++11)
Límites numéricos
Interfaz de C de límites numéricos
Información de tipo
en tiempo de ejecución
Rasgos de tipos
Categorías de tipos
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
Propiedades de tipos
(C++11)
(C++11)
(C++14)
(C++11)
(C++11)(hasta C++20)
(C++11)(en desuso en C++20)
(C++11)
Constantes de rasgos de tipos
Metafunciones
(C++17)
Contexto de evaluación constante
Operaciones soportadas
Relaciones y consultas de propiedades
Modificaciones de tipos
(C++11)(C++11)(C++11)
Transformaciones de tipos
(C++11)
(C++11)
(C++17)
(C++11)(hasta C++20)(C++17)
type_identity
(C++20)
 
Definido en el archivo de encabezado <type_traits>
template< class T >
struct type_identity;
(desde C++20)

Proporciona la definición de tipo (typedef) miembro type que denomina T (es decir, la transformación de identidad).

El comportamiento de un programa que añade especializaciones para type_identity no está definido.

Contenido

[editar] Tipos miembro

Nombre Definición
type T

[editar] Tipos auxiliares

template< class T >
using type_identity_t = typename type_identity<T>::type;
(desde C++20)

[editar] Posible implementación

template< class T >
struct type_identity {
    using type = T;
};

[editar] Notas

type_identity puede usarse para establecer contextos no deducidos en la deducción de argumentos de plantilla:

template<class T>
void f(T, T);
 
template<class T>
void g(T, std::type_identity_t<T>);
 
f(4.2, 0); // ERROR, tipos conflictivos deducidos para 'T'
g(4.2, 0); // de acuerdo, llama a g<double>

[editar] Ejemplo