使用前向的优点

Question

使用前向的优点

在完美的转发中，std::forward用于转换命名的rvalue引用。t1和t2到未命名的rvalue引用。这样做的目的是什么？这将如何影响被调用的函数？inner如果我们离开t1 & t2作为落伍？

template <typename T1, typename T2>void outer(T1&& t1, T2&& t2) {
    inner(std::forward<T1>(t1), std::forward<T2>(t2));}

Answer 1

在完美转发中，std：Forward用于将命名的rvalue引用T1和T2转换为未命名的rvalue引用。这样做的目的是什么？如果我们把t1和t2作为lvalue，这会对调用的函数内部产生什么影响？template&nbsp;<typename&nbsp;T1,&nbsp;typename&nbsp;T2>&nbsp;void&nbsp;outer(T1&&&nbsp;t1,&nbsp;T2&&&nbsp;t2)&nbsp;{ &nbsp;&nbsp;&nbsp;&nbsp;inner(std::forward<T1>(t1),&nbsp;std::forward<T2>(t2));}如果在表达式中使用命名的rvalue引用，则它实际上是lvalue(因为您按名称引用对象)。考虑以下示例：void&nbsp;inner(int&nbsp;&,&nbsp;&nbsp;int&nbsp;&);&nbsp;&nbsp;//&nbsp;#1void&nbsp;inner(int&nbsp;&&,&nbsp;int&nbsp;&&);&nbsp;//&nbsp;#2现在，如果我们打电话outer像这样outer(17,29);我们希望将17和29转发到#2，因为17和29是整数值，因此rvalue。但既然t1和t2在表达中inner(t1,t2);如果是lvalue，您将调用#1而不是#2。这就是我们需要将引用转换回未命名引用的原因。std::forward..所以,t1在……里面outer总是一个lvalue表达式，而forward<T1>(t1)可能是一个rvalue表达式，取决于T1..后者只是一个lvalue表达式，如果T1是一个无值引用。和T1仅在外部的第一个参数是lvalue表达式的情况下才推断为lvalue引用。