Item 33: Use decltype on auto&& parameters to std::forward them.

Effective Modern C++ Item 33 的学习和解读。

C++14 最令人激动的特性之一便是通用 lambda（generic lambda），使用 auto 指定参数类型。lambda 表达式在编译器内部可以看作一个实现 operator() 的类，使用 auto 参数的 lambda 表达式，其实就是对 operator() 模板化。

例如如下 lambda 表达式：

auto f = [](auto x){ return func(normalize(x)); };

可以看作成：

class SomeCompilerGeneratedClassName {
public:
  template<typename T>        // see Item 3 for
  auto operator()(T x) const  // auto return type
  { return func(normalize(x)); }
  
  …  // other closure class functionality
}; 

在上面这个例子中，lambda 表达式就是将它的参数 x 转发给 normalize。如果 normalize 处理左值和右值的方式不同，则上述代码写的并不合理，因为它总是传递左值给 normalize，算不上完美转发。

正确的做法是使用完美转发改写上面的代码。首先将参数变成万能引用，然后使用 std::forward 进行转发：

auto f = [](auto&& x)
         { return func(normalize(std::forward<???>(x))); };

但是，std::forward 的参数类型怎么写呢？如果是使用参数类型 T 的模板函数，可以直接写成 std::forward<T>，但是对于通用 lambda，没有这样的 T 可以被使用。

在 item28 中介绍过：如果一个左值传递给万能引用参数，则万能引用参数被推导成一个左值；若一个右值传递给万能引用参数，则万能引用参数被推导成一个右值。

这里我们可以借助 decltype。通过 item3 的介绍我们知道：如果 x 是一个左值，则 decltype(x) 产生一个左值引用类型；如果 x 是一个右值，则 decltype(x) 产生一个右值引用类型。通用 lambda 完美转发版本可以写成：

auto f =
  [](auto&& param)
  {
    return
      func(normalize(std::forward<decltype(param)>(param)));
  };

结合 C++14 完美转发的实现进行理解：

template<typename T>
T&& forward(remove_reference_t<T>& param)
{
  return static_cast<T&&>(param);
}

假设使用 Widget 类型的变量 x 初始化 param 。如果 x 是一个左值，则 decltype(x) 产生一个左值引用类型。而 remove_reference_t 去除类型。则完美转发为：

Widget& && forward(Widget& param)
{
  return static_cast<Widget& &&>(param);
}

应用引用折叠规则，则转换为：

Widget& forward(Widget& param)
{
  return static_cast<Widget&>(param);
}

显然，完美转发没有做类型转化。也即转发的还是一个左值的 param。

如果 x 是一个右值，则 decltype(x) 产生一个右值引用类型。则完美转发为：

Widget&& && forward(Widget& param)
{
  return static_cast<Widget&& &&>(param);
}

应用引用折叠规则，转换为：

Widget&& forward(Widget& param)
{
  return static_cast<Widget&&>(param);
}

显然，完美转发将左值 param 转换为右值。

综上，使用 decltype 可以实现通用引用参数的完美转发。

此外，C++14 的 lambda 还支持变长参数类型：

auto f =
  [](auto&&... params)
  {
    return
      func(normalize(std::forward<decltype(params)>(params)...));
  };