std :: forward如何工作？

David 发表于 Dev

大卫

可能重复：
使用转发的优势

我知道它的作用以及何时使用它，但是我仍然无法确定它是如何工作的。请尽可能详细，并说明std::forward如果允许使用模板参数推导的话，什么时候不正确。

我的部分困惑是：“如果有名称，那就是左值”-如果是这种情况，为什么std::forward在通过thing&& xvs时行为会有所不同thing& x？

冰

首先，让我们看一下std::forward根据标准执行的操作：

§20.2.3 [forward] p2

返回值： static_cast<T&&>(t)

（这T是显式指定的模板参数，t它是传递的参数。）

现在，请记住参考折叠规则：

TR   R

T&   &  -> T&  // lvalue reference to cv TR -> lvalue reference to T
T&   && -> T&  // rvalue reference to cv TR -> TR (lvalue reference to T)
T&&  &  -> T&  // lvalue reference to cv TR -> lvalue reference to T
T&&  && -> T&& // rvalue reference to cv TR -> TR (rvalue reference to T)

（从这个答案中偷偷偷走了。）

然后让我们看一下一个想要使用完美转发的类：

template<class T>
struct some_struct{
  T _v;
  template<class U>
  some_struct(U&& v)
    : _v(static_cast<U&&>(v)) {} // perfect forwarding here
                                 // std::forward is just syntactic sugar for this
};

现在是一个示例调用：

int main(){
  some_struct<int> s1(5);
  // in ctor: '5' is rvalue (int&&), so 'U' is deduced as 'int', giving 'int&&'
  // ctor after deduction: 'some_struct(int&& v)' ('U' == 'int')
  // with rvalue reference 'v' bound to rvalue '5'
  // now we 'static_cast' 'v' to 'U&&', giving 'static_cast<int&&>(v)'
  // this just turns 'v' back into an rvalue
  // (named rvalue references, 'v' in this case, are lvalues)
  // huzzah, we forwarded an rvalue to the constructor of '_v'!

  // attention, real magic happens here
  int i = 5;
  some_struct<int> s2(i);
  // in ctor: 'i' is an lvalue ('int&'), so 'U' is deduced as 'int&', giving 'int& &&'
  // applying the reference collapsing rules yields 'int&' (& + && -> &)
  // ctor after deduction and collapsing: 'some_struct(int& v)' ('U' == 'int&')
  // with lvalue reference 'v' bound to lvalue 'i'
  // now we 'static_cast' 'v' to 'U&&', giving 'static_cast<int& &&>(v)'
  // after collapsing rules: 'static_cast<int&>(v)'
  // this is a no-op, 'v' is already 'int&'
  // huzzah, we forwarded an lvalue to the constructor of '_v'!
}

我希望这个循序渐进的答案可以帮助您和其他人了解其std::forward工作原理。

本文收集自互联网，转载请注明来源。

如有侵权，请联系 [email protected] 删除。