函数栈分配详解

关于函数占用栈的空间大小,并没有一个硬性规定.编译器通常都是假设栈空间足够大.在你这个例子里,函数运行时使用的栈空间可以是sizeof(double)+sizeof(int),也可以是max( sizeof(double), sizeof(int) ).更可以根据运行的情况动态调整,即用的时候从栈中申请,用完就还回去.
函数中,需要放在栈中数据在代码敲定了以后,就是确定的了.当然你也可以手工从栈中分配内存,但这并不会影响函数中直接占用栈空间的对象数量.所以,编译器是明确知道一次函数调用需要多少栈空间的.
一个程序所能用的栈空间的大小也不是确定的.编译器一般允许用户设置栈的提交大小和保留大小.提交大小是指程序启动时,OS必须分配给程序的栈空间.而保留大小是表示保留一段连续的地址空间给栈,便于栈的生长.
而os在栈超出的时候还有可能动态增大栈的空间(甚至可以超出保留地址空间).但内存总有限制,栈溢出就会出错.这是也递归调用必须要限制深度的原因.