C:左值可以位于赋值语句左边,右值不能。
C++:
左值(lvalue):可以取地址的、有名字的。
右值(rvalue):不能取地址,没有名字
1. 左值引用和右值引用
引用是变量的别名。
左值引用是对左值的引用。右值引用是对右值的引用。
Note:
左值引用通常也不能绑定到右值,但常量左值引用(const &)是个“万能”的引用类型。它可以接受非常量左值、常量左值、右值对其进行初始化。不过常量左值所引用的右值在它的“余生”中只能是只读的。相对地,非常量左值只能接受非常量左值对其进行初始化。
int &a = 2; // 左值引用绑定到右值,编译失败
int b = 2; // 非常量左值
const int &c = b;
int a = 10;
int &b = a; // ok,左值引用声明时初始化,引用一个左值表达式。
int &c = 10; // error,左值引用只能引用左值表达式,不能引用右值表达式。
右值引用通常不能绑定到任何的左值,特例:使用std::move()将左值强制转换为右值
int a = 10;
int &&b = a; // error, 右值引用只能引用右值表达式,不能引用左值表达式。
int &&c = 10; // ok
int &&d = std::move(a); // 编译通过
NOTE:
普通函数和类静态成员函数的函数名既是左值,也是右值。(即,函数名既能够赋值给左值引用,也能够赋值给右值引用)
2. 右值引用
- 为什么会有右值引用?
右值引⽤的主要⽬的:是为了实现转移语义和完美转发,消除两个对象交互时不必要的对象拷⻉,也能够更加简洁明确地定义泛型函数。(后半句怎么理解?)
2.1 完美转发
bool Login(User& user) {...}
bool Login(const User& user) {...}
bool Login(User&& user) {...}
上述3个函数解决右值问题,但是麻烦。
在模板语法上添加了一个完美转发的语法
template<class T>
bool Login(T&& user) {}
&& 已经不是右值引用了,而是被称为万能引用(universal references),而这种用法称为完美转发。
当传入右值时,模板特化成 bool Login(User&& user)
当传入左值时,模板特化成 bool Login(User& user))
&& 在模板参数中表示万能引用,在非模板参数中表示右值引用。