<分区>
下面是代码。为什么如果我替换 typename remove_reference<S>::type&与 S&它不会很好地工作？ (我的意思是一个类型会被推错)
如果我传递一个右值(让 int 为 int)，那么 S将被推断为 int , a的类型是 int& , forward()返回 int&& (右值)。
如果我传递一个左值 ( int ) S将被推断为 int& , a的类型是 int& & ->int& , forward()返回 int& &&->int& .一切正常，那么我们为什么需要那个 remove_reference ？
template<class S>
S&& forward(typename remove_reference<S>::type& a) noexcept
{
return static_cast<S&&>(a);
}
最佳答案
考虑 forward 的原始用例:
template<class T>
void f(T&& t) { g(std::forward<T>(t)); }
t有一个名字，所以它是 f 中的一个左值即使它绑定(bind)到右值。如果forward允许推断类型，那么人们会很想写 std::forward(t)而实际上并没有得到他们期望的完美转发。
另外，你的分析也不对。 template<class S> void f(S& t);不绑定(bind)到右值。 std::forward实际上是一对重载 - 你所指的那个只接受左值，并且
template <class T> constexpr T&& forward(remove_reference_t<T>&& t) noexcept;
处理右值。
关于c++ - 为什么 std::forward() 不推导类型？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/25571769/