浅谈C++引用

c++增加引用的主要目的是利用它作为函数参数，以便扩充函数传递数据的功能。

c语言中，将变量名作为实参。这时将变量的值传递给形参。传递是单向的，在调用函数时，形参和实参不是同一个存储单元。在执行函数期间形参值发生变化并不传回给实参。

例1 以变量为实参不能实现交换变量的值的示例

#include <iostream>using namespace std;void Swap(int a,int b){    int t=a;    a=b;    b=t;    cout<<a<<"   "<<b<<endl;}int main(){    int m=6,n=8;    Swap(m,n);    cout<<m<<"   "<<n<<endl;    system("PAUSE");    return 0;}

运行结果为

8 6
6 8

可见在执行函数后a,b值的改变并不影响m,n的值。

为了解决上面的问题，c语言中可以使用指针传递变量地址的方法，使形参得到一个变量的地址，这时形参指针指向参数变量单元

例2 用指针变量作形参，实现两个变量值的互换

#include <iostream>using namespace std;void Swap(int *p,int *q){    int t=p;    *p=*q;    *q=t;}int main(){    int m=6,n=8;    Swap(&m,&n);    cout<<m<<"   "<<n<<endl;    system("PAUSE");    return 0;}

调用函数时把变量m和n的地址传送给形参p和q，因此*p和m为相同的内存单元，*q和n也为相同的内存单元。

这种通过变量地址为实参间接实现交换变量的值的方法可读性较差。在c++中把变量的引用作为函数形参，由于形参是实参的引用，也就是形参是实参的别名，这样对形参的操作等价于对实参的操作。

例3 利用引用形参实现交换两个变量的值

#include <iostream>using namespace std;void Swap(int &p,int &q){    int t=a;    a=b;    b=t;}int main(){    int m=6,n=8;    Swap(m,n);    cout<<m<<"   "<<n<<endl;    system("PAUSE");    return 0;}

如果形参为变量的引用名，实参为变量名，则在调用函数时，并不是为形参另外开辟一个存储空间，而是把实参变量的地址传给形参（引用名），也就是使形参a和变量m有相同的地址。

指针传递和引用传递

为了更好的理解指针和引用，我们下面来介绍一下指针传递和引用传递。当指针和引用作为函数的函数是如何传值的呢？（下面这一段引用了C++中引用传递与指针传递区别）

指针传递参数本质上是值传递的方式，它所传递的是一个地址值。值传递过程中，被调函数的形式参数作为被调函数的局部变量处理，即在栈中开辟了内存空间以存放由主调函数放进来的实参的值，从而成为了实参的一个副本。值传递的特点是被调函数对形式参数的任何操作都是作为局部变量进行，不会影响主调函数的实参变量的值。

引用传递过程中，被调函数的形式参数也作为局部变量在栈中开辟了内存空间，但是这时存放的是由主调函数放进来的实参变量的地址。被调函数对形参的任何操作都被处理成间接寻址，即通过栈中存放的地址访问主调函数中的实参变量。正因为如此，被调函数对形参做的任何操作都影响了主调函数中的实参变量。

引用传递和指针传递是不同的，虽然它们都是在被调函数栈空间上的一个局部变量，但是任何对于引用参数的处理都会通过一个间接寻址的方式操作到主调函数中的相关变量。而对于指针传递的参数，如果改变被调函数中的指针地址，它将影响不到主调函数的相关变量。如果想通过指针参数传递来改变主调函数中的相关变量，那就得使用指向指针的指针，或者指针引用。

从概念上讲。指针从本质上讲就是存放变量地址的一个变量，在逻辑上是独立的，它可以被改变，包括其所指向的地址的改变和其指向的地址中所存放的数据的改变。

而引用是一个别名，它在逻辑上不是独立的，它的存在具有依附性，所以引用必须在一开始就被初始化，而且其引用的对象在其整个生命周期中是不能被改变的（自始至终只能依附于同一个变量）。

在C++中，指针和引用经常用于函数的参数传递，然而，指针传递参数和引用传递参数是有本质上的不同的：

指针传递参数本质上是值传递的方式，它所传递的是一个地址值。值传递过程中，被调函数的形式参数作为被调函数的局部变量处理，即在栈中开辟了内存空间以存放由主调函数放进来的实参的值，从而成为了实参的一个副本。值传递的特点是被调函数对形式参数的任何操作都是作为局部变量进行，不会影响主调函数的实参变量的值。（这里是在说实参指针本身的地址值不会变）

而在引用传递过程中，被调函数的形式参数虽然也作为局部变量在栈中开辟了内存空间，但是这时存放的是由主调函数放进来的实参变量的地址。被调函数对形参的任何操作都被处理成间接寻址，即通过栈中存放的地址访问主调函数中的实参变量。正因为如此，被调函数对形参做的任何操作都影响了主调函数中的实参变量。

引用传递和指针传递是不同的，虽然它们都是在被调函数栈空间上的一个局部变量，但是任何对于引用参数的处理都会通过一个间接寻址的方式操作到主调函数中的相关变量。而对于指针传递的参数，如果改变被调函数中的指针地址，它将影响不到主调函数的相关变量。如果想通过指针参数传递来改变主调函数中的相关变量，那就得使用指向指针的指针，或者指针引用。

为了进一步加深大家对指针和引用的区别，下面我从编译的角度来阐述它们之间的区别：

程序在编译时分别将指针和引用添加到符号表上，符号表上记录的是变量名及变量所对应地址。指针变量在符号表上对应的地址值为指针变量的地址值，而引用在符号表上对应的地址值为引用对象的地址值。符号表生成后就不会再改，因此指针可以改变其指向的对象（指针变量中的值可以改），而引用对象则不能修改。

最后，总结一下指针和引用的相同点和不同点：

相同点：

• 都是地址的概念；

• 指针指向一块内存，它的内容是所指内存的地址；而引用则是某块内存的别名。

不同点：

• 指针是一个实体，而引用仅是个别名；

• 引用只能在定义时被初始化一次，之后不可变；指针可变；引用“从一而终”，指针可以“见异思迁”；

• 引用不能为空，指针可以为空；

• “sizeof 引用”得到的是所指向的变量(对象)的大小，而“sizeof 指针”得到的是指针本身的大小；

• 指针和引用的自增(++)运算意义不一样；

• 引用是类型安全的，而指针不是 (引用比指针多了类型检查)