精华区文章阅读

发信人: hua (pupa), 信区: C_and_CPP
标  题: 局部变量的含义zz
发信站: 哈工大紫丁香 (Sat May 14 16:00:03 2005), 转信

http://blog.csdn.net/tangl_99/archive/2003/03/12/5588.aspx
深入了解C语言(局部变量的定义)
深入了解C语言

这一节我们主要来研究一下C语言如何使用函数中的局部变量的.C语言中对于全局变量和局部变量所分配的空间地址是不一样的.全局变量是放在_DATA段,也就是除开_TEXT代码段的另一块集中的内存空间.而局部变量主要是使用堆栈的内存空间.好了,让我们直接看看下面这个案例研究.

研究案例三

工具: Turboc C v2.0,Debug,MASM v5.0,NASM
实例C程序:
/* example3.c */
char ch;
int e_main()
{
int i1;
int i2;
int i3;
i1=1;
i2=2;
i3=3;

}

; C程序的入口 start.asm
[BITS 16]
[global start]
[extern _e_main]
start:
  call _e_main

目标内容:C语言使用局部变量的方法

同样,这里我需要使用start.asm来作为我们C语言的入口.我们使用e_main,避开常规main函数入口,这样我们就能更清晰地了解到函数内部所产生的代码指令.

跟前一节一样,我们先编译C程序和入口汇编程序start.asm
nasmw -f obj -o start.obj start.asm
TCC -mt -oexample3.obj -c example3.c
link start.obj example3.obj,example3.exe,,,
exe2bin example3.exe

同样,我们使用老DOS的DEBUG工具来对example3.bin进行反汇编查看C生成的代码.

DEBUG
-n example3.bin
-l 0
-u 0
xxxx:0000    CALL   0003
xxxx:0003    PUSH   BP
xxxx:0004    MOV    BP,SP
xxxx:0006    SUB    SP,+06
xxxx:0009    MOV    WORD PTR [BP-06],0001
xxxx:000E    MOV    WORD PTR [BP-04],0002
xxxx:0014    MOV    WORD PTR [BP-02],0003
xxxx:0019    MOV    SP,BP
xxxx:001B    POP    BP
xxxx:001C    RET

好了,这里关于C生成的代码已经显露出来了.除开第一句CALL 0003是我们在start.asm的代码外,其它就是我C程序生成的代码.
首先进入e_main函数.执行

PUSH BP
MOV  BP,SP
这跟我们前面第二个案例中函数反问参数的代码相同.先保存BP,然后把堆栈指针传递给BP,以便后面通过BP来实现对变量的访问.

SUB  SP,+06
将堆栈指针继续后移动6个字节.因为我们在e_main中定义三个整型变量i1,i2,i3,一共6个字节的空间.这里通过移动堆栈指针,来实现局部变量的内存空间分配.

MOV  WORD PTR [BP-06],0001
MOV  WORD PTR [BP-04],0002
MOV  WORD PTR [BP-02],0003
分别对应我们在e_main中的三条赋值语句
i1=1;
i2=2;
i3=3;
这里我们可以看出,i1的地址实际上就是BP-06,i2就是BP-04,i3就是BP-02.前面的SUB SP,+06就是为了这三个变量而留出6个字节的空间(BP-08到BP-02)
同时我们也看到C语言中16位的赋值语句就是简单的MOV指令完成的.

MOV  SP,BP
当e_main函数结束后,堆栈指针还原成BP(BP值从未改变过).这样,我们的局部变量i1,i2,i3的空间也就消失了.所以当C语言中的函数结束后,函数中的局部变量会自动消失.

POP  BP
还原BP的值.这与前面的PUSH BP想对应

好了,本案例研究完毕.下面是总结的时候了.
C语言函数中的局部变量的空间一般都是放在堆栈里面.在进入函数前,通过"SUB SP,+XX"来为这些局部变量分配堆栈空间.然后同样通过BP来对这些局部变量进行访问.函数结束时,"MOV SP,BP"还原堆栈指针,局部变量随之而消失.最后以"POP BP"还原BP,结束该函数.

值得注意的是,C语言会自动为C函数中经常使用int类型变量设置成resigter int.这样的局部变量就不是使用堆栈空间的了,而就是直接使用SI寄存器.
比如一个典型的例子
void loop()
{
int i;
while(i<10000)
{
  i++;
}
}
对于这样的函数,C语言通常会将i优化成resigter int i.这个i没有使用任何内存空间来保存数值,它的数值直接保存于SI寄存器.那么对它的访问速度自然比起一般的变量要快.

--

※ 来源:·哈工大紫丁香 bbs.hit.edu.cn·[FROM: 219.217.235.95]

C_and_CPP 版 (精华区)