什么是变量的引用
对一个数据可以使用“ 引用(reference) ”,这是C++对C的一个重要扩充,引用是一种新的变量类型,它的作用是为一个变量起一个别名。假如有一个变量a,想给它起一个别名b,可以这样写:int a; //定义a是整型变量
int &b=a; //声明b是a的引用
以上语句声明了b是a的引用,即b是a的别名。经过这样的声明后,a或b的作用相同,都代表同一变量。
注意: 在上述声明中,&是引用声明符,并不代表地址。 不要理解为“把a的值赋给b的地址”。 声明变量b为引用类型,并不需要另外开辟内存单元来存放b的值。b和a占内存中的同一个存储单元,它们具有同一地址。 声明b是a的引用,可以理解为: 使变量b具有变量a的地址。 见图6.26,如果a的值是20,则b的值也是20。 同时,a或b的变化都会引起对方的变化。
![](http://see.xidian.edu.cn/cpp/uploads/allimg/140512/1-140512223354128.png)
图6.26
在声明一个引用类型变量时,必须同时使之初始化,即声明它代表哪一个变量。 在声明变量b是变量a的引用后,在它们所在函数执行期间, 该引用类型变量b始终与其代表的变量a相联系,不能再作为其他变量的引用(别名)。 下面的用法不对:
int a1, a2;
int &b=a1;
int &b=a2; //企图使b又变成a2的引用(别名)是不行的
引用的简单使用
【例6.17】引用和变量的关系。
- #include <iostream>
- #include <iomanip>
- using namespace std;
- int main( )
- {
- int a=10;
- int &b=a; //声明b是a的引用
- a=a*a; //a的值变化了,b的值也应一起变化
- cout<<a<<setw(6)<<b<<endl;
- b=b/5; //b的值变化了,a的值也应一起变化
- cout<<b<<setw(6)<<a<<endl;
- return 0;
- }
100 100 (a和b的值都是100)
20 20 (a和b的值都是20)
我们知道,一个变量的引用就是变量的别名。实质上,变量名和引用名都指向同一段内存单元。
如果形参为变量的引用名,实参为变量名,则在调用函数进行虚实结合时,并不是为形参另外开辟一个存储空间(常称为建立实参的一个拷贝), 而是把实参变量的地址传给形参(引用名),这样引用名也指向实参变量。
[例9.8] 对象的常引用。
- #include <iostream>
- using namespace std;
- class Time
- {
- public:
- Time(int,int,int);
- int hour;
- int minute;
- int sec;
- };
- Time::Time(int h,int m,int s) //定义构造函数
- {
- hour=h;
- minute=m;
- sec=s;
- }
- void fun(Time &t)
- {
- t.hour=18;
- }
- int main( )
- {
- Time t1(10,13,56);
- fun(t1);
- cout<<t1.hour<<endl;
- return 0;
- }
void fun(const Time &t);
则在函数中不能改变t的值,也就是不能改变其对应的实参t1的值。
在C++面向对象程序设计中,经常用常指针和常引用作函数参数。这样既能保证数据安全,使数据不能被随意修改,在调用函数时又不必建立实参的拷贝。
每次调用函数建立实参的拷贝时,都要调用复制构造函数,要有时间开销。用常指针和常引用作函数参数,可以提高程序运行效率。