C++ -- 引用的详解

一．引用

1. 定义：引用为对象起了另外一个名字，通过将声明符写成&d的形式来定义引用类型，其中d是声明的变量名：

int a = 1024;

int &b = a;

其中b就是a的另一个名字。

2. 一般在初始化变量时，初始值会被拷贝到新建的对象中。然而定义引用时，程序把引用与它的初始值“绑定”在一起，而不是将初始值拷贝给引用。一旦初始化完成，引用将和它的初始值一直绑定在一起。因为无法令引用重新绑定到另外一个对象，因此引用必须初始化。

如：int &b; 就是错误的。

3. 引用并非对象，相反的，它只是为一个已经存在的对象所起的另外一个名字。

4. 定义一个引用之后，对其进行的所有操作都是在与之绑定的对象上进行的

int a = 1024;

int &b = a;

b = 2;    //把2赋值给b指向的对象，也就是将2复制给a

二．const引用

1. const引用可以把引用绑定到const对象上，就像绑定到其它对象上一样，我们也可以称之为“对常量的引用”。

2. 与普通引用不同的是，对常量的引用不能被用作修改它所绑定的对象：

const int c = 10;

const int& m = c;   //正确：引用及其对应的对象都是常量

m = 5;  //错误：m是对常量的引用

int & n = c;  //错误：试图让一个非常量引用指向一个常量对象

三．指针与引用的区别

1. 从概念上讲：指针从本质上就是存放变量地址的一个变量，在逻辑上是独立的，它可以被改变，包括其所指向的地址的改变和其指向的地址中所存放的数据的改变。而引用是一个别名，它在逻辑上不是独立的，它的存在具有依附性，所以引用必须在一开始就被初始化，而且其引用的对象在其整个生命周期中是不能被改变的（自始至终只能依附于同一个变量）。

2. 

（1）指针是一个实体，而引用仅是一个别名；

（2）引用只能在定义时被初始化一次，之后不可改变；指针可变；引用“从一而终”，指针可以“见异思迁”；

（3）引用不能为空，指针可以为空；

（4）“sizeof 引用”得到的是所指向的变量(对象)的大小，而“sizeof 指针”得到的是指针本身的大小；

（5）指针和引用的自增(++)运算意义不一样；

（6）引用是类型安全的，而指针不是 (引用比指针多了类型检查)