目录
虽然在编写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;
}
编译后获取其汇编代码段,如下所示:
竟然发现引用的底层实现,与指针的实现方式相同.
在此我们可以推断引用根本的运作方式,本身为一个常性指针,指向被引用变量的地址.
而在我们使用引用的时候,编译器将其替换为指针的操作.
举例如下:
并且这也解释了,为何不能进行空引用和未初始化引用的情况,因为常性指针不支持该种定义方式.