从汇编角度分析C语言中的局部变量是如何产生的

文章目录


前言

学习C语言时,我们都学过。局部变量是保存在栈里的,而且局部变量在函数返回后,无法再使用。那么我们深入的问一下,如何在保存在栈里,为什么函数返回之后,局部变量就不能用了。 下面我们从汇编的角度分析一下。


一、背景知识

学习本篇内容,需要知道什么栈、计算机如何操作栈、知道简单的汇编指令等。

二、局部变量如何在栈中产生

下面介绍的局部变量产生方法,是以一款嵌入式的控制器为例讲解的。不同的编译器会有不同的处理方法,意思是大同小异。学会了一种,就可以一通百通。

前情提要:

1.控制器用SP寄存器保存栈顶指针。

2.push指令是压栈指令。pop指令是弹出栈指令。

1.简单的局部变量

简单的变量,使用push指令开辟局部变量的空间。

代码如下(示例):

c 复制代码
void func()
{
	int a=5;
	int b=10;
}
c 复制代码
PUSH [R0,R1]
MOVE R0,#5
STR R0,[SP,#0]
MOVE R1,#A
STR R1,[SP,#4]

PUSH R0,R1:将R0 R1两个寄存器的值,压到栈中。这句命令不是为了保存两个寄存器的值,而是为了"占坑"。 压出来8个byte的空间,放a,b两个变量。

MOVE R0,#5:把R0的值,设置成5。

STR R0,SP,#0:把R0的值,保存到SP指向的内存。 当前SP指向的就是a变量。

MOVE R1,#A:把R1的值,设置成10。

STR R1,SP,#4:把R1的值,保存到SP+4指向的内存。 当前SP+4指向的就是b变量。

2.数组变量

当遇到数组变量时,再用PUSH指令去分配空间,效率就太低了。比如定义了一个int100的变量,如果用PUSH指令,需要PUSH100次。这样效率太低了。

代码如下(示例):

c 复制代码
void func()
{
	int c[100];

	c[0] = 1;
}
c 复制代码
SUB SP,#190

SUB是减法指令。SUB SP,#190指令是将SP直接减去0x190(也就是十进制的400),直接在栈中开辟空间。


总结

总的来说,定义了局部变量就需要在栈中开辟相应的空间,不管是用PUSH指令还是直接减SP指针,都是操作栈。

函数返回后,局部变量不能用的问题,我们再开一篇文章讲。

相关推荐
云和数据.ChenGuang1 小时前
Python 常见特殊方法详解:__new__、__init__、__del__、__str__、__repr__ 与 __getattribute__
开发语言·人工智能·python·1024程序员节
xyouyuweizhu2 小时前
字节流与字符流:Java IO 的两条主线该怎么选
java·开发语言·python
多弗朗皮卡丘2 小时前
C++的IO流
开发语言·c++·io流·文件io流
骑着蜗牛撵大象3272 小时前
AI Agent 工程化开发实战(三):用 StateGraph 给智能体搭一条可回放的状态流水线
java·开发语言·jvm·ai·状态管理·langgraph·stategraph
itmigrate3 小时前
Rust 里的所有权误区:不是不写 clone 就叫高性能
开发语言·后端·rust
Brilliantwxx3 小时前
【Linux】 文件访问与路径解析:目录、文件名、dentry、路径缓冲与 dcache 全解析
linux·运维·服务器·开发语言·spring
摇滚侠3 小时前
《On Java 中文版 基础卷》阅读笔记 初始化和清理 08
java·开发语言·笔记
xiangyun613 小时前
C++ 手撕 shared_ptr:引用计数与控制块到底长什么样?
开发语言·c++·算法·面试·stl
XiYang-DING3 小时前
P4009.和为K的子数组个数 & P5522.异或和为 k 的子数组个数
java·开发语言
jaysee-sjc4 小时前
【苍穹外卖】Day12:工作台数据看板与 Excel 报表导出
java·开发语言·数据库·spring boot·spring·微信·excel