C++完美转发的一个不解点

Question

完美转发能把函数的参数原封不动的进行转发，那为什么转发 move(a) 和转发 T&& 结果却不一样呢？

例子

void check(int &)

{

    cout<<"lvalue"<<endl; 

}

void check(int &&)

{

    cout<<"rvalue"<<endl; 

}

template<typename T>

void print(T&& param)

{

     check(forward<T>(param));

}

int main()

{

    int a = 100;

    int && t = move(a);

    print(t);

    print(move(a));

}

 

运行结果是 

lvalue

rvalue

 

Answer 1

这个问题在于 t 右值引用了 move(a)，但 t 本身是个左值。所以转发之后绑定到 lvalue 的版本。

move(a) 是个右值，所以转发之后绑定到 rvalue 版本。

额外要多说一句的是，a 在初始化 t 的时候已经被 move 过一次了。再次 move 是 UB。

 

可以看下几年前写的一篇老文：https://liam.page/2016/12/11/rvalue-reference-in-Cpp/