¿Por qué utilizar la identidad en la definición de reenvío para C++ 0x rvalue reference?

Question

En A Brief Introduction to Rvalue References, forward se define como sigue:

template <typename T> 
    struct identity { typedef T type; }; 

    template <typename T> 
    T &&forward(typename identity<T>::type &&a) { return a; } 

¿Para qué realizar la clase identity? ¿Por qué no:

template <typename T> 
    T &&forward(T &&a) { return a; } 

Answer 1

El propósito de identity era hacer T no deducible. Es decir, forzar al cliente a suministrar explícitamente T al llamar al forward.

forward(a);  // compile-time error 
forward<A>(a); // ok 

La razón de esto es necesario es porque el parámetro de plantilla es el interruptorcon la que el cliente indica al compilador para reenviar el argumento ya sea como un valor izquierdo o como un valor p. Si accidentalmente se olvida de proporcionar esta información, los valores l siempre se devuelven como valores l y los valores r siempre se devuelven como valores r. Si bien al principio puede sonar como lo que quieres, realmente no lo es.

template <class T, class A1> 
std::shared_ptr<T> 
factory(A1&& a1) 
{ 
    return std::shared_ptr<T>(new T(std::forward<A1>(a1))); 
} 

En el ejemplo anterior a1 siempre es un lvalue. Pero el "interruptor" A1 puede o no ser una referencia lvalue. Si es una referencia lvalue, a1 se devuelve como valor l, de lo contrario, a1 se devuelve como un valor r. Si el autor de la fábrica se olvida por casualidad de suministrar A1, el uso de identity le recuerda al momento de la compilación.

Nota: El borrador final carece de identity, pero usa remove_reference en el mismo lugar para el mismo propósito.