1、基本概念
引用就是某一变量(目标)的一个别名,对引用的操作与对变量直接操作完全一样。
2、特性
(1)&在此不是求地址运算,而是起标识作用。
(2)类型标识符是指目标变量的类型。
(3)声明引用时,必须同时对其进行初始化。
(4)引用声明完毕后,相当于目标变量名有两个名称,即该目标原名称和引用名,且不能再把该引用名作为其他变量名的别名。
(5)声明一个引用,不是新定义了一个变量,它只表示该引用名是目标变量名的一个别名,它本身不是一种数据类型,因此引用本身不占存储单元,系统也不给引用分配存储单元。故:对引用求地址,就是对目标变量求地址。&ra与&a相等。
(6)不能建立数组的引用。因为数组是一个由若干个元素所组成的集合,所以无法建立一个数组的别名
3、使用场景
(1)引用作为参数:
引用的一个重要作用就是作为函数的参数。以前的C语言中函数参数传递是值传递,如果有大块数据作为参数传递的时候,采用的方案往往是指针,因为这样可以避免将整块数据全部压栈,可以提高程序的效率。但是现在(C++中)又增加了一种同样有效率的选择(在某些特殊情况下又是必须的选择),就是引用。引用传参的时候其实类似于传的地址
(2)常引用
(1)常引用声明方式:const 类型标识符 &引用名=目标变量名;
(2)用这种方式声明的引用,不能通过引用对目标变量的值进行修改,从而使引用的目标成为const,达到了引用的安全性
(3)引用作为返回值
定义格式:
类型标识符 &函数名(形参列表及类型说明)
{函数体}
优点:用引用返回一个函数值的最大好处是,在内存中不产生被返回值的副本。
需要遵守的规则
(1)不能返回局部变量的引用。主要原因是局部变量会在函数返回后被销毁,因此被返回的引用就成为了”无所指”的引用,程序会进入未知状态。
(2)不能返回函数内部new分配的内存的引用。虽然不存在局部变量的被动销毁问题,可对于这种情况(返回函数内部new分配内存的引用),又面临其它尴尬局面。例如,被函数返回的引用只是作为一个临时变量出现,而没有被赋予一个实际的变量,那么这个引用所指向的空间(由new分配)就无法释放,造成memory leak。
(3)可以返回类成员的引用,但最好是const。主要原因是当对象的属性是与某种业务规则(business rule)相关联的时候,其赋值常常与某些其它属性或者对象的状态有关,因此有必要将赋值操作封装在一个业务规则当中。如果其它对象可以获得该属性的非常量引用(或指针),那么对该属性的单纯赋值就会破坏业务规则的完整性。
(4)引用于操作符重载之间有着重要关系:赋值操作符=和流操作符<<和>>的重载必须使用引用解决,但是四则运算符不能用引用
(4)引用与多态
引用是除指针外另一个可以产生多态效果的手段。这意味着,一个基类的引用可以指向它的派生类实例
4、指针和引用的区别
1、引用必须初始化,指针不用,但是最好初始化
2、可以有const指针,但是不能有const引用
3、指针可以有多级,但是引用只能有一级
4、指针的指向可以改变,但是引用在初始化后就不能改变了
5、指针的初始化可以为NULL,但是引用不可以
6、sizeof对于引用得到的是所引用的目标的大小,而对于指针,则得到的是指针本身的大小
7、指针和引用自增(++)不同,引用是值进行自增,而指针是地址进行自增