C++学习之路—引用（一）

（根据《C++程序设计》（谭浩强）整理，整理者：华科小涛，@http://www.cnblogs.com/hust-ghtao转载请注明）

对一个数据可以建立一个“引用”，它的作用是为一个变量起一个别名。这是C++对C的一个重要扩充。本系列分两篇，本篇为基础篇，主要是介绍基本知识。

1 基本概念及注意事项

1.1 引用概念

假如有一个变量a，想给它起一个别名b，可以这样写：

   1: int a ;

   2: int &b = a ; //声明b是a的“引用”

以上声明了b是a的引用，即b是a的别名。经过这样的声明后，使用a和b的作用相同，都代表同一个变量。注意：在上述声明中，&是引用声明符，并不代表地址。在数据类型名出现的&是引用声明符，在其他场合出现的都是取地址符。声明变量b为引用，并不需要另外开辟内存单元来存放b的值。b和a占内存中同一内存单元它们具有同一地址。即声明b是a的引用，可以理解为：使变量b具有变量a的地址。

1.2 注意事项

（1）引用不是一种独立的数据类型。对引用只有声明，没有定义。

必须先定义一个变量，然后声明对该对象建立一个引用。关于定义和引用的具体区别，将会在近期的博客中整理。暂时可以简单的这样理解：变量定义，用于为变量分配存储空间，还可为变量指定初始值；变量声明，用于向程序表明变量的类型和名字。

（2）声明一个引用时，必须同时使之初始化，即声明它代表哪一个变量。

注意：当引用作为函数形参时不必在声明中初始化，它的初始化是在函数调用时的虚实结合实现的，即作为形参的引用是实参的别名。

（3）声明一个引用后，不能再使之作为另一个变量的引用。

比如声明了b是变量a的引用后，在其有效作用范围内，b始终与其代表的变量a联系，不能在作为其他变量的引用，例如下面的用法就不合法：

   1: int a1 ,a2 ;

   2: int &b = a1 ; //声明b是a1的引用

   3: int &b = a2 ; //试图使b又变成a2的引用，不合法

（4）不能建立引用数组。

下面的用法不合法：

   1: int a[5] ;

   2: int &b[5] = a ; //错误，不能建立引用数组

   3: int &b = a[0] ; //错误，不能建立数组元素的引用

（5）不能建立引用的引用。

下面的用法也不合法：

   1: int a = 3 ;

   2: int &b = a ; //声明b是a的引用，正确

   3: int &c = b ; //错误，试图建立引用的引用

2 引用的应用

唉？好奇怪啊，有了变量名，为什么还需要一个别名呢？C++之所以增加引用机制，主要一个方面就是把它作为函数的参数，以扩充函数传递数据的功能。闲话少说，上例子！

为了说明引用的作用，我们写函数实现两个数据值得交换。有人说这还不简单，信手拈来嘛：

   1: void swap (int a ,int b)

   2: {

   3:     int temp = a ;

   4:     a = b ;

   5:     b = temp ;

   6: }

若在主函数中调用此函数，试图交换变量i和j的值：

   1: int i = 3 ;

   2: int j = 5 ;

   3: swap(i,j) ;

唉,好奇怪,怎么没有得到正确答案呢?这就要说道函数参数传递的机制了,这位同学想通过改变形参的值,而改变实参的值,但是他用的函数参数传递机制却是:

(1) 将变量名作为实参和形参。

这时传给形参的是变量的值,传递是单向的.如果在执行函数期间形参的值发生变化,并不传回给实参.因为在函数调用时,形参和实参不是同一个存储单元。

那又有同学说了，那可以传递变量的地址啊，说着就写出了下述程序：

   1: void swap(int* p1 ,int* p2)

   2: {

   3:     int temp ;

   4:     temp = *p1 ;

   5:     *p1 = *p2 ;

   6:     *p2 = temp ;

   7: }

也在主函数中测试了一下:

   1: int i = 3 ;

   2: int j = 5 ;

   3: swap(&i,&j) ;

然后测试i,j的值,得到了正确答案。这位同学是利用了第二种参数传递的机制：

（2）传递变量的地址。

形参是指针变量，实参是一个变量的地址，调用函数时，形参（即指针变量）得到实参变量的地址，从而指向实参变量单元。调用函数时把变量i和j的地址传送给形参p1和p2 。所以p1就指向变量i，p2就指向j。通过交换指针所指的值，当然就交换了i和j 。这种方式通过形参变量指针访问主函数中的变量，并改变它们的值，虽然能得到正确结果，但是在概念上却是兜了一个圈子。下面就介绍第三种写法：

   1: void swap(int &a , int &b)

   2: {

   3:     int temp ;

   4:     temp = a ;

   5:     a = b ;

   6:     b = temp ;

   7: }

主函数中:

   1: int i = 3 ;

   2: int j = 5 ;

   3: swap(i,j) ;

也得到了正确结果。这里用到了第三种参数传递机制：

（3）以引用作为形参，在虚实结合中建立变量的引用，使形参名作为实参的引用，即形参称为实参的引用。

当main函数调用swap函数时，进行虚实结合，把实参变量i和j的地址传递给形参a和b，使a称为i的别名，b称为j的别名，当然a和b的值交换了，i和j的值也交换了。这就是地址传递方式。

那么这三种传递参数的方式有啥不同呢：

其实上述三种传递方式，可归纳为两种：传值方式和传址方式。

传值方式：（1）和（2）是传值方式，在（1）中，把变量i和j的值传递给形参a和b。在（2）中，把&i和&j的值传递给指针变量p1和p2 。在此方式中实参是地址（&i和&j），传递的是地址，故仍然是传值方式，不是传址方式。传值方式在调用函数时，需要对形参分配存储单元。

传址方式：（3）为此方式，实参不是地址而是变量名，由于形参是引用，系统会自动的将形参的地址传递给形参。注意：此时传送的是地址而不是实参变量的值。

总结一下：用引用形参的方法比使用指针简单、直观、方便，可以部分代替指针的操作。当然这只是引用的用处之一，引用的厉害指出多着呢，待后续娓娓道来。。。