对于静态类型语言,在编译期就能知道这个方法有哪些局部变量、参数,占用的内存大小也是确定的,因此可以直接在栈上分配,这种叫做栈的静态分配。对于python,javascript这种动态数据类型(python和javascript是一切皆对象语言),在程序运行之前是不能知道局部变量、参数占用多少字节的,因此局部变量和参数可能都是在堆上分配的(这个不确定,猜测)。
对于栈的静态分配,如下面代码(java):
void foo(){ int a=0; int b=1; print(a); }
在压栈的时候,a比b先,因此b是栈顶,这个时候如果按数据结构中的想读取a只能通过弹栈是不行的,这个时候知道栈顶指针和偏移量,可以算出a的地址,通过地址就能直接读取a了,并不是说要弹栈,参考: http://blog.csdn.net/chenlycly/article/details/37912683
另外Q群大牛推荐看一本书:CSAPP(Computer System: A Programmer Perspective)。