局部变量如何初始化。。

maxxfire

一个可执行程序中，.data段存放初始化的数据，.bss段存放未初始化的数据。

可是局部变量却直接以指令的形式写到了代码中：

这个简单的程序：

#include <stdlib.h>

void dosth()
{
        int i=2;
        printf("%d\n",i);
}

int main()
{
        dosth();
}

objdump出来发现：

080483a4 <dosth>:
80483a4:       55                      push   %ebp
80483a5:       89 e5                   mov    %esp,%ebp
80483a7:       83 ec 18                sub    $0x18,%esp
80483aa:       c7 45 fc 02 00 00 00    movl   $0x2,0xfffffffc(%ebp)              <----直接赋值
80483b1:       8b 45 fc                mov    0xfffffffc(%ebp),%eax
80483b4:       89 44 24 04             mov    %eax,0x4(%esp)
80483b8:       c7 04 24 c0 84 04 08    movl   $0x80484c0,(%esp)
80483bf:       e8 f4 fe ff ff          call   80482b8 <printf@plt>
80483c4:       c9                      leave  
80483c5:       c3                      ret  

难道我又理解错了？

prolj

把栈空间初始化成0？loader的干的。

cobras

加个static试试

haohao06

局部变量是在栈上动态分配的。
80483a7:       83 ec 18                sub    $0x18,%esp  分配空间局部变量
80483aa:       c7 45 fc 02 00 00 00    movl   $0x2,0xfffffffc(%ebp)              <----给局部变量赋值
至于为什么分配0x18个字节，一方面是为了调用printf准备栈空间，省去push和pop的麻烦，另一方面应该是为了检查溢出用的吧？
push ebp
mov ebp，esp
sub esp， 4   分配空间
mov  ebp-4， 2  赋值
push (ebp-4)
push "%d\n"
call printf
add esp, 8
mov esp，ebp
pop ebp
ret
一般来说这样更明显一点

[ 本帖最后由 haohao06 于 2008-7-23 16:07 编辑 ]

maxxfire

哈哈，原来这样，谢谢了。。
真是的，后悔当初大学没有认真学

haohao06

.bss并不“存在于”二進制文件中。這樣可以縮小二進制文件的size；在加載時loader根據大小在內存中分配bss，并初始化為0，這也是未初始全局變量默認為0的原因。
上面說的不嚴謹，也就是個大概意思呵呵。

[ 本帖最后由 haohao06 于 2008-7-23 16:09 编辑 ]

maxxfire

原帖由 haohao06 于 2008-7-23 16:06 发表
.bss并不“存在于”二進制文件中。這樣可以縮小二進制文件的size；在加載時loader根據大小在內存中分配bss，并初始化為0，這也是未初始全局變量默認為0的原因。

哦，确实，哈哈，我怎么没想到。。

yecheng_110

原帖由 maxxfire 于 2008-7-23 16:08 发表


哦，确实，哈哈，我怎么没想到。。

推荐《编程卓越之道》

gigabyte

学习汇编去……

maxxfire

原帖由 yecheng_110 于 2008-7-23 16:17 发表

推荐《编程卓越之道》

谢谢，非常不错..