** 引用的定义:**
引用不是新定义一个变量,而是给已存在变量取了一个别名,编译器不会为引用变量开辟内存空间,它和它引用的变量共用同一块内存空间。
#include<iostream>
using namespace std;
int main()
{
int a = 10;
int& ra = a;
a = 20; //a, ra 都改为20,a,ra的地址一样
return 0;
}
引用的特征
- 引用在定义的时候必须初始化
- 一个变量可以有多个引用
- 引用一旦引用某个实体,再不能引用其他实体
常引用
#include<iostream>
using namespace std;
int main()
{
const int a = 10;
const int& ra = a;
const int& c = 10;//引用一个常数
int b = 10;
const double& rb = b;//类型的引用,b先转换成一个常量,rb是常量的别名
b = 20;//rb不改变
return 0;
}
引用的使用
- 作参数
不需要另外开闭空间,实参只是形参的别名
void Swap(int& left, int& right)
{
int temp = left;
left = right;
right = temp;
}
- 作返回值
函数的栈帧调用结束之后,变量必须依然存在,否则不能返回引用
int& TestRefReturn(int& a)
{
a += 10;
return a;
}
传值和传引用的比较
在传值作形参的时候,形参是实参的一份临时拷贝,需要开闭空间,而引用只是一个别名,不需要开闭空间,效率高。
在传值作返回值的时候,需要开闭空间,函数的栈帧结束之后,栈上的空间已经归还系统,因此返回值是另外开辟了空间保存返回值,而用引用做返回值的条件是,函数调用结束之后,改变量或者对象必须依然存在,不需要开辟空间,效率高。
指针和引用的区别
a.在语法上指针开辟了空间,保存了变量的地址;引用没有开辟空间,只是起了一个别名
b.在底层实现上,引用是按照指针实现的,两者的汇编代码一致
- 引用在定义时必须初始化,指针没有要求
- 引用在初始化时引用一个实体后,就不能再引用其他实体,而指针可以在任何时候指向任何一个同类型实体
- 没有NULL引用,但有NULL指针
- 在sizeof中含义不同:引用结果为引用类型的大小,但指针始终是地址空间所占字节个数(32位平台下占4个字节)
- 引用自加即引用的实体增加1,指针自加即指针向后偏移一个类型的大小
- 有多级指针,但是没有多级引用
- 访问实体方式不同,指针需要显式解引用,引用编译器自己处理
- 引用比指针使用起来相对更安全