引用的概念
引用不是新定义一个变量,而是给已存在变量取了一个别名,编译器不会为引用变量开辟内存空间,它和它引用的变量共用同一块内存空间。
比如每个人都会有自己的大名,但是在家或者在其它地方有时候还有有自己的小名,或者别名。但是这些都是你。
引用的特性
-
引用在定义时必须初始化
-
一个变量可以有多个引用
在这里可以看到当a=10的时候,其它也等于10,a改变的时候其它也随之改变。 -
引用一旦引用一个实体,再不能引用其他实体
引用的使用场景
做参数
普通参数的别名:
指针参数的别名:
这里可能会有人不明白指针后面加个&是什么意思指针的别名吗? 是的,就是指针的别名
做输出型参数的别名:
做返回值
因为函数调用之后调用的栈就会被销毁,所以当有返回值得时候,都会将返回值存给一个临时变量,等回到main的时候,临时变量的值就会赋给外面等待接收这个返回值的变量。
相同的返回引用值得时候也一样,只不过就只有创建的临时变量的类型不一样罢了
这里我们看到ret输出了正确的值3,那么用引用做返回值有什么用呢?我们再来看一段代码
这里我们可以看到,当我们对返回来的值用引用的时候,第一次输出了3,但是第二次我们并没有给ret输出,ret却变成了30。
正是因为非法访问的原因,所以第一次ret输出了3,而第二次ret输出了30,下面的代码更进一步证明了ret的非法访问
因为空间是属于系统的,当销毁是就会返还给系统,所以系统也可能把这个空间给其它函数或者变量,所以这个空间里面的值就会变,而ret又是这个空间的别名,所以ret也会改变。
肯定有人会有疑问,这个引用做返回值该什么时候用呢?
注意:如果函数返回时,出了函数作用域,如果返回对象还未还给系统,则可以使用引用返回,如果已经还给系统了,则必须使用传值返回。
传值和传引用的效率比较
以值作为参数或者返回值类型,在传参和返回期间,函数不会直接传递实参或者将变量本身直接返回,而是传递实参或者返回变量的一份临时的拷贝,因此用值作为参数或者返回值类型,效率是非常低下的,尤其是当参数或者返回值类型非常大时,效率就更低。
值和引用的作为返回值类型的性能比较
通过上述代码的比较,发现传值和指针在作为传参以及返回值类型上效率相差很大。
常引用
我们看这个代码,当a被const修饰的时候,a不能被引用这是为什么?
其实是因为a只能读,而被引用权限就被放大了,b不仅能读a还能该a所以编译器报错了,那该怎么解决呢?
从这个代码就可以看到,报错消失了,这就是常引用,在这里b的权限和a的权限的是一样的,都只能读。
那么大家来看看接下来的代码行不行呢?
没错,其实是可以的,这里b的权限被缩小了
到这里我们总结一下:
权限放大,不行
权限不变,可以
权限缩小,可以
我们都知道double的值是可以给int的,因为赋值的时候会传给临时变量数据进行隐式转换,然后临时变量会把数据赋值传给int。
那么我们可以给double类型的数据,用int&给别名吗?为什么?
没错,是不可以的,因为赋值的过程和给int的过程是一样的,也会生成临时变量,而临时变量具有常属性,所以在给int&的时候,想当于权限放大,编译器会报错
引用和指针的区别
引用和指针的不同点:
- 引用在定义时必须初始化,指针没有要求
- 引用在初始化时引用一个实体后,就不能再引用其他实体,而指针可以在任何时候指向任何一个同类型
实体 - 没有NULL引用,但有NULL指针
- 在sizeof中含义不同:引用结果为引用类型的大小,但指针始终是地址空间所占字节个数(32位平台下占
4个字节) - 引用自加即引用的实体增加1,指针自加即指针向后偏移一个类型的大小
- 有多级指针,但是没有多级引用
- 访问实体方式不同,指针需要显式解引用,引用编译器自己处理
- 引用比指针使用起来相对更安全