Chinaunix

标题: 函数局部变量到底存在什么位置？高手进 [打印本页]

作者: Huntsmen 时间: 2013-09-11 00:48
标题: 函数局部变量到底存在什么位置？高手进
目前看到的资料说函数局部变量是放在栈里面的，因为栈是不停的有pop和push，变量如果在栈里面，它的地址应该是动态变化的，这个好像与平常的认知不太一样呀？
比如我有一个char b[1000],这个b的地址应该一直没有变化过，

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

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

作者: Monox 时间: 2013-09-11 08:30
回复 1# Huntsmen

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

作者: pandaiam 时间: 2013-09-11 08:33
搞清楚函数调用就好多了.

作者: folklore 时间: 2013-09-11 08:39
高深，是设计编译器的人不对，要把它放在CPU Cache里才对。

作者: Huntsmen 时间: 2013-09-11 10:28
本帖最后由 Huntsmen 于 2013-09-11 10:28 编辑

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

作者: noword2k 时间: 2013-09-11 10:42
LZ反汇编看一下编译出来的代码，不就都清楚了。

作者: lin5161678 时间: 2013-09-11 10:45
读写数据不用进栈出栈
在创建局部对象和销毁局部对象的时候才有进栈出栈的操作

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

作者: lxyscls 时间: 2013-09-11 19:50
请详细看一下《深入理解计算机系统》，看了就懂了

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

作者: Huntsmen 时间: 2013-09-13 02:06
手头没有这本书，在网上大概搜了一下栈帧的东西：
是不是这么理解，每个函数对应了一个栈帧，分别有两个指针，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 时间: 2013-09-13 15:27
回复 9# Huntsmen
栈上完全可以放个指针嘛

作者: Huntsmen 时间: 2013-09-13 18:36
回复 10# stonemason
指针总要指到一个内存区吧？指到哪里
如果是一个指针的话，那我们为什么说局部变量是放在栈上呢

作者: thinkc 时间: 2013-09-13 22:04
提示: 作者被禁止或删除内容自动屏蔽

作者: stonemason 时间: 2013-09-17 11:33
回复 11# Huntsmen
进入if，符合条件，malloc一块内存给数组，出去把他free，可以吧？

作者: hangkong77 时间: 2013-09-23 23:48
栈操作是push 和 pop。但是可以通过地址随机访问，看看汇编代码你就明白了。

欢迎光临 Chinaunix (http://bbs.chinaunix.net/)