C++引用 讲解

概念：

引用是给已存在的变量取了一个别名，语法概念上编译器不会为引用变量开辟内存空间，它和它引用的变量共用同一块内存空间，把这个别名当作本身直接使用即可

注意：

• 引用类型(int&)必须和引用的实体(int)是同种类型
• 引用在定义时必须初始化
• 一个变量可以有多个引用
• 一个引用一旦引用一个实体，就不能再引用其他实体

底层：

• 在语法概念上引用就是一个别名，没有独立空间，和其引用实体共用同一块空间
• 在底层实现上实际是有空间的，因为引用底层就是按照指针方式来实现的
• 从某方面来说，引用其实就是自动把等号右边表达式的整个地址取出来了的，并且在使用时才自动解引用，不过在代码层面我们是看不到，把它当作别名直接使用即可

// 比如这段代码，下面代码是会报错的

#include<iostream>

using namespace std;

int main()

{

int* p = NULL; int& tp = *p;//这里是不会出错的，虽然看起来是对空指针解引用了，但因为它                                            // 是把整个 *p 表达式给存起来了，实际并没有对 p 解引用

tp = 17;      //而这里才是使用了 p (tp)，自动对 p(tp) 解引用，所以报错的是这里

return 0;

}

与指针的不同：

引用和指针的汇编代码对比：（底层是一模一样的）

不同点：

• 引用概念上定义一个变量的别名，指针存储一个变量地址
• 引用在定义时必须初始化，指针没有要求
• 引用在初始化时引用一个实体后，就不能再引用其他实体，而指针可以在任何时候指向任何一个同类型实体
• 没有NULL引用，但有NULL指针（但能引用 指向空指针的变量，有点奇怪？）
• 在sizeof中含义不同：引用结果为引用类型的大小，但指针始终是地址空间所占字节个数
• 引用自加即引用的实体增加1，指针自加即指针向后偏移一个类型的大小
• 有多级指针，但是没有多级引用
• 访问实体方式不同，指针需要显式解引用，引用编译器自己处理
• 引用比指针使用起来相对更安全（指针权限太大，容易乱搞出错）

引用的权限问题：

需知：

• 权限只能缩小和平移(不变)，不能放大
• 表达式的结果会先被作为拥有常性的变量临时存起来，比如：int a = b + c ; 这里 b + c 的结果会先被计算出，然后存在一个临时变量里，然后再赋给 a，并且，这个临时变量具有常性，也就是不能被修改

例：

const int a = 10;

int& b = a;  //这样就是权限放大了，是错误的，因为 b 没有 const 修饰， b是可以被修改的

                 // ，但它的真身(a)是不能被修改的

const int& b = a; // 这样才是正确的

int a = 10;

const int& b = a; //这样权限被缩小了，是允许的

int& c = a; //权限平移，是允许的

//注意，上述 a 和 c 可以修改，但 b 不能修改

//并且，它们真正修改的对象有且只有一个，那就是 a， 因为是引用(别名)

//也就是，a 不能通过 b 来修改，但可以通过 a 和 c 来修改

int a = 10;

int b = 20;

int& c = a + b;   // 这样是错误的，因为权限被放大了

//其底层是这样：

const temp = 30;   // 30 就是 a + b 的结果，temp就是那个临时变量，具有常性

int& c = temp;   // 所以权限放大了，是错误的

//正确写法:

cosnt int& c = a + b;