关于指针和引用的区别,首先要了解变量声明的实质。
先看一个代码
int a=10;
该语句其实是在栈上分配了一块内存空间,整数类变量占用4字节,所以这句代码的意思就是分配了一块连续4字节的内存空间,并往该空间存入10 。a代表着这块内存空间的首地址(简称地址,下同),a是个代名,一个标示符,这个名字只存在于源代码,编译之后就是个地址。
所以当定义一个变量时,一个变量其实包含两个属性,地址(占用内存空间)和值,名称代表地址,而当执行赋值语句时,编译器默认往a代表的地址中存入数据(存入所在内存空间),而不是改变地址。
再看一段代码
int a=10;
int &b=a;
声明一个整数类的引用,名称为b,如果说变量含有地址和值两个属性,那么引用不能称为变量,它不具备自己所代表的内存空间更没有自己的值,它仅仅就是个代名词,它什么都没有,所谓徒有虚名,没有实质,它只是a的一个别名,或者说它是借用了a的地址和值,当对b赋值或其他访问时,等于直接在访问a。编译之后也是a的地址。
再看一段代码
int a=10;
int *p=&a;
这段代码的后一句声明了一个指针变量,并取a的地址赋值给p,既然是变量,它就包含2个属性:地址和值,与其他变量不同,它专门用于保存其他变量的地址(地址是个无符号整数,没见过门牌号码是负的^_^),此处p所在内存空间存入a的地址,当然p同样代表自己的地址。
最后再看段代码
void main()
{
int a=10;
int &b=a;
int *p=&a;
fun1(b);
fun2(p);
cout<}
void fun1(int & c)
{
c++;
}
void fun2(int * ptr)
{
*ptr++;
}
上述代码中定义完了后先调用fun1,fun1的形参是引用,因此主函数中将b传入fun1,由于是引用,前面说过,引用只是个别名,它本身没有地址空间,因此传入的其实是a的地址。传入后,编译器对引用不做处理,因此在fun1函数体内,执行c++时,其实就是对a的值加一,编译后c其实就是a的地址,这就是引用作为形参的调用情况。
虽然调用fun2,fun2的形参是指针变量,因此主函数中将p传入fun2,由于p是个变量(指针变量),是变量都有自己的内存空间和值(此处p的值是a的地址),对于变量传递,编译器会复制一份值COPY,因此在函数fun2内部,首先为ptr被分配一个内存空间(创建局部变量,函数退出时释放),然后将外部p的值复制到ptr中,也就是a的地址被复制到ptr中。然后执行*ptr++,就是对ptr所指向的地址中的值加一,也就是对a的值加一。函数通过ptr间接对a操作。
总结:
引用作为形参传入函数时,不做任何处理直接使用,而指针作为形参传入函数时,要为形参分配内存空间创建一个临时局部变量,并将实参指针的值复制到形参中。
void func(int &val) //reference
{
//......
}
void func2(int *pVal) //pointer
{
// ...
}
int main ()
{
int nVal = 10 ;
int&ref = nVal ; //reference to nVal
func(nVal ) ;
func2(&nVal) ;
return 0 ;
}
引用其实就相当于是一个变量的别名,而指针是存储指向变量的地址。引用不会另外占用内存空间,三十指针自己会占用四个字节的内存,存放指向变量的地址,自己设断点调试一下就清楚了
指针是用来指向某个变量,而引用是给变量取个别名,其作用就如同typedef一样。
用引用作形参时在调用函数里就像操作实参一样,不需要考虑实参的地址问题
用指针做形参时,由于指针的值是变量的地址,所以要通过对地址解引用来操作其所指的变量。
在C++里优先选择引用类型作为形参,因为操作一个变量比操作一个指针要简单的多
但用指针作为形参的好处是它可以通过自增或自减改变它的指向。
温馨提示:建议调用函数时,用引用类型的形参!