上述的四条语句,前面两个很好理解,而后面两个,大部分C++初学者都会比较困惑,今天我也是查阅了一些资料以后才恍然大悟。下面具体来说明一下:

int i;

int *a = &i;//这里a是一个指针,它指向变量i

int &b = i;//这里b是一个引用,它是变量i的引用,引用是什么?它的本质是什么?下面会具体讲述

int * &c = a;//这里c是一个引用,它是指针a的引用

int & *d;//这里d是一个指针,它指向引用,但引用不是实体,所以这是错误的

先是第一个问题:引用的本质是什么?

引用就是指针,两者没有区别。我们可以把引用想象成一个不需要"*"就可以访问变量的指针,对比如下程序:
void function(int *a)
{
*a = 100;
}int main()
{
int x=200;int *b = &x;
function(b);
return(0);
}

void function(int &a)
{
a = 100;
}int main()
{
int x = 200;function(x);
return(0);
}以上两段程序完成的功能是一样的。

第二个问题:int * &a和int & *a

我在写这两句语句时,在int 和*(&)间空了一格,而后面的&(*)紧跟a。原因是:分析此类语句时,先看a前紧跟的是什么,它决定了a的类型。而int后的一个空格是为了防止int *a, b;//a是指针,而b不是。

其他:int * *a;

它的功能和int * &a一样,两者生成的二进制代码一样。这再一次说明了引用就是指针。