电子工程师技术服务社区
公告
登录
|
注册
首页
技术问答
厂商活动
正点原子
板卡试用
资源库
下载
文章
社区首页
文章
从嵌入式编程中感悟「栈」为何方神圣?
分 享
扫描二维码分享
从嵌入式编程中感悟「栈」为何方神圣?
嵌入式
栈
李肖遥
关注
发布时间: 2020-09-04
丨
阅读: 528
# 从全局变量和局部变量中感悟“栈”为何方神圣? ## 变量 变量一般可以细分为如下图: ![](https://cf02.ickimg.com/bbsimages/202008/b7e696a511a2f1737b55e631cc00aea1.png) 本节重点为了让大家理解内存模型的“栈”,暂时不考虑“静态变量” 的情况,并约定如下: > “全局变量”仅仅默认为“普通全局变量”; > “局部变量”仅仅默认为“普通局部变量”。 ## 如何判定全局变量和局部变量? 简单直观的来说,全局变量就是在函数外面定义的变量,局部变量就是在函数内部定义的变量,下面的例子能很清晰地说明全局变量和局部变量的判定方法: ``` unsigned char a; //在函数外面定义的, 所以是全局变量。 void main() //主函数 { unsigned char b; //在函数内部定义的, 所以是局部变量。 b=a; while(1) { } } ``` ## 全局变量和局部变量的内存模型 单片机内存包括` ROM `和` RAM` 两部分,`ROM `存储的是单片机程序中的指令和一些不可更改的常量数据,而 `RAM`存放的是可以被更改的变量数据; 也就是说,全局变量和局部变量都是存放在` RAM`,但是,虽然都是存放在 `RAM`,全局变量和局部变量之间的内存模型还是有明显的区别的。 因此,分了两个不同的`RAM`区,全局变量占用的 `RAM`区称为**全局数据区**, 局部变量占用的 `RAM` 区称为**栈**。 **它们的内存模型到底有什么本质的区别呢?** **全局数据区**就像你自己家的房间,是唯一的,一个房间的地址只能你一个人住(假设你还是单身狗的时候),而且是永久的(sorry),所以说每个全局变量都有唯一对应的 RAM 地址, 不可能重复的。 **栈**就像客栈, 一年下来每天晚上住的人不一样,每个人在里面居住的时间是有期限的,不是长久的,一个房间的地址一年下来每天可能住进不同的人,不是唯一的。 **全局数据区**的全局变量拥有永久产权,**栈**区的局部变量只能临时居住在宾馆客栈, 地址不是唯一的, 有期限的。 **栈**是给程序里所有函数内部的局部变量共用的,函数被调用的时候,该函数内部的每个局部变量就会被分配对应到**栈**的某个` RAM` 地址,函数调用结束后,该局部变量就失效。 因此它对应的**栈** 的` RAM `空间就被收回,以便给下一个被调用的函数的局部变量占用。 **请看下面这个例子, 我借用“宾馆客栈” 来比喻局部变量所在的“栈”。** ``` void function(void); //子函数的声明 void function(void) //子函数的定义 { unsigned char a; //局部变量 a=1; } void main() //主函数 { function() ; //子函数的调用 } ``` 我们看到单片机从主函数 main 往下执行, 首先遇到` function() `子函数的调用, 所以就跳到` function() `函数的定义那里开始执行, 此时的局部变量 a 开始被分配在 `RAM `的“栈区” 的某个地址, 相当于你入住宾馆被分配到某个房间。 单片机执行完子函数`function()` 后,局部变量 a 在 `RAM` 的`栈区`所分配的地址被收回, 局部变量a 消失,被收回的` RAM `地址可能会被系统重新分配给其它被调用的函数的局部变量。 此时相当于你离开宾馆,从此你跟那个宾馆的房间没有啥关系, 你原来在宾馆入住的那个房间会被宾馆老板重新分配给其他的客人入住。 全局变量的作用域是永久性不受范围限制的,而局部变量的作用域就是它所在函数的内部范围。 全局变量的`全局数据区`是永久的私人房子,局部变量的`栈`是临时居住的客栈。 **总结如下:** 1. 每定义一个新的全局变量,就意味着多开销一个新的` RAM` 内存。而每定义一个局部变量,只要在函数内部所定义的局部变量总数不超过单片机的`栈`区,此时的局部变量不开销新的 `RAM `内存, 因为局部变量是临时借用`栈`的, 使用后就还给`栈`,`栈`是公共区, 可以重复利用,可以服务若干个不同的函数内部的局部变量。 2. 单片机每次进入执行函数时,局部变量都会被初始化改变,而全局变量则不会被初始化, 全局变量是一直保存之前最后一次更改的值。 ## 有哪些常见疑问? 1. **全局数据区** 和**栈区**是谁在幕后分配的, 怎么分配的? 是C编译器自动分配的, 至于怎么分配,谁分配多一点,谁分配少一点,C 编译器会有一个默认的比例分配, 我们一般都不用管。 2. **栈区**是临时借用的,子函数被调用的时候,它内部的局部变量才会“临时” 被分配到“栈” 区的某个地址,那么问题来了,谁在幕后主持“栈区” 这些分配的工作? 单片机已经上电开始运行程序的时候,编译器已经不起作用,“栈区” 分配给函数内部局部变量的工作,确实是 C 编译器做的,但这是在单片机上电前。 C 编译器就把所有函数内部的局部变量的分配工作就规划好了,都指定了如果某个函数一旦被调用,该函数内部的哪个局部变量应该分到“栈区” 的哪个地址,C 编译器都是事先把这些“后事” 都交代完毕了才结束自己的生命。 等单片机上电开始工作的时候,虽然C编译器此时不在了,但是单片机都是严格按照C编译器交代的遗嘱开始工作和分配“栈区”的。因此,“栈区” 的“临时分配” 非真正严格意义上的“临时分配”。 3. 函数内部所定义的局部变量总数不超过单片机的“栈” 区的 RAM 数量, 那, 万一超过了“栈” 区的 RAM数量, 后果严重吗? 这种情况专业术语叫**爆栈**。程序会出现莫名其妙的异常,后果特别严重。 为了避免这种情况, 一般在编写程序的时候, 函数内部都不能定义大数组的局部变量, 局部变量的数量不能定义太多太大,尤其要避免刚才所说的定义开辟大数组局部变量这种情况。 大数组的定义应该定义成全局变量,或者定义成 **静态的局部变量**。 有一些C编译器,遇到“爆栈” 的情况,会好心跟你提醒让你编译不过去,但是也有一些 C 编译器可能就不会给你提醒,所以大家以后做项目写函数的时候,要对**爆栈**心存敬畏。 ## 全局变量和局部变量的优先级 刚才说到,全局变量的作用域是永久性并且不受范围限制的,而局部变量的作用域就是它所在函数的内部范围。 那么问题来了,假如局部变量和全局变量的名字重名了,此时函数内部执行的变量到底是局部变量还是全局变量? 这个问题就涉及到优先级。 **注意**,当面对同名的局部变量和全局变量时,函数内部执行的变量是局部变量,也就是局部变量在函数内部要比全局变量的优先级高。 ## 我们来举一些例子 - 请看下面第一个例子: ``` unsigned char a=5; //此处第 1 个 a 是全局变量 void main() //主函数 { unsigned char a=2; //此处第2个a是局部变量,跟上面全局变量的第1个a重名了 print(a); //把a发送到电脑端的串口助手软件上观察 while(1) { } } ``` 正确的答案是 2。在函数内部的局部变量比全局变量的优先级更加高。 虽然这里的两个a重名了, 但是它们的内存模型不一样,第1个全局变量的a是分配在`全局数据区`,是具有唯一的地址的,而第2个局部变量的a是被分配在临时的`栈区`的,寄生在 main 函数内部。 - 再看下面第二个例子: ``` void function(void); //函数声明 unsigned char a=5; //此处第1个 a 是全局变量 void function(void) //函数定义 { unsigned char a=3; //此处第 2 个 a 是局部变量。 } void main() //主函数 { unsigned char a=2; //此处第 3 个 a 也是局部变量。 function(); //子函数被调用 print(a); //把 a 发送到电脑端的串口助手软件上观察。 while(1) { } } ``` 正确的答案是2。因为,function这个子函数是被调用结束之后,才执行 print(a)的, 就意味函数内部的局部变量(第2个局部变量 a)是在执行 print(a)语句的时候就消亡不存在了, 所以此时print(a)的a是第3个局部变量的a(在 main 函数内部定义的局部变量的 a)。 - 再看下面第三个例子: ``` void function(void); //函数声明 unsigned char a=5; //此处第1个a是全局变量 void function(void) //函数定义 { unsigned char a=3; //此处第2个a 是局部变量 } void main() //主函数 { function(); //子函数被调用 print(a); //把a发送到电脑端的串口助手软件上观察 while(1) { } } ``` 正确的答案是5。 因为function这个子函数是被调用结束之后,才执行print(a)的,就意味function函数内部的局部变量(第2个局部变量)是在执行function(a)语句的时候就消亡不存在了。 同时,因为此时main函数内部也没有定义a的局部变量,所以此时function(a)的a是必然只能是第1个全局变量的a(在main函数外面定义的全局变量的a)。 ## 最后 看到本文之后,相信大家已经对栈有了一些基础的认识,如果有错误欢迎指出,我们下一期,再见。
原创作品,未经权利人授权禁止转载。详情见
转载须知
。
举报文章
点赞
(
0
)
李肖遥
关注
评论
(0)
登录后可评论,请
登录
或
注册
相关文章推荐
MK-米客方德推出工业级存储卡
Beetle ESP32 C3 蓝牙数据收发
Beetle ESP32 C3 wifi联网获取实时天气信息
开箱测评Beetle ESP32-C3 (RISC-V芯片)模块
正点原子数控电源DP100测评
DP100试用评测-----开箱+初体验
Beetle ESP32 C3环境搭建
【花雕体验】16 使用Beetle ESP32 C3控制8X32位WS2812硬屏之二
X
你的打赏是对原创作者最大的认可
请选择打赏IC币的数量,一经提交无法退回 !
100IC币
500IC币
1000IC币
自定义
IC币
确定
X
提交成功 ! 谢谢您的支持
返回
我要举报该内容理由
×
广告及垃圾信息
抄袭或未经授权
其它举报理由
请输入您举报的理由(50字以内)
取消
提交