本文会着重的讲解引用的各项用法以及使用时需要注意的一些规则另外这部分是面试官比较喜欢与指针一起作为问题来提问我们的所以我在文章的末尾给大家也准备好了答案

引用不是一种新的数据类型而是在C中给已存在变量起一个别名。

编译器不会给引用变量开辟内存空间它和它引用的变量共用同一块空间。

举个例子在《水浒传》中李逵在家中被宋江叫做铁牛在江湖上人称黑旋风。

那么我们说铁牛和黑旋风都是在说李逵这个人所以说铁牛和黑旋风就是别名。

在代码的世界里相信大家已经对别名有所使用就是typedef这个关键字通常被有做对结构体起别名。

在C中引用是对变量起别名

1.1

}大家在注意引用的定义时引用变量与引用实体必须得是相同的数据类型。

否则程序会报错的

引用在定义时必须初始化

光讲引用的定义和特性相信这一定不能让大家认识到引用有多强大有多舒服。

那么接下来我结合C语言的代码场景来对比在C下引用的强大之处。

3.1

这类的形参我们就把它称为输出型参数。

当然与之对应的还有输入型参数这个参数想必大家肯定用的不少输入型参数形参的改变不会影响到实参。

这类的形参我们称它为输入型参数。

针对输出型参数

为了让大家更好的感受到引用的爽我将用多个代码在C语言下和C下做比较

//场景一交换两个数(用C语言)

(int*)malloc(sizeof(int)*STDefault);if(pst-a

NULL){perror(malloc

(int*)malloc(sizeof(int)*STDefault);if(st.a

NULL){perror(malloc

st;//用C语言的版本StackInit(st);//用C的版本StackInit(st);

}大家可以仔细对比一下是C语言指针的写法好用还是C的引用好用。

在StackInit函数中struct

st这个形参就相当于输出型参数当然这个想象在Swap函数更加明显。

这个点就体现在函数栈帧的创建和销毁中。

如果对这方面不了解的读者可以看一下往期我写的文章【C语言】函数栈帧的创建和销毁启航——迎接崭新的自己。

回到主线上我们在调用一个函数时会在栈区给函数的调用开辟一块空间这块空间就是函数的栈帧编译器开会就会往栈中压入以西寄存器之类的东西。

重点来了随后它就会把我们的形参从右往左依次压入栈中在这个过程中是通过寄存器将形参先拷贝下来而这段拷贝是要花时间的。

而我们使用引用的话就可以掠过拷贝的过程这将这个变量给放到栈中减少了拷贝的花销。

#includeiostream

}可以看到引用作为返回值时及其容易出错那错误的原因就是非法访问。

有时候并不是编译器不报错就不代表你这个代码没有问题就像数组越界一样。

那我们该怎么理解非法访问这一说呢

这就又要牵扯到函数栈帧的知识了。

函数栈帧在被销毁时编译器做了一个这样的策略它会将这个返回值用一个寄存器给保存起来。

如果我们用引用的话就相当于直接拿着这个返回值的地址了所以函数栈帧销毁时会把这块返回值空间的使用权归还给操作系统此时我们还要用的话就相当于非法访问了。

两种处理方式

函数栈帧销毁时编译器不清空栈帧里面的内容函数栈帧销毁时编译器会清空栈帧里面的内容

#includestdlib.h

endl;printf(ssssssssssssssssssssssssss\n);rand();cout

ret

}结果分析可以看到第二次打印变量ret的值时发现是一个随机值这也就是说明了我i们正在非法的访问者我们的内存。

总结所以我们在用引用作为返回值时一定不要用局部变量作为函数的返回值或者和说不要使用在栈区上创建的变量可以使用静态区或者堆区上的变量

常引用

}以上的写法都是被允许的。

可以看到常引用的权限是小于引用的权限的。

总结在使用常引用时我们要注意权限之间的问题只能进行权限的平移或者权限的缩小。

权限的大小关系引用权限

int

重点说明在底层实现上引用的确是消耗了空间但是在语法概念上我们是认为引用是不会单独开辟空间的。

我们会通常使用后者的说法。

引用在定义时必须初始化指针没有要求

引用在初始化时引用一个实体后就不能再引用其他实体而指针可以在任何时候指向任何一个同类型实体

没有NULL引用但有NULL指针

在sizeof中含义不同引用结果为引用类型的大小但指针始终是地址空间所占字节个数(32位平台下占4个字节)

引用自加即引用的实体增加1指针自加即指针向后偏移一个类型的大小

引用比指针使用起来相对更安全

以上就是本文的全部内容了如果觉得本文对你有帮助的话麻烦给偶点个赞吧