前言
作者:小蜗牛向前冲
名言:我可以接受失败,但我不能接受放弃
如果觉的博主的文章还不错的话,还请点赞,收藏,关注👀支持博主。如果发现有问题的地方欢迎❀大家在评论区指正。
目录
C++引用的基本概念
C++中的引用故名思意,就是用别人的东西当做自己,其实引用相当于一个别名,引用并不是重新定义一个变量名,编译器也不会为引用变量开辟新的空间(从语法上来说)。
语法:类型& 引用变量名(对象名) = 引用实体;
void TestRef()
{
int a = 10;
int& rb = a;
int& rc = a;
printf("%p\n", &a);
printf("%p\n",&rb);
cout << rc << endl;
}
这里我们可以看出,我们引用确实是是和原来的实体共用一个空间,而且我们可以通过引用去改变实体。
引用特性
引用的特性我们归纳起来就三条:
1. 引用在定义时必须初始化
2. 一个变量可以有多个引用
3. 引用一旦引用一个实体,再不能引用其他实体
void TestRef()
{
int a = 10;
// int& ra; // 该条语句编译时会出错
int& ra = a;
int& rra = a;
printf("%p %p %p\n", &a, &ra, &rra);
}
常引用
对于常引用来说,其实就是实体或者说引用加上了const让变量或者别名的内容不能被更改,
在这里我们要注意的是,权限是可以被缩小,也可以平级移动,但是不能被放大。
这我们又去怎么理解呢?
我们定义了一个没有被const修饰的int 变量,我们可以给他取个常引用的别名(这就是权限的缩小),当我们定义了一个常变量,但是我们的引用不是常引用,这是不被允许的。
我们的常引用常用于做函数的参数。
常引用
void TestConstRef()
{
int a = 6;
const int& rb = a;//权限缩小是可的
const int c = 66;
/* int& rd = c;*这里的权限放大是不被允许
double m = 6.66;
/* int& rn = m;*///不被允许
}
这里我们要特别的注意,m赋值给rn不被允许的原因,不是因为二者的类型不同, 而是由于在拷贝的过程中会产生一个临时变量(临时变量有常性),所以说这里的赋值不能被允许是由于发生了权限的放大。
下面我们来验证一下在拷贝或者在类型转换的时候会出现临时变量。
这里我们调试可以看出,a的在内存中存放的值仍然是没有改变的,但是我们却打印出来了13,这说明我们在强转的过程中出现了临时变量。
引用的使用场景
做参数
我们在对进行二个函数进行交换的时候,以前我们为了让形参和实参的交换能够同步所以我们用的指针做参数,现在我们可以用引用做参数。
//做参数
void Swop(int& left,int& right)
{
int temp = left;
left = right;
right = temp;
}
那我们为什么要用引用做参数而不用指针呢?这样有什么区别吗?
其实就要更用引用的优点有关,对于引用来说主要有二大优点:
1 减少拷贝次数,提高效率
2 输出型参数(函数中修改了形参,实参也就修改了)
做返回值
引用不仅仅能够做函数的参数他还能够做函数的返回值。
int& Count()
{
static int n = 0;
n++;
return n;
}
对于做返回值来说,我们返回的是n变量的一个别名 。我们知道当调用函数时,会建立函数栈帧,当出函数后栈帧会销毁,这时我们会失去空间的使用权,但那个空间仍然是存在的,但里面存的数据都将不受到保护,也就是说里面可能存的不在是我们以前到底数据了。
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;
}
这里我们可以清楚的看到当栈帧销毁后,里面的数据将不受到保护。
所以说当函数栈帧销毁后(出了函数的作用域),如果返回对象的空间还在没有返回系统,我们就可以用引用返回,如果已经还给了系统我们就必须应传值返回。
也就是说我们可以用静态变量(static)修饰要返回的值,这样返回值的空间就不会随这函数栈帧的销毁和销毁。
引用返回的优点:
1 减少拷贝次数,提高效率
2 修改返回值
对于修改返回值,我们可以记住一个场景,就是对顺序表中所以下标为偶数的数据都*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;
}
值和引用的作为返回值类型的性能比较
这里直接上代码比较:
#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;
}
通过上述代码的比较,发现传值和指针在作为传参以及返回值类型上效率相差很大。
所以说如果可能的话我们可以尽量使用引用做为返回值
引用和指针的区别
这里我们要明白在语法上引用是一个别名,是没有开额外的空间的是和其他公用体公用一个空间的。
在底层实现上实际是有空间的,因为引用是按照指针方式来实现的。
我们来看下引用和指针的汇编代码对比:
引用和指针的不同点:
1. 引用概念上定义一个变量的别名,指针存储一个变量地址。
2. 引用在定义时必须初始化,指针没有要求
3. 引用在初始化时引用一个实体后,就不能再引用其他实体,而指针可以在任何时候指向任何一个同类型实体
4. 没有NULL引用,但有NULL指针
5. 在sizeof中含义不同:引用结果为引用类型的大小,但指针始终是地址空间所占字节个数(32位平台下占4个字节)
6. 引用自加即引用的实体增加1,指针自加即指针向后偏移一个类型的大小
7. 有多级指针,但是没有多级引用
8. 访问实体方式不同,指针需要显式解引用,引用编译器自己处理
9. 引用比指针使用起来相对更安全