为什么在 C++0x 右值引用的前向定义中使用标识？

Question

在A Brief Introduction to Rvalue References中，forward定义如下：

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

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

identity 类的作用是什么？为什么不：

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

Answer 1

identity 的目的是使T 不可演绎。即强制客户端在调用forward时显式提供T。

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

这是必要的原因是因为模板参数是开关，客户​​端通过它告诉编译器将参数作为左值或右值转发。如果您不小心忘记提供此信息，则左值总是作为左值返回，而右值总是作为右值返回。起初这听起来像是您想要的，但实际上并非如此。

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

在上面的例子中，a1 总是一个左值。但是“开关”A1 可能是也可能不是左值引用。如果它是左值引用，a1 将作为左值返回，否则 a1 将作为右值返回。如果 factory 的作者不小心忘记提供 A1，identity 的使用会在编译时提醒他。

注意：最终草案缺少identity，但出于相同目的在同一位置使用remove_reference。