下图为一个典型的编译器的各个阶段,每个阶段由一至多个软件模块来实现。
![]()
更详细内容可以查看[Modern Compiler] Introduction
活动记录
栈(stack):一个有序的积累或堆积。
函数的局部变量在函数入口创建,在函数的出口删除。函数调用是按后进先出(LIFO)方式进行,所以使用栈存放他们。
函数内的局部变量需要的生命周期超过函数本身的生命期:
- 嵌套函数:内层函数可能会用到外层函数中定义的变量。
- 将函数作为返回值:保存在变量中的函数。
栈帧
抽象的push、pop并不合适:局部变量成批push,成批pop。当其在栈中被创建时,没有被立刻初始化,并且有可能访问压在栈顶之下较深的变量。
替代:把栈看成一个大型数组,带有一个栈指针(寄存器),指向栈内的某个存储单元。