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

Question

在右值引用简介中，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 将作为右值返回。如果工厂的作者不小心忘记提供A1，使用identity会在编译时提醒他。

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