C++11 完美转发和引用折叠

Question

考虑这段代码:

template<typename T>
void foo(T&& param){ //In this case && is called universal reference
    std:string tmp = std::forward<string>(param);
}

我的问题是如果通用引用类型可以推导为什么我还需要调用转发？
为什么不转发 tmp 的正确 c'tor 即使推导出 T 的类型也不会被调用。

我的第二个问题是关于引用折叠规则:

1. A& && 变成 A&
2. A&& && 变成 A&&

所以根据这个规则并考虑到通用引用，为什么 std::forward 签名不能如下所示:

template<class T> 
T&& forward(T&& arg){
    return static_cast<T&&>(arg);
}

根据上面的规则，如果 T 的类型是右值引用，它将折叠为右值引用，如果 T 的类型为左值引用，它将折叠为左值引用。
那么为什么 std::forward 有两个不同的签名，一个用于左值引用，一个用于右值引用，我是不是漏掉了什么？

Answer 1

My question is if universal reference type can be deduced why do I still need to call forward ?

因为一旦你给参数命名param它是一个左值，即使函数是用右值调用的，所以它不会作为右值转发，除非你使用 forward<T>

Why without forwarding tmp's correct c'tor won't be called even if T's type was deduced.

因为 param是一个左值。恢复传递给 foo 的参数的值类别您需要将其转换回 string&或 string&&这意味着您需要知道类型 T被推断为，并使用 forward做 Actor 。

So why std::forward have two different signatures one for lvalue reference and one for rvalue reference am I missing something ?

它被http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2010/n3143.html改变了

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2010/n3143.html 中有很多背景信息和 http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2009/n2951.html

您建议的版本的问题在于，如果您说 forward<string>然后是参数 T未被推导，因此不能用作转发引用，这意味着 T&&不能绑定(bind)到左值，它需要能够绑定(bind)到左值才能 forward<string>(param)工作，因为param那里是左值。