1.引用
你有没有被人起过外号?比如身边的朋友,喊他的时候不会叫他的全名,像我很好的朋友,我一般都喜欢叫他"阿威",而不会去称呼全名.我叫他"阿威",他还是他没有什么问题.
这里新登场的引用不是新定义一个变量，而是给已存在变量取了一个别名，编译器不会为引用变量开辟内存空间，它和它引用的变量共用同一块内存空间.
下面我们来细说:
1.1引用的概念
用法:
类型& 引用变量名(对象名) = 引用实体；
从图中我们可以看出b不仅和a的值相同,地址也是一模一样!这是为什么?
这里要注意的一点是:引用类型必须和引用实体是同种类型的!
这里编译器直接就报错了,这样是不被允许的!
1.2引用的特性
1. 引用在定义时必须初始化
这里的引用a没有初始化,编译器直接报错了!
2. 一个变量可以有多个引用
此时这些引用都是n的别名,指向的就是n,和n共用一块空间!
3. 引用一旦引用一个实体，再不能引用其他实体
这里的n最开始是a别名,是指向a的引用,引用只能引用一个实体,一旦有了就不能再换了!所以这里的n拿到的是b的值,并不是引用了b,由于n是a的别名,二者共用一块空间,所以改了n改成了20,因此a也会是20!
1.3常引用
在C++中，常引用是指在函数参数列表或变量声明中使用const关键字来修饰的引用。常引用的作用是限制对被引用对象的修改。
常引用的语法格式如下：
const 数据类型 &引用名 = 被引用对象;
常引用的特点如下：
- 常引用只能引用常量或临时对象，不能引用非常量对象。
- 常引用不允许对被引用对象进行修改，即不能通过常引用修改被引用对象的值。
- 常引用可以接受非常量对象、常量对象和临时对象作为参数。
- 常引用可以提高程序的效率，因为常引用不需要创建临时变量。
需要注意的是，常引用只能引用常量或临时对象，不能引用非常量对象。如果需要引用非常量对象并且不允许修改该对象的值，可以使用const修饰符来声明常量对象。
1.4使用场景
1.做参数
在没有引用前,我们交换两个变量的值需要使用指针来完成.
现在可以使用引用来完成了
2.做返回值
下面来看一段有问题的代码:
你看出问题所在了吗?程序运行的结果是什么呢?
这里的结果是不确定的,因为Add函数返回是c的别名,也就是引用,ret接受到的就是c,此时ret就是c,第一次调用,如果函数栈帧结束后,这块空间没有被销毁,那么ret就是3,如果空间被销毁了,那么ret就是不确定的值.
第二次函数调用Add,虽然ret没有接受,但是因为在第一次函数调用后,ret就已经是c的别名了,是指向c的引用,由于函数栈帧空间的复用性,第二次Add的调用还是在上一次的空间,此时c更改了值,那么ret也就会修改!
但是这是不确定的,因为在不同的编译器下,函数栈帧调用后,会不会立即清空空间,所以值是不确定的,如果销毁了,那么ret引用的值就是个随机值,如果没销毁,那就是函数正常的返回值.(vs2022下不会立即空间清除)
但是如果加上了static修饰就会不一样,因为被static修饰的变量是静态变量,是放在静态区上的,而不是栈上,并且由于static修饰的静态的变量只能被初始化一次,所以可以在一定程度上保证安全.
