目录

一、引用与指针的区别

二、在汇编层面理解二者区别

虽然在编写C++程序时，我们可以简单将引用理解为变量的别名来使用，但作为C++程序员，需要了解其在底层的运作模式，以提高我们对底层的理解。

一、引用与指针的区别

以下总结9种区别,引用的规则加粗表示。

1.从语法规则上讲，指针变量存储某个实例(变量或对象）的地址; 引用是某个实例的别名。

2.程序为指针变量分配内存区域; 而不为引用分配内存区域。

3.解引用是指针使用时要在前加“* ”; 引用可以直接使用。

4.指针变量的值可以发生改变，存储不同实例的地址; 引用在定义时就被初始化，之后无法改变(不能是其他实例的引用)。

5.指针变量的值可以为空(NULL, nullptr); 没有空引用。

6.指针变量作为形参时需要测试它的合法性(判空NULL); 引用不需要判空;

7.对指针变量使用"sizeof"得到的是指针变量的大小。对引用变量使用"sizeof"得到的是变量的大小。

8.理论上指针的级数没有限制; 但引用只有一级。即不存在引用的引用，但可以有指针的指针

9.++引用与++指针的效果不一样。

例如就++操作而言,对指针变量的操作，会使指针变量指向下一个实体(变量或对象）的地址; 而不是改变所指实体(变量或对象)的内容。

对引用的操作直接反应到所引用的实体（变量或对象)。不可以对函数中的局部变量或对象以引用或指针方式返回。

二、在汇编层面理解二者区别

首先编写如下一段代码

int main()
{
    int a = 10;
    int* ip = &a;
    int& b = a;
    *ip = 100;
    b = 200;
    return 0;
}

编译后获取其汇编代码段,如下所示:

 竟然发现引用的底层实现,与指针的实现方式相同.

在此我们可以推断引用根本的运作方式,本身为一个常性指针,指向被引用变量的地址.

而在我们使用引用的时候,编译器将其替换为指针的操作.

举例如下:

并且这也解释了,为何不能进行空引用和未初始化引用的情况,因为常性指针不支持该种定义方式.