C:左值可以位于赋值语句左边,右值不能。
C++:
左值(lvalue):可以取地址的、有名字的。
右值(rvalue):不能取地址,没有名字


1. 左值引用和右值引用

引用是变量的别名。
左值引用是对左值的引用。右值引用是对右值的引用。
Note:
左值引用通常也不能绑定到右值,但常量左值引用(const &)是个“万能”的引用类型。它可以接受非常量左值、常量左值、右值对其进行初始化。不过常量左值所引用的右值在它的“余生”中只能是只读的。相对地,非常量左值只能接受非常量左值对其进行初始化。

  1. int &a = 2; // 左值引用绑定到右值,编译失败
  2. int b = 2; // 非常量左值
  3. const int &c = b;
  4. int a = 10;
  5. int &b = a; // ok,左值引用声明时初始化,引用一个左值表达式。
  6. int &c = 10; // error,左值引用只能引用左值表达式,不能引用右值表达式。

右值引用通常不能绑定到任何的左值,特例:使用std::move()将左值强制转换为右值

  1. int a = 10;
  2. int &&b = a; // error, 右值引用只能引用右值表达式,不能引用左值表达式。
  3. int &&c = 10; // ok
  4. int &&d = std::move(a); // 编译通过

NOTE:
普通函数和类静态成员函数的函数名既是左值,也是右值。(即,函数名既能够赋值给左值引用,也能够赋值给右值引用)

2. 右值引用

  • 为什么会有右值引用?

右值引⽤的主要⽬的:是为了实现转移语义完美转发消除两个对象交互时不必要的对象拷⻉,也能够更加简洁明确地定义泛型函数。(后半句怎么理解?)

2.1 完美转发

  1. bool Login(User& user) {...}
  2. bool Login(const User& user) {...}
  3. bool Login(User&& user) {...}

上述3个函数解决右值问题,但是麻烦。
在模板语法上添加了一个完美转发的语法

  1. template<class T>
  2. bool Login(T&& user) {}

&& 已经不是右值引用了,而是被称为万能引用(universal references)而这种用法称为完美转发
当传入右值时,模板特化成 bool Login(User&& user)
当传入左值时,模板特化成 bool Login(User& user))
&& 在模板参数中表示万能引用,在非模板参数中表示右值引用。