函数局部变量到底存在什么位置？高手进

Huntsmen

目前看到的资料说函数局部变量是放在栈里面的，因为栈是不停的有pop和push，变量如果在栈里面，它的地址应该是动态变化的，这个好像与平常的认知不太一样呀？
比如我有一个char b[1000],这个b的地址应该一直没有变化过，

比如说函数内有很3个局部变量，
int a；
char b[1000];
int c;
他们在栈里面的顺序如下，a最先入栈的；
-------------
|栈内存底部
|a
|b
|c
|栈顶
|
|
那我要访问变量a的话，难道还要将b的1000个字节先出栈吗？这样效率也太低了吧


哪位大侠对局部变量的存放位置比较清楚的，帮忙解答一下吧，thanks

Monox

回复 1# Huntsmen


    局部变量是放在栈里面的，但是访问局部变量并不需要出栈，局部变量是通过栈偏移量直接访问的，函数返回时该函数的整个栈空间被回收

pandaiam

搞清楚函数调用就好多了.

folklore

高深， 是设计编译器的人不对， 要把它放在CPU Cache里才对。

Huntsmen

是不是只有涉及到函数调用的时刻点才涉及到压栈出栈操作，如果只是在一个函数内部执行的时候，对变量的访问都是基于栈偏移直接访问，只有当寄存器用不过来的时候，才会有压栈出栈的动作？？？？

noword2k

LZ反汇编看一下编译出来的代码，不就都清楚了。

lin5161678

读写数据不用进栈出栈
在创建局部对象 和销毁局部对象的时候 才有进栈出栈的操作

另外 这里给这些局部对象分配内存 是没有顺序的
未必会按照
abc
或者
cba
的顺序

lxyscls

请详细看一下《深入理解计算机系统》，看了就懂了

局部变量只有在函数被调用时，通过代码段内的代码在函数栈帧上面分配空间

Huntsmen

手头没有这本书，在网上大概搜了一下栈帧的东西：
是不是这么理解，每个函数对应了一个栈帧，分别有两个指针，SP、FP，即栈顶和栈底；
函数刚进入的时候，SP=FP的，然后根据当前函数内的局部变量的size之和，做SP=SP-局部变量size之和=也等于FP-局部变量size之和；
相当于在栈帧里面把局部变量的内存给预留出来了，然后后续操作都是基于SP来做入栈出栈，当函数需要返回的时候，SP所有东西出栈之后，将SP设置为FP，这样就返回到调用者的栈帧了；不知道理解是否正确？

如果是这个样子的话，下面这个例子
func()
{
    int a,b;
    //操作1
    if(条件)
    {
        int c[100];
        //操作2
    }
}

main()
{
    func();
}
当刚进入func的时候，无论if条件是否满足，都会给c【100】预留空间，是吗？
很有可能我这个c永远用不到？

stonemason

回复 9# Huntsmen
栈上完全可以放个指针嘛