VB中的函数或过程的参数有2种传递方式:一种是值传递;一种是引用传递。分别用关键字ByVal和关键字ByRef指出。如果参数是以引用传递的话,函数或过程内部就可以靠这个引用参数来改变外部变量的值。在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时,编译器编译的二进制代码都将传递一个双重指针。
“引用”仅仅是为了给重载操作符提供了方便之门,其本质和指针是没有区别的。