程序栈&&栈帧

基础知识

一个由C/C++编译的程序占用的内存分为以下几个部分：

1. 栈区（stack）— 由编译器自动分配释放 ，存放函数的参数名，局部变量的名等。其操作方式类似于数据结构中的栈。
2. 堆区（heap）— 由程序员分配释放， 若程序员不释放，程序结束时可能由OS回收。注意它与数据结构中的堆是两回事，分配方式倒是类似于链表。
3. 静态区（static）—全局变量和局部静态变量的存储是放在一块的。程序结束后由系统释放。
4. 文字常量区—常量字符串就是放在这里的，程序结束后由系统释放 。
5. 程序代码区— 存放函数体的二进制代码。

堆和栈的区别：

• 栈：在Windows下,栈是向低地址扩展的数据结构，是一块连续的内存的区域。这句话的意思是栈顶的地址和栈的最大容量是系统预先规定好的，在 WINDOWS下，栈的大小是2M（也有的说是1M，总之是一个编译时就确定的常数），如果申请的空间超过栈的剩余空间时，将提示overflow。因此，能从栈获得的空间较小。
• 堆：堆是向高地址扩展的数据结构，是不连续的内存区域。这是由于系统是用链表来存储的空闲内存地址的，自然是不连续的，而链表的遍历方向是由低地址向高地址。堆的大小受限于计算机系统中有效的虚拟内存。由此可见，堆获得的空间比较灵活，也比较大。

过程调用

1. 个过程的调用包括将数据（以过程参数和返回值的形式）和控制从代码的一部分传递到另外一部分。
2. 必须在进入时为过程的局部变量分配空间，并在退出时释放这些空间。

程序栈

过程调用的实现，依靠的是一个由系统分配的一个栈空间：

1. 机器用栈来传递过程参数，存储返回信息，保存寄存器用于以后恢复，以及本地存储
2. 为单个过程分配的那部分栈称为“栈帧“。

程序栈通常和堆共享，也就是说,它们共享一块内存区域。程序栈通常占据这块区域的下部，而堆用的是上部，也就是栈下堆上。

注意：如果程序递归层数过多，可能会导致内存空间被耗尽，出现栈溢出的情况。这时就可能出现程序非正常退出（崩溃╮(╯▽╰)╭）。

程序栈的结构：

栈帧

程序栈存放帧(stack frame),栈帧有时候也称为活跃记录(activation record)或者是活跃帧(activation frame)，栈帧存放函数参数和局部变量，管理动态内存。

系统在创建栈帧时，将参数以跟声明时相反的顺序推到帧上，最后推入局部变量。

一个过程调用结束后（返回函数调用结果的时候），对应的帧就应该被从栈中退出：

程序栈会把调用者的帧的帧底指针的值取出来，然后把调用者的帧的帧底指针的值赋给ebp，再把返回地址弹出来，让程序跳到返回地址所指的地方继续执行。esp在退回去的过程中，退到临时变量时，会依次调用临时变量的析构函数（如果有的话）（这就是出了函数作用域临时变量就不再有效的原因），接着程序栈就又回到了调用这个帧之前的状态。
然后它会继续完成调用者的调用过程。