网上学习资料一大堆,但如果学到的知识不成体系,遇到问题时只是浅尝辄止,不再深入研究,那么很难做到真正的技术提升。
一个人可以走的很快,但一群人才能走的更远!不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人,都欢迎加入我们的的圈子(技术交流、学习资源、职场吐槽、大厂内推、面试辅导),让我们一起学习成长!
1.引用的概念
引用
不是新定义一个变量,而
是给已存在变量取了一个别名
,编译器不会为引用变量开辟内存空间,它和它引用的变量共用同一块内存空间。
1.1引用的表示方法
类型
&
引用变量名
(
对象名
) =
引用实体;
如果熟悉C语言的同学可能会发现引用符号(&)看上去就像取地址运算符(&)或者按位AND运算符(&),其实这是一个运算符重载的例子。通过重载,同一个运算符将会有不同的含义。编译器会通过上下文来确定运算符的含义。除了这里所提到的,其实在C++中还有一些运算符重载的情况。例如:* 即表示乘法,又表示对指针的解引用操作;<<即表示插入运算符,又表示按位左移运算符等。
代码实例:
int main()
{
//引用:取别名
int a = 10;
int& b = a;//定义引用类型
int& c = b;
return 0;
}
本段代码我们可以得知,a变量取了b,c两个别名。
我们也可以通过调试观察他们的内存:
通过调取内存我们可以发现,a,b,c所指向的是同一块内存空间。
注意:
引用类型
必须和引用
实体
是
同种类型
的
1.2引用特性
引用有三个特性,分别是:
引用在
定义时必须初始化
一个变量可以有多个引用
引用一旦引用一个实体,再不能引用其他实体
1.引用在定义的时候必须初始化
由于引用是对已经存在的变量进行取别名,因此使用引用时必须指定变量(初始化)。
int& d;//错误,未初始化
2.一个变量可以有多个引用
在C++语法中,一个变量有多个引用,就类似于一个人可以有多个外号。在1.1的代码实例中变量a就有2个引用,分别是b和c。
3.引用一旦引用一个实体,再不能引用其他实体
这个也比较好理解,因为引用一旦引用了一个已经存在的实体,就是这个实体的别名,当然不能再成为其他实体的别名。
1.3常引用 引用权限
我们来观察下面这段代码,他能编译成功吗?
int main()
{
//1.
const int x = 20;
int& y = x;
return 0;
}
当我们编译这段代码发现编译器报出错误警告: 无法从“const int”转换为“int &”
这是因为我们在引用的时候要遵守引用的原则:
引用原则:对原变量的引用,权限不能放大。
1.3这段代码中x变量是const修饰是一个常变量,只有可读权限。而我们引用的类型是int,不仅有可读权限,还有可修改权限。这就造成了对原变量的权限放大。根据我们引用原则知道,对原变量的引用,权限是不能放大的,这就是为什么这段代码会报错的原因。
那我们再来看这一段代码,它能编译成功吗?
int main()
{
//2.
const int x = 20;
const int& y = x;//不变
//3.
int c = 30;
const int& d = c;//缩小
return 0;
}
这段代码我们发现编译成功了,我们也可以轻松地分析出这里的引用是遵守引用规则的,我们发现,权限不变或者权限缩小都是符合规则的,唯一需要注意的是:权限不能放大。
1.4引用的使用场景
1.4.1做参数
void Swap(int& x, int& y)
{
int tmp = x;
x = y;
y = tmp;
}
int main()
{
int a = 0, b = 1;
Swap(a, b);
return 0;
}
引用可以作函数的形参,x是a的别名,y是b的别名。这里使用引用更加方便,也更好理解。
那既然以值作为函数参数和以引用作为函数参数都能解决这个问题,那为什么还要使用引用来做参数呢?这是因为引用的效率更高,我们可以通过下面这段测试代码更加直观看出效率的差别:
#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;
}
int main()
{
TestRefAndValue();
return 0;
}
我们发现使用引用作为函数参数效率大大提高。以值作为参数或者返回值类型,在传参和返回期间,函数不会直接传递实参或者将变量本身直接返回,而是传递实参或者返回变量的一份临时的拷贝,因此用值作为参数或者返回值类型,效率是非常低下的,尤其是当参数或者返回值类型非常大时,效率就更低。
引用做参数的意义:
1.输出型参数。
2.减少拷贝,提高效率。
1.4.2做返回值
首先我们来观察这段代码的返回值是什么?
int Count()
{
static int n = 0;
n++;
return n;
}
int main()
{
cout << Count() << endl;
cout << Count() << endl;
cout << Count() << endl;
return 0;
}
这里的结果是:1 2 3
因为n是局部静态的成员变量,只会初始化一次,虽然作用域在Count函数内部,但是生命周期是全局,我们可以通过调试观看他是否再执行函数的第一句?
传值的底层过程:
传值返回这个过程当中会产生一个临时变量,跟传参一样,如果小会用寄存器替代。传值返回的类型其实是临时变量的类型,将n拷贝给临时变量,再将临时变量拷贝给ret。那么为什么要设计临时变量呢?直接把n给ret不好吗?
这是因为在当临时变量出了函数作用域之后会销毁,函数栈桢也会销毁,那么此时n是不能作为返回值再赋值给ret的。那么编译器就在此生成了一个临时变量,把n拷给临时变量,再把临时变量给ret。此时,函数栈桢销毁是不会影响临时变量的。
那我们怎么可以证明这个过程产生了临时变量,我们可以给ret前加个引用。
此时我们发现,编译器是过不了的,这是因为此时ret是引用的临时变量,而临时变量具有常性,这里属于权限的放大,因此我们只需要加上const即可。我们也通过这个例子证明了临时变量的存在。
那现在我们给Count函数加个引用是什么意思?我们来看这段代码。
int& Count()
{
int n = 0;
n++;
return n;
}
//中间产生了一个临时变量
int main()
{
int ret = Count();
return 0;
}
这里可以这么认为,中间也会产生一个临时变量,这个临时变量的类型为int&,此时这个临时变量是n的别名,再把临时变量赋给ret。返回的是一个n的别名,就相当于是吧n返回给了ret。
此时我们再观察这段代码我们发现编译器可以通过了,这里ret相当于是n的别名。
我们可以打印n和ret的地址看看:
这里ret和n的地址相同,也能证明ret是n的别名。因此,引用作为返回值其实返回的就是n的别名。
既有适合小白学习的零基础资料,也有适合3年以上经验的小伙伴深入学习提升的进阶课程,涵盖了95%以上C C++开发知识点,真正体系化!
由于文件比较多,这里只是将部分目录截图出来,全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、讲解视频,并且后续会持续更新
g.csdnimg.cn/c9617328e6304fae941cc6c2414c18da.png)
这里ret和n的地址相同,也能证明ret是n的别名。因此,引用作为返回值其实返回的就是n的别名。
[外链图片转存中…(img-AIoy2cfO-1715819864031)]
[外链图片转存中…(img-R0LXWGRJ-1715819864031)]
既有适合小白学习的零基础资料,也有适合3年以上经验的小伙伴深入学习提升的进阶课程,涵盖了95%以上C C++开发知识点,真正体系化!
由于文件比较多,这里只是将部分目录截图出来,全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、讲解视频,并且后续会持续更新