1.概念
引用不是新定义一个变量,而是给已定义的变量换一个名称,编译器不会单独给引用开辟一块空间,因为它和引用的变量是同一块内存空间
eg:李逵,在家称“铁牛”,江湖上称“黑旋风”,还是指的同一个人
结构:类型& 引用变量名=引用实体
void test()
{
int a=0;
int& ra=a;
printf("%p",&a);
printf("%p",&ra);
}
需要注意的是:引用类型必须和实体类型一致
2.特性
-
引用在定义时必须初始化
- 一个变量可以有多个引用
- 引用一旦引用一个实体了,就不能再引用另外的实体
void func()
{
//初始化
int a=0;
//多个引用
int& ra=a;
int& b =a;
//引用多个实体
int x=1;
int& a =x;
}
3.常用体
void test()
{
const int a=10;
int b=a;//赋值不受影响
int& ra=a;//权限的放大,因为a被const限制了,编译错误
const int& rra=a;//权限的平移,编译通过
int& b=10;//编译错误,b为常量
const int& b=10;//编译通过
double d=3.14;
int& rd=d;//编译错误,类型不同
const int& rd=d;//隐式类型转化,会产生一个中间的临时变量,临时变量具有常性
}
需要注意的是权限可以平移和缩小,但是不能放大
4.使用场景
4.1做参数
void swap(int& left,int& right)
{
int tmp=left;
left=right;
right=tmp;
}
4.2做返回值
int& test()
{
static int n=0;
n++;
return n;
}
但做返回值时常会伴随一些问题
int& Add(int x,int y)
{
return x+y;
}
int main()
{
int& ret=Add(1,2);
Add(3,4);
cout<<"Add(1,2) is:"<<endl;
return 0;
}
那这里结果为什么是7呢?
需要注意的是:函数返回时,出了函数作用域,返回对象还在(还没给系统),则可使用引用返回,返回系统了,必须使用传值返回
4.3传值、传引用返回
传值传参(任何时候都可以)
- 提高效率
- 输出型参数(形参修改影响实参)
传引用返回(出了函数作用域,对象还有)
- 提高效率
- 修改返回对象
5.引用和指针的区别
引用在底层实现上是有空间的,因为引用是按照指针方式实现的
int main()
{
int a=10;
int& ra=a;;
ra=20;
int* pa=&a;
*pa=20;
return 0;
}
不同点:
- 引用概念上定义一个变量的别名,指针储存一个变量的地址
- 引用定义时必须初始化,指针不要求
- 引用在初始化引用一个实体后,不能引用其它实体,指针可以在任何时候指向同一个类型的实体
- 没有NULL引用,有NULL指针
- sizeof含义不同,引用为引用类型的大小,指针为4/8个字节
- 引用自加,即引用的实体加1,指针自加即指针向后偏移一个类型
- 有多级指针,没多级引用
- 引用比指针使用相对安全
- 访问实体方式不同,指针需要显示解引用,引用编译器自己处理