c – 传递rvalue加注不能绑定到左值

该计划如下：

#include <iostream>
using namespace std;

template <typename F, typename T1, typename T2>
void flip2(F f, T1 &&t1, T2 &&t2)
{
      f(t2, t1);
}

void g(int &&i, int &j)
{
      cout << i << " " << j << endl;
}

int main(void)
{
      int i = 1;
      flip2(g, i, 42);
}

编译器抱怨：

error: rvalue reference to type 'int' cannot bind to lvalue of type 'int'

但据我所知,由于T2是用int实例化的,那么t2的类型是int&&,所以应该允许它传递给函数g的第一个参数(int&&).

我的理解有什么问题？

解决方法:

f(t2, t1);

t2有一个名字,所以它是一个左值.它的类型是rvalue,但在表达式中它的类型是左值.为了将它作为右值引用传递,你需要使用std :: forward(这里移动或转换是不合适的,因为T1和T2实际上是通用引用,而不是右值引用,请参阅编辑).

#include <iostream>
using namespace std;

template <typename F, typename T1, typename T2>
void flip2(F f, T1 &&t1, T2 &&t2)
{
      f(std::forward<T2>(t2), std::forward<T1>(t1));
}

void g(int &&i, int &j)
{
      cout << i << " " << j << endl;
}

int main(void)
{
      int i = 1;
        flip2(g, i, 42);
}

http://ideone.com/Aop2aJ

—为什么—

考虑：

template<typename T>
void printAndLog(T&& text) {
    print(text);
    log(text);
}

int main() {
    printAndLog(std::string("hello, world!\n"));
}

当你使用变量的名字时,表达式类型是lvalue(glvalue？); rvalueness被丢弃.否则在上面的例子中,我们丢失了要打印的文本().相反,当我们希望我们的rvalue表现得像一个时,我们必须明确：

template<typename T>
void printAndLog(T&& text) {
    print(text);
    log(std::forward<T>(text));  // if text is an rvalue, give it up.
}

—编辑—

我使用std :: forward因为T1&&和T2&&是通用引用,而不是右值引用. https://isocpp.org/blog/2012/11/universal-references-in-c11-scott-meyers

标签：perfect-forwarding,c,c11,templates
来源： https://codeday.me/bug/20190828/1756973.html