提示:文章写完后,目录可以自动生成,如何生成可参考右边的帮助文档
文章目录
一、引用的概念
引用不是新定义一个变量,而是给已存在变量取了一个别名,编译器不会为引用变量开辟内存空间,它和它引用的变量共用同一块内存空间。
举一个列子:
相当于孙悟空,又叫斗战胜佛,又叫齐天大圣,还叫花果山代王
代码如下
#include <iostream>
using namespace std;
int main()
{
int a = 10;
int& b = a; //b是a的别名
int& c = b; //c是b的别名,也相当于a的别名
printf("%p\n", &a);
printf("%p\n", &b);
printf("%p\n", &c);
}
二、引用特性(有以下三点特性)
1.1. 引用在定义时必须初始化
#include <iostream>
using namespace std;
int main()
{
int &a;
return 0;
}
2.一个变量可以有多个引用(代码和第一个举例相同)
3.引用一旦引用一个实体,再不能引用其他实体
#include <iostream>
using namespace std;
int main()
{
int a = 10;
int& b = a;
int x = 5;
b = x; //该语句相当于赋值
}
三、引用作参数
之前我们使用C语言进行交换时,往往都是使用指针进行交换
代码如下
void Swap(int* left, int* right)
{
int temp = *left;
*left = *right;
*right = temp;
}
int main()
{
int a = 10;
int b = 20;
printf("a = %d,b = %d\n", a, b);
Swap(&a,&b);
printf("a = %d,b = %d\n", a, b);
return 0;
}
、
有了引用&之后,代码变得简洁好用,如下
#include <iostream>
using namespace std;
void Swap(int& left, int& right)
{
int temp = left;
left = right;
right = temp;
}
int main()
{
int a = 10;
int b = 20;
printf("a = %d,b = %d\n", a, b);
Swap(a, b);
printf("a = %d,b = %d\n", a, b);
return 0;
}
假如实参传的是地址的话,也只需在*后加&,如下
void Swap(int*& a,int*& b);
引用做参数一般用于输出型参数,其优点是可以减少拷贝提高效率
四、引用作返回值
这里我们从两个列子如手看以下两个代码
#include <iostream>
using namespace std;
int& Count(int x)
{
static int n = x;
n++;
// ...
return n;
}
int main()
{
int& ret = Count(10);
cout << ret << endl;
printf("再次打印\n");
cout << ret << endl;
return 0;
}
这个引用做返回值可以正常运行
再来看看下面这个代码
#include <iostream>
using namespace std;
int& Count(int x)
{
int n = x;
n++;
// ...
return n;
}
int main()
{
int& ret = Count(10);
cout << ret << endl;
printf("再次打印\n");
cout << ret << endl;
return 0;
}
第一个是正确的引用,第二个是错误引用,两个代码只差了一个static,为什么第二种情况后面会出现随机值呢
首先这里要知道Count函数结束时栈帧要销毁
第一种情况如下图
Count销毁后n中的数据仍然储存在静态区中,不会随着栈帧的销毁而销毁
而第二种就不一样了,如下图
n为局部变量,所以会随着Count函数栈帧的销毁而销毁,故第二种情况下ret有以下两种情况
引用做返回值一般用于修改返回值或获取返回值,同样也可以减少拷贝提高效率
这里对引用做返回值做一个总结
五.常引用
#include <iostream>
using namespace std;
int main()
{
const int a = 10;
//int& ra = a; //a本身不能修改,而这里的ra相当于可以修改,将a的权限放大,故发生错误
const int& ra = a;//而这里可以,相对于权限平移
// int& b = 10; //由于常数具有常性,故此处权限放大
const int& b = 10;
double d = 12.34;
//int& rd = d; //这里发生了类型的隐式转换,且是通过临时变量进行,而临时变量具有常性,故此处权限放大
const int& rd = d;
}
六.引用和指针的区别
在语法概念上引用就是一个别名,没有独立空间,和其引用实体共用同一块空间。
在底层实现上实际是有空间的,因为引用是按照指针方式来实现的。