一、引用的概念
引用不是新定义一个变量,而是给已存在变量取了一个别名,编译器不会为引用变量开辟内存空间,它和它引用的变量共用同一块内存空间。
类型& 引用变量名(对象名) = 引用实体;
注意:引用类型必须和引用实体是同种类型的。
void TestRef()
{
int a = 10;
int& ra = a;//<====定义引用类型
printf("%p\n", &a);
printf("%p\n", &ra);
}
二、引用的特性
- 引用在定义时必须初始化
- 一个变量可以有多个引用
- 引用一旦引用一个实体,再不能引用其他实体
三、常引用
引用在初始化赋值时,权限可以缩小,但不能放大。
(一)
const int a = 10;
//int& b = a;
const int& b = a;
这里,a是一个常变量,不能修改。而b是作为一个int型,是可以修改的,从意义上来说,这样是矛盾的。权限被放大了。因此在前面加上一个 const 就正确了。
(二)
int c = 10;
const int& d = c;//可以被允许
可以被允许,因为d作为一个const int类型,权限要比c本身小。
(三)
double dd = 2.22;
int i = dd;
//int& ri = dd; 错误
const int& ri = dd;
整型和浮点数之间互相隐式类型转换,在dd赋值给 i 的过程中,需要复杂变化,产生了一个临时变量。 实际上,dd是先赋值给那个临时变量,临时变量再赋值给i 。所以在引用时,ri引用的不是dd,而是那个临时变量,而临时变量具有常性,所以要用const int类型。
以后我们会经常用 “引用” 去做参数,这样做的好处是:
(1)引用做参数不需要拷贝
(2)如果函数中不改变参数值,尽量加const
a.实参可以使变量,也可以是常量,范围接受的比较宽泛
b.如果形参和实参之间存在隐式类型转换,也可以传递
四、使用场景(作用)
1、引用做参数
- 较适用于输出型参数:函数里面的改变,外面可以拿到
- 参数为大对象时,引用传参可以提高效率
void Swap(int& a, int& b)
{
int temp = a;
a = b;
b = temp;
}
2、引用做返回值(对比传值返回)
int Count()//传值返回
{
static int n = 0;
n++;
// ...
return n;
}
int main()
{
int ret = Count();
}
两次拷贝:这里把n拷贝给生成的临时变量,临时变量再拷贝给ret(临时变量的空间开在main函数中)。
int& Count()//传引用返回
{
static int n = 0;//这里不能去掉static,static的作用是延长 变量的生命周期。如果去掉,出了函数,n被销毁,临时变量(n的别名)相当于野指针
n++;
// ...
return n;
}
int main()
{
int& ret = Count();
}
一次拷贝:在传递过程中也生成临时变量,但临时变量是n的引用,就没有拷贝,然后再把临时变量拷贝给ret,相当于直接把n拷贝给ret 。
注:此时,函数里的static是不能去掉的,因为static的作用是延长变量的生命周期。如果去掉,出了函数,n被销毁,此时生成的临时变量(n的别名)相当于野指针。
五、引用和指针的区别
从 用法、特点来答即可:
- 引用在定义时必须初始化,指针没有要求
- 引用在初始化时引用一个实体后,就不能再引用其他实体,而指针可以在任何时候指向任何一个同类型实体
- 没有NULL引用,但有NULL指针
- 在sizeof中含义不同:引用结果为引用类型的大小,但指针始终是地址空间所占字节个数(32位平台下占4个字节)
- 引用自加即引用的实体增加1,指针自加即指针向后偏移一个类型的大小
- 有多级指针,但是没有多级引用
- 访问实体方式不同,指针需要显式解引用,引用编译器自己处理
- 引用比指针使用起来相对更安全