概念
引用就是某一变量(目标)的一个别名,对引用的操作与对变量直接操作完全一样。
使用方法
引用的声明方法:类型标识符 &引用名=目标变量名;
与指针的区别
引用是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)使用引用的时机。流操作符<<和>>、赋值操作符=的返回值、拷贝构造函数的参数、赋值操作符=的参数、其它情况都推荐使用引用。