c++ 右值引用

1 左值和右值

(1) 概念

能不能对表达式取地址，可以取地址的表示左值，不可以的表示右值

(2) 例子

int i = get_value()

i 可以取到地址，所以是左值; get_value()不能取到地址所以是右值

2 临时变量的引用

(1) 例子 

const A& a = get_a(); 正确(常量左值引用)

A& a   = get_a(); 错误 (非常量左值引用 )

A&& a = get_a(); 正确 (右值引用)

(2) 解释：

常量左值引用  是一个万能引用类型(可以接受左值或右值)

非常量左值引用 只能接受左值

右值引用  只能引用临时变量(即延长了临时变量的生命期)

(3)注意：

(3.1)A&& a = get_a();  a是右值的引用，但a本身是左值(因为a可以取到地址)

(3.2)对于下面的函数

void processValue(int& a) {
	cout << "process_left_val" << endl; 
}

void processValue(int&& a) { 
    cout << "process_right_val" << endl;
}

void forward_value(int& val) {
	cout << "forward_left_val"  << endl;
    processValue(val); 
}

void forward_value(int&& val) {
	cout << "forward_right_val" << endl;
    processValue(val); 
}

void test_right_value() {
	int i = 1;
	forward_value(i);
	forward_value(2);
    std::cout << "**********************" << std::endl;
}

void forward_value(int&& val); 

val虽然是右值引用，但val本身是左值。

所以调用forward_value(2),会输出 forward_right_val, process_left_val

3 右值引用的特点

(1)  延长临时变量的生命期

(2)  在 模板 函数中 右值引用 代表的是 未定义的引用 (universal references)

意思是： 如果被一个左值初始化，它就是一个左值；如果它被一个右值初始化，它就是一个右值，它是左值还是右值取决于它的初始化。

4 完美转发问题

在函数模板中，完全依照模板的参数的类型（即保持参数的左值、右值特征），将 参数 传递给 函数模板 中调用的另外一个 函数 。

void processValue(int& a) {
	cout << "process_left_val" << endl; 
}

void processValue(int&& a) { 
    cout << "process_right_val" << endl;
}

//forward value
template <typename T>
void forwardValue(T&& val)
{
    processValue(std::forward<T>(val));
}

(1)调用函数forwardValue(1), T&&表示是右值引用，使用std::forward完美转发后参数还是右值，调用的是processValue(int &&)

(2)定义一个左值 int i= 1；

    调用函数forwardValue(i), T&&表示是左值引用 ，使用std::forward完美转发后参数还是左值，调用的是processValue(int &)

(3)若果不使用 std::forward完美转发，则都调用 processValue(int &)