六、引用
6.1 引用的概念
-
引用不是新定义一个变量，而是给已存在变量取了一个别名，编译器不会为引用变量开辟内存空间，它和它引用的变量共用同一块内存空间。（语法上）
-
格式：类型& 引用变量名(对象名) = 引用实体；
void TestRef()
{
int a = 10;
int& ra = a;//<====定义引用类型
printf("%p\n", &a);
printf("%p\n", &ra);
}
注意：引用类型必须和引用实体是同种类型的
6.2 引用的特性
- 引用在定义时必须初始化
- 一个变量可以有多个引用
- 引用一旦引用一个实体，再不能引用其他实体
说明：
- int& d = c; //c是a变量的别名，再为c取别名实际上还是引用a。相当于：int& d = a;
- b = x; //b是a的别名，这句相当于：a = x; 将x赋值给b(a)；
6.3 常引用
常引用即引用的类型用const进行修饰，表示不能通过该引用修改引用对象的值。类似于常量指针：const int *p;
- 权限不能放大
- 权限可以缩小
- 显示或隐式类型转换都会产生同类型的临时变量，产生的临时变量具有常性。
void TestConstRef()
{
//权限不能放大
const int a = 20;
//int& ra = a;
const int& ra = a;
//权限可以缩小
int b = 30;
const int& rb = b;
//类型转换产生临时变量，产生的临时变量具有常性
int i = 1;
double d = i; //类型转换的过程中会产生同类型的临时变量
//double& rd = i; //产生的临时变量具有常性
const double &rd = i; //此处临时变量的类型是const double
}
说明：
- 权限放大或缩小的问题只存在于引用或指针上。普通变量不存在，因为普通变量不对源值做修改，只做值拷贝。
- 如果使用引用传参，函数内如果不改变源值（输入型参数），那么建议尽量用const引用传参，提高程序的健壮性，且这样的形参具有非常强的接收度（类型转换）。
6.4 使用场景
1. 做输出型参数
引用做输出型参数，相比指针传参，使用更加方便。
void Swap(int& left, int& right){
int temp = left;
left = right;
right = temp;
}
int main(){
int a = 0, b = 2;
Swap(a,b);
return 0;
}
2. 大对象传参
以值作为参数或者返回值类型，在传参和返回期间，函数不会直接传递实参或者将变量本身直接返回，而是传递实参或者返回变量的一份临时的拷贝，因此用值作为参数或者返回值类型，效率是非常低下的，尤其是当参数或者返回值类型非常大时，效率就更低。
- 我们可以做以下测试：
#include <time.h>
struct A{ int a[10000]; };
void TestFunc1(A a){}
void TestFunc2(A& a){}
void TestRefAndValue()
{
A a;
// 以值作为函数参数
size_t begin1 = clock();
for (size_t i = 0; i < 10000; ++i)
TestFunc1(a);
size_t end1 = clock();
// 以引用作为函数参数
size_t begin2 = clock();
for (size_t i = 0; i < 10000; ++i)
TestFunc2(a);
size_t end2 = clock();
// 分别计算两个函数运行结束后的时间
cout << "TestFunc1(A)-time:" << end1 - begin1 << endl;
cout << "TestFunc2(A&)-time:" << end2 - begin2 << endl;
}
- 测试结果：
- 得出结论：大对象使用引用传参，提高效率，节省空间。
3. 做输出型返回值
做输出型返回值，调用者可以修改返回对象。
int& Count()
{
static int n = 0;
n++;
// ...
return n;
}
同指针一样，不能返回局部变量的引用。但可以返回静态区或堆空间变量的引用。
4.（误区警示）返回局部变量的引用
下面代码输出什么结果？为什么？
int& Add(int a, int b)
{
int c = a + b;
return c;
}
int main()
{
int& ret = Add(1, 2);
Add(3, 4);
cout << "Add(1, 2) is :"<< ret <<endl;
return 0;
}
- 测试结果：
- 解释原因：
- 得出结论：函数返回后，函数内的局部变量（栈帧空间）就销毁了。那么一定不能返回局部变量的引用，只能传值返回。
5. 返回大对象的引用
返回大对象的引用可以减少拷贝，提高效率。
- 我们可以做以下测试：
#include <time.h>
struct A{ int a[10000]; };
A a;
// 值返回
A TestFunc1() { return a;}
// 引用返回
A& TestFunc2(){ return a;}
void TestReturnByRefOrValue()
{
// 以值作为函数的返回值类型
size_t begin1 = clock();
for (size_t i = 0; i < 100000; ++i)
TestFunc1();
size_t end1 = clock();
// 以引用作为函数的返回值类型
size_t begin2 = clock();
for (size_t i = 0; i < 100000; ++i)
TestFunc2();
size_t end2 = clock();
// 计算两个函数运算完成之后的时间
cout << "TestFunc1 time:" << end1 - begin1 << endl;
cout << "TestFunc2 time:" << end2 - begin2 << endl;
}
- 测试结果：
- 得出结论：结合大对象的传参和返回测试，我们可以看出传值和引用在作为传参以及返回值类型上效率相差很大。
6.5 引用和指针的区别
在语法概念上引用就是一个别名，没有独立空间，和其引用的实体共用同一块空间。
#include <iostream>
using namespace std;
int main()
{
int a = 10;
int& ra = a;
int* pa = &a;
cout<<"a = "<<a<<endl;
cout<<"ra = "<<ra<<endl;
cout<<"pa = "<<pa<<endl;
cout<<"*pa = "<<*pa<<endl<<endl;
cout<<"&a = "<<&a<<endl;
cout<<"&ra = "<<&ra<<endl;
cout<<"&pa = "<<&pa<<endl;
cout<<"pa = "<<pa<<endl;
return 0;
}
测试结果：
在底层实现上实际是有空间的，因为引用是按照指针方式来实现的。
int main()
{
int a = 10;
int& ra = a;
ra = 20;
int* pa = &a;
*pa = 20;
return 0;
}
我们来看下引用和指针的汇编代码对比：
底层汇编完全相同，说明引用是按照指针的方式来实现的。
引用和指针的不同点:
- 引用概念上定义一个变量的别名，指针存储一个变量地址。
- 引用在定义时必须初始化，指针没有要求。
- 引用在初始化时引用一个实体后，就不能再引用其他实体，而指针可以在任何时候指向任何一个同类型实体。
- 没有NULL引用，但有NULL指针。
- 在sizeof中含义不同：引用结果为引用类型的大小，但指针始终是地址空间所占字节个数(32位平台下占4个字节)。
- 引用自加即引用的实体增加1，指针自加即指针向后偏移一个类型的大小。
- 有多级指针，但是没有多级引用。
- 访问实体方式不同，指针需要显式解引用，引用编译器自己处理。
- 引用比指针使用起来相对更安全。
总结：
- 指针更强大，更危险，更复杂；
- 引用相对局限一些，更安全，更简单；
