指针与指针的引用

VB中的函数或过程的參数有2种传递方式：一种是值传递；一种是引用传递。分别用keywordByVal和keywordByRef指出。假设參数是以引用传递的话，函数或过程内部就能够靠这个引用參数来改变外部变量的值。在C语言中，假设要实如今函数内部改变外部变量的值的话，就应该传递这个变量的指针。假设要通过指针訪问变量，必须使用指针运算符“*”。这样在源码中就会显得比較别扭：

void function(int *pval)
{
*pval=100;
//pval=100;先不考虑此处类型转换的错误
//该代码仅仅能改变堆栈中暂时指针变量的地址，而不能改变指针指向对象的值
}

int main()
{
int x=200;
function(&x);
return 0;
}

为了能透明地使用指针来訪问变量，C++中引入了“引用”的概念：

void function(int &refval)
{
refval=100;
}

int main()
{
int x=200;
function(x);
//当然，例如以下调用也能够。但这样做就失去引入"引用"的原本意义了
int &refx=x;
function(refx);
return 0;
}

这样一来，仅仅要改一下函数声明，就能够在源码的级别上实现指针訪问和一般訪问的一致性。能够把“引用”想象成一个不须要“*”操作符就能够訪问变量的指针。上面的代码的C语言形式的伪代码：

void function(int *refal)
{
*refval=100;
}

int main()
{
int x=200;
int *refx=&x;
function(&x);
function(refx);
return 0;
}

依据函数的声明，C++编译器在遇到“function (x);”语句时，会自己主动转换成“function(&x);”形式的二进制代码。

来看“int **pp”和“int *&rp”差别。前者是一个指向指针的指针；后者是一个指针的引用。假设这样看不明确的话，变换一下就清楚了：

typedef int * LPINT;
LPINT *pp;
LPINT &rp;

以下这两个函数的二进制代码是一致的：

void function1(int **p)
{
**p=100;
*p=NULL;
}

void function2(int *&ref)
{
*ref=100;
ref=NULL;
}

在调用function1或function2时，编译器编译的二进制代码都将传递一个双重指针。

“引用”不过为了给重载操作符提供了方便之门，其本质和指针是没有差别的。