C++中的引用&详解
概念
引用就是某一变量(目标)的一个别名,对引用的操作与对变量直接操作完全一样。
使用方法
引用的声明方法:类型标识符 &引用名=目标变量名;
与指针的区别
引用是C++对C语言的一个重要的扩展,与指针类似,但仍有一些不同点,主要分为以下几点:
- 从内存上讲,系统为指针分配内存空间,而引用与绑定的对象共享内存空间,系统不为引用变量分配内容空间(内容空间不是其自身空间,在C++内部实现是一个常指针,4字节);
- 指针初始化以后可以更改指向对象,而引用定义的时候必须要初始化,且初始化以后不允许重新再绑定对象;
- 所以引用空间对象是直接访问,指针访问对象是间接;
- 如pa是指针,*pa就是引用;
引用应用
1.引用作为参数
引用的一个重要作用就是作为函数的参数。以前的C语言中函数参数传递是值传递,如果有大块数据作为参数传递的时候,采用的方案往往是指针,因为这样可以避免将整块数据全部压栈,可以提高程序的效率。但是现在(C++中)又增加了一种同样有效率的选择(在某些特殊情况下又是必须的选择),就是引用。
例:数据交换(引用 使用方式)
#include<iostream> using namespace std; void swap(int &p1, int &p2) //此处函数的形参p1, p2都是引用 { int p; p = p1; p1 = p2; p2 = p; } int main( ) { int a, b; cin >> a>> b; //输入a,b两变量的值 swap(a, b); //直接以变量a和b作为实参调用swap函数 cout << a<< ' ' << b; //输出结果
return 0; }
例:数据交换(指针使用方式)
#include<iostream> using namespace std; void swap(int *p1, int *p2) { int *p; p = p1; p1 = p2; p2 = p; } int main() { int a,b; cin>>a>>b; //输入a,b两变量的值 swap(&a, &b); return 0; }
优劣势比较:
- 使用引用传递函数的参数,在内存中并没有产生实参的副本,它是直接对实参操作;而使用一般变量传递函数的参数,当发生函数调用时,需要给 形参分配存储单元,形参变量是实参变量的副本;如果传递的是对象,还将调用拷贝构造函数。因此,当参数传递的数据较大时,用引用比用一般变量传递参数的效 率和所占空间都好。
- 使用指针作为函数的参数虽然也能达到与使用引用的效果,但是,在被调函数中同样要给形参分配存储单元,且需要重复使用"*指针变量名"的 形式进行运算,这很容易产生错误且程序的阅读性较差;另一方面,在主调函数的调用点处,必须用变量的地址作为实参。而引用更容易使用,更清晰。
2.常引用
使用方法:const 类型标识符 &引用名 = 目标变量名;
#include<iostream> using namespace std; int main() { int a ; const int &ra=a; ra=1; //错误 a=1; //正确 return 0; } string foo( ); void bar(string & s); //那么下面的表达式将是非法的: bar(foo( )); bar("hello world"); /* 原因在于foo( )和"hello world"串都会产生一个临时对象,
而在C++中,这些临时对象都是const类型的。因此上面的表达式
就是试图将一个const类型的对象转换为非const类型,这是非法的。*/
3.引用作为返回值
使用方法:
类型标识符 &函数名(形参列表及类型说明)
{函数体}
优势:用引用返回一个函数值的最大好处是,在内存中不产生被返回值的副本。
例:f1 和 f2 两个函数都是计算圆面积,返回不同类型的数值,f1 返回值,f2返回temp的引用。
#include <iostream.h> float temp; //定义全局变量temp float fn1(float r); //声明函数fn1 float &fn2(float r); //声明函数fn2 float fn1(float r) //定义函数fn1,它以返回值的方法返回函数值 { temp = (float)(r * r * 3.14); return temp; } float &fn2(float r) //定义函数fn2,它以引用方式返回函数值 { temp = (float)( r * r * 3.14); return temp; } void main() //主函数 { float a = fn1(10.0); //第1种情况,系统生成要返回值的副本(即临时变量) float &b = fn1(10.0); //第2种情况,可能会出错(不同 C++系统有不同规定) //不能从被调函数中返回一个临时变量或局部变量的引用 float c = fn2(10.0); //第3种情况,系统不生成返回值的副本 //可以从被调函数中返回一个全局变量的引用 float &d = fn2(10.0); //第4种情况,系统不生成返回值的副本 //可以从被调函数中返回一个全局变量的引用 cout << a << c << d; }
!!!引用作为返回值,必须遵守以下规则:
1.不能返回局部变量的引用。主要原因是局部变量会在函数返回后被销毁,因此被返回的引用就成为了"无所指"的引用,程序会进入未知状态。
2.不能返回函数内部new分配的内存的引用。虽然不存在局部变量的被动销毁问题,可对于这种情况(返回函数内部new分配内存的引用),又面临其它尴尬局面。例如,被函数返回的引用只是作为一 个临时变量出现,而没有被赋予一个实际的变量,那么这个引用所指向的空间(由new分配)就无法释放,造成memory leak。
3.可以返回类成员的引用,但最好是const。这条原则可以参照Effective C++[1]的Item 30。主要原因是当对象的属性是与某种业务规则(business rule)相关联的时候,其赋值常常与某些其它属性或者对象的状态有关,因此有必要将赋值操作封装在一个业务规则当中。如果其它对象可以获得该属性的非常 量引用(或指针),那么对该属性的单纯赋值就会破坏业务规则的完整性。
4.引用作为左值时:
例:用返回引用的函数值作为赋值表达式的左值。
#include <iostream.h> int &put(int n); int vals[10]; int error = -1; void main() { put(0) = 10; //以put(0)函数值作为左值,等价于vals[0]=10; put(9) = 20; //以put(9)函数值作为左值,等价于vals[9]=20; cout << vals[0]; cout << vals[9]; } int &put(int n) { if (n>=0 && n<=9 ) return vals[n]; else { cout<<"subscript error"; return error; } }
5.一些操作符中,却千万不能返回引用:+-*/ 四则运算符。它们不能返回引用,主要原因是这四个操作符没有side effect。
4.引用和多态
概念:引用是除指针外另一个可以产生多态效果的手段。这意味着,一个基类的引用可以指向它的派生类实例。
class A; class B:public A{……}; B b; A &Ref = b; // 用派生类对象初始化基类对象的引用
Ref 只能用来访问派生类对象中从基类继承下来的成员,是基类引用指向派生类。如果A类中定义有虚函数,并且在B类中重写了这个虚函数,就可以通过Ref产生多态效果。
5.指针的引用
下例有助理解指针方面的知识,指针的指针,指针的引用进行比较。
#include <iostream> using namespace std; struct Teacher { int age; char name[64]; };
//指针的指针 int getTeacherWayFirst(Teacher **p) { Teacher *tmp = NULL; if(p == NULL) { return -1; } tmp = (Teacher *)malloc(sizeof(Teacher)); if(tmp == NULL) { return -2; } tmp->age = 33; *p = tmp; }
//指针的引用 int getTeacherWaySecond(Teacher * &p) { p = (Teacher *)malloc(sizeof(Teacher)); if(p == NULL) { return -1; } p->age = 36; }
//释放分配的空间 void freeTeacher(Teacher *pT1) { if (pT1 == NULL) { return ; } free(pT1); } int main() { Teacher *pT1 = NULL; getTeacherWayFirst(&pT1); cout << pT1->age << endl; freeTeacher(pT1); getTeacherWaySecond(pT1); cout << pT1->age << endl; freeTeacher(pT1); return 0; }
总结
(1)在引用的使用中,单纯给某个变量取个别名是毫无意义的,引用的目的主要用于在函数参数传递中,解决大块数据或对象的传递效率和空间不如意的问题。
(2)用引用传递函数的参数,能保证参数传递中不产生副本,提高传递的效率,且通过const的使用,保证了引用传递的安全性。
(3)引用与指针的区别是,指针通过某个指针变量指向一个对象后,对它所指向的变量间接操作。程序中使用指针,程序的可读性差;而引用本身就是目标变量的别名,对引用的操作就是对目标变量的操作。
(4)使用引用的时机。流操作符<<和>>、赋值操作符=的返回值、拷贝构造函数的参数、赋值操作符=的参数、其它情况都推荐使用引用。