C++引用详解

C++引用详解

• 引用，理解为为操作对象起了个别名。

int& b = a;   //这时候b就是a的别名，共用这同一块空间

int c = 30;
int d = c;  //d只是把c空间中的值拷贝了一份放到自己空间

引用特性

• 引用在定义时必须初始化
• 一个变量可以有多个引用
• 引用一但引用了一个操作对象，那么它引用的操作对象不可以被改变

常引用 - const的引用

以可把引用绑定到const对象上，我们称之为常量的引用，简称常引用

值得注意的是常引用的权限改变问题，我们往下着重讨论

const int a = 1024;
const int& a1 = a;   //正确，引用及其对象都是常量
a1 = 512;   //错误，因为a1是常量，所以不能被修改
int& a2 = a1;   //错误，原来是const修饰的，现在没有了，权限放大了，不能执行

在上面代码中的最后一行，由于a2没有被const修饰，假设它是正确的代码，那么我们就能通过a2间接的去修改a了，而a是const修饰的，所以最后一行代码是错误的。

再看以下例子：

int i = 10;
const int& i1 = i;   //正确，const相比普通int权限缩小了，是可以的
const int& i2 = 10;  //正确，i2是一个常引用
const int& i3 = r1 * 4;  //正确，i3是一个常饮用
int &i4 = i1 * 4;    //错误，i4是一个普通的引用

要理解第四行为什么错了，我们首先看一个例子：

double x = 5.20;
const int& x1 = x;

在上述代码中，x1引用了一个int类型的数，但是x确实double类型的，这时候编译器其实会把代码变成如下形式：

const int temp = dval;   //由double类型的数生成一个临时变量
const int& x1 = temp;   //让r1绑定这个临时变量

回到上面，当i4去绑定i1 * 4时，编译器也是生成了一个临时值存储i1* 4的值，然而i4是普通的引用，权限放大，错误！

引用使用场景

• 做参数

  当做参数时，我们再也不用考虑到底是传地址还是啥了，因为引用时一个对象的别名，所以我们改变引用的值也会一同改变引用绑定的对象的值

  void Swap(int& a, int& b)
  {
      int temp = a;
      a = b;
      b = temp;
  }
  

• 做返回值

  这里要注意，引用如果做返回值，一定要是出了这个函数作用域还存在的对象，也就是动态开辟的内存或者静态变量，要不然函数栈帧销毁以后，返回的引用绑定的空间是非法空间，再去使用就会出大问题。

引用和指针的区别

• 引用在底层上是有空间消耗的，它其实就是对指针的封装。
• 引用在定义时必须初始化，但是指针没有做要求。
• 引用在绑定了一个实体以后，就不能够修改了，但是指针可以存放别的地址，所以引用更像*const ptr。
• 没有NULL引用，但是有NULL指针。
• 引用自增是实体的值加1，指针自增是偏移一个类型的大小。
• 有多级指针，但是没有多级引用。

---