引用
引用实际上是对象的别名。
引用最重要的用途是作为函数的实参或返回值,此外,它也被用于重载运算符。
为了体现左值 / 右值以及 const / 非const 的区别,存在三种形式的引用:
- 左值引用(lvalue reference):引用那些我们希望改变值的对象。
- const 引用(const reference):引用那些我们不希望改变值的对象(比如常量)。
- 右值引用(rvalue reference):所引对象的值在我们使用之后就无须保留了(比如临时变量)。
这三种形式统称为引用,其中前两种形式都是左值引用。
左值引用
unsigned int x{ 10 };
unsigned int& a{ x }; //初始化引用,a为x的别名
a++; //相当于x++
const unsigned int& b{ 3 }; //常量的引用,a = 3
引用的实现方式应该类似于常量指针,每次使用引用实际上是对该指针执行解引用操作。
使用引用作为函数形参类型,可以修改实参的值。
#include <iostream>
using namespace std;
void Get_10i(int & i)
{
i *= 10;
}
int main()
{
int x = 10;
Get_10i(x); //x * 10
cout << x << endl; //x = 100
}
引用还能作为函数的返回值类型。此时,该函数既能作为赋值运算符的左侧运算对象,也能作为赋值运算符的右侧运算对象。
右值引用
#include <iostream>
using namespace std;
int Get_i()
{
int i{10};
return i;
}
int main()
{
int a { 10 }, b{ 2 };
string && str = { "Hello World" }; //右值引用
int && x{ Get_i() }; //右值引用 x = 10
int&& c{ a+b }; //右值引用,c = a+b = 12
}
指针和引用
- 如果你需要更换所指的对象,应该使用指针。
- 如果你想让某个名字永远对应同一个对象,应该使用引用。
- 如果你想重载一个运算符,使之用于指向对象的某物,应该使用引用。
- 如果你想让一个集合中的元素指向对象,应该使用指针。
- 有”空指针“但是没有”空引用“。
引用和指针的差别:
- 访问引用与访问对象本身从语法形式上看是一样的。
- 引用所引的永远是一开始初始化的那个对象。
- 不存在“空引用”,我们可以认为引用一定对应着某个对象。
左值和右值
在C语言中,在赋值运算符左侧的称为“左值”;在赋值运算符右侧的称为“右值”。
在C++语言中,不能作为左值的称为“右值”。
一个经典的左值有身份但不能移动。
一个经典的右值是允许执行移出操作的对象。
有身份(Has identity):在程序中有对象的名字,或指向该对象的指针,或该对象的引用,这样我们就能判断两个对象是否相等或者对象的值是否发生了改变。
可移动(Is movable):能把对象的内容移动出来(比如,我们能把它的值移动到其他某处,剩下的对象处于合法但未指定的状态,与拷贝是有差别的。)。