std::decay

Aplica conversiones implícitas de lvalue a rvalue, array a puntero y función a puntero al tipo T, elimina los calificadores-cv y define el tipo resultante como el miembro typedef type. Formalmente:

• Si T nombra el tipo "array de U" o "referencia al array de U", el miembro typedef type es U*.

• De lo contrario, si T es un tipo función F o una referencia al mismo, el miembro typedef type es std::add_pointer <F>::type.

• De lo contrario, el miembro typedef type es std::remove_cv<std::remove_reference<T>::type>::type.

Estas conversiones modelan la conversión de tipo aplicada a todos los argumentos de función cuando se pasan por valor.

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

[editar] Tipos miembro

[editar] Tipos auxiliares

[editar] Posible implementación

template< class T >
struct decay {
private:
    typedef typename std::remove_reference<T>::type U;
public:
    typedef typename std::conditional< 
        std::is_array<U>::value,
        typename std::remove_extent<U>::type*,
        typename std::conditional< 
            std::is_function<U>::value,
            typename std::add_pointer<U>::type,
            typename std::remove_cv<U>::type
        >::type
    >::type type;
};

[editar] Ejemplo

#include <iostream>
#include <type_traits>
 
template <typename T, typename U>
struct decay_equiv : 
    std::is_same<typename std::decay<T>::type, U>::type 
{};
 
int main()
{
    std::cout << std::boolalpha
              << decay_equiv<int, int>::value << '\n'
              << decay_equiv<int&, int>::value << '\n'
              << decay_equiv<int&&, int>::value << '\n'
              << decay_equiv<const int&, int>::value << '\n'
              << decay_equiv<int[2], int*>::value << '\n'
              << decay_equiv<int(int), int(*)(int)>::value << '\n';
}

true
true
true
true
true
true

[editar] Véase también