对一个数据可以使用“引用”(reference),这是C++对C的一个重要扩充,引用是一种新的变量类型,它的作用是为一个变量起一个别名。假如有一个变量a,想给它起一个别名b,可以这样写:
int a; //定义a是整型变量
int &b=a; //声明b是a的引用

注意: 在上述声明中,&是引用声明符,并不代表地址。不要理解为“把a的值赋给b的地址”。声明变量b为引用类型,并不需要另外开辟内存单元来存 放b的值。b和a占内存中的同一个存储单元,它们 具有同一地址。声明b是a的引用,可以理解为: 使变量b具有变量a的地址。如果a的值是20,则b的值也是20。

在声明一个引用类型变量时,必须同时使之初始化,即声明它代表哪一个变量。在声明变量b是变量a的引用后,在它们所在函数执行期间,该引用类型变量b始终与其代表的变量a相联系,不能再作为其他变量的引用(别名)。下面的用法不对:
int a1,a2;
int &b=a1;

这种传递方式和使用指针变量作形参时有何不同:
(1)使用引用类型就不必在swap函数中声明形参是指针变量。指针变量要另外开辟内存单元,其内容是地址。而引用变量不是一个独立的变量,不单独占内存单元,在例6.20中引用变量a和b的值的数据类型与实参相同,都是整型。

引用作为函数参数

有了变量名,为什么还需要一个别名呢?C++之所以增加引用类型, 主要是把它作为函数参数,以 扩充函数传递数据的功能。

 1 #include <iostream> 2 using namespace std; 3  4 int main() 5 { 6     void sort(int &, int &, int &); 7     int i, j, k; 8     cin >> i >> j >> k; 9     sort(i, j, k);10     cout << i << " " << j << " " << k << endl;11     return 0;12 }13 14 void sort(int &i, int &j, int &k)15 {16     void change(int &a, int &b);17     if(i > j) change(i, j);18     if(i > k) change(i, k);19     if(j > k) change(j, k);    20 }21 22 void change(int &a, int &b)23 {24     int tmp;25     tmp = a;26     a = b;27     b = tmp;28 }