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 &)