在编写递归函数的时候,大多数时候只是关心局部变量和形参。但是栈的工作情况本来是一个伟大的创新,所以详细的了解不仅仅有助于编程思想的培养,对递归(函数调用)也会有更多的认识。
  在程序运行时,不仅仅存在栈区,还有堆区等,详细参考http://blog.csdn.net/vurteon/article/details/8939282
  对于栈存在的意义
  1)局部变量在调用它所在的函数才有确切的作用,一般局部变量的生存周期远远小于整个程序的生存周期,如果为每个局部变量分配不同的空间,则空间的利用率会大大降低
  2)当发生递归调用的时候,局部变量不能相互影响,所以必然会需要不同的地址,这样会严重增加程序和编译器的复杂度。
  操作系统中的栈和数据结构中的栈有一些不同,不仅仅有栈的特性,还有其他寄存器的支持和编译器还有操作系统本身的相关支持。首先是栈本身的特性是FILO,所以在函数调用的时候先调用的函数后返回。
  运行栈实际上是一段区域的内存空间,这里的空间和全局变量等的存储空间没有差别,但是寻址的方式不同。这个栈有一个随时都处于栈顶的指针叫做栈指针,是由寄存器esp保存。运行栈中的数据是以栈帧为单位,每一个栈帧对应着一次函数调用,栈帧中包括了这次函数调用中的形参值,一些控制信息(后面会说到,其实是ebp和返回地址),局部变量和一些临时变量(比如表达式的中间值),每一次函数调用的时候都会有一个栈帧被压入运行时栈。一个函数在执行时,能够直接随机访问它对应栈帧中的数据。
  对于参数的传递,其实是在调用函数前,将对应的实参压入栈中,而且在栈中,这一部分数据是主调函数和被调函数都可以访问的。在函数调用的时候,其压入的信息不知道具体有多少,有多大,所以确切的地址也很难确定,但是,相对于栈顶的位置却是确定了的。(由于每个局部变量或者其他信息由固定的字节大小,所以可以通过栈顶计算出相对位置,然后可以进行访问)。
  栈顶指针一般是向栈中压入数据的一个航标,但是又由于需要对帧数据进行随机访问,而且有些帧大小是无法确定的,所以有了另外的一个寄存器用来辅助栈指针---帧指针,寄存器的名字叫ebp,一般都是通过帧指针来计算地址,从而进行访问。
  下面是一个具体的例子
  被调函数是:
int add(int a, int b){
int  c = a + b;
return c;
}
  主调函数是
  Int x = add(5,7);
  下面是使用GCC生成的汇编代码的主要部分
8048459: movl $0x7,0x4(%esp) //将整数7压入esp + 4的地址中
8048461: movl $0x5,(%esp) //将整数5写入esp地址中
8048468: call 8048434 //调用8048434地址的函数
804846d: mov %eax,-0x8(%ebp) //将eax写入ebp-8的地址中
  下面是被调函数的汇编代码
8048434: push %ebp //将帧指针压入运行栈
8048435: mov %esp,%ebp //将esp的值赋值给ebp
8048437: sub $0x4,%esp //将栈指针减去4
804843a: mov 0xc(%ebp),%eax //将ebp + 12地址的整数载入eax寄存器
804843d: add 0x8(%ebp),%eax //将ebp + 8地址内的整数和eax中的值相加
8048446: leave //恢复函数调用之初的esp和ebp的值
8048447: ret /./回到主函数