请读者先看下面这段代码
#include<iostream>
using namespace std;
void change(int *q)
{
q=new int(10);
}
int main()
{
int *p=new int(9);
change(p);
cout<<*p;
return 0;
}
我们这里定义了一个名字叫change的函数,它的作用是把一个整形指针的值修改为10。我们在main中定义了一个指针p,赋以初值9。理论上说,程序运行时输入的应该是10。但实际上,输出的却是9!也就是说change函数没有起到效果,那么这是怎么回事呢?
依本人看法,我们执行change函数时,其实是执行了change(int *q=p),也就是说我们定义了一个局部指针q,使其指向p。而q=new int(10)这句话的意思是为q重新分配一个空间,并将空间的值设为10,那么此时q其实并没有指向p,也自然不会修改p的值了。
那么应该如何修改呢?
其实只要将q=new int(10)改为*q=10。由于此时q是指向p的,这样修改最直接,有效。但我们今天要讲的不是这种方法,讲一种另外的方法:指针的引用。
指针的引用符号为*&q,也就是在普通指针中间加一个&符号。一旦添加了这个符号,也就意味着q指针成为了p指针的引用,两者“合二为一”了,那么为q指针重新分配空间就等于为p指针重新分配空间。因此,如下代码才是正确的。
void change(int *&q)
{
q=new int(10);
}
举这个例子其实只是为了让大家更好地理解指针引用,我现在来举一个更恰当的例子。比如二叉查找树中的插入操作。插入元素x操作逻辑如下:如果当前结点为空,那么为其新建一个结点来存放需要的值;如果当前结点不为空,那么判断该值与x的大小,如果x与结点值相等,那么插入操作无效,如果x比结点值大,那么往右子树插入,如果x比结点值小,往左子树插入。写成代码如下
void insert(const T&x,node *&n)
{
if(n==NULL)
{
n=new node(x);return;
}
if(n->data==x)return;
if(n->data>x)
insert(x,n->left);
else
insert(x,n->right);
}
我们这里采用了指针的引用,直接为传递进来的空指针来新建一个结点,这样就避免了还要去判断左子树是否为空,右子树是否为空,显得更简洁。