深入了解C语言(局部变量的定义)

原创 2003年03月12日 09:04:00

深入了解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寄存器.那么对它的访问速度自然比起一般的变量要快.

C语言全局变量和局部变量总结

————————————————————————————————————————————————————————————————————————————— 只有不断的学习,不断的进步,才能不被替代...
  • u013355826
  • u013355826
  • 2016年11月19日 11:37
  • 10675

C语言局部变量和全局变量

在《C语言函数的参数和返回值》中提到,形参变量只在被调用期间才分配内存单元,调用结束立即释放。这一点表明形参变量只有在函数内才是有效的,离开该函数就不能再使用了,称为变量的作用域。所谓作用域(Scop...
  • lizhiliang123
  • lizhiliang123
  • 2015年12月20日 23:28
  • 652

深入理解C语言

Dennis Ritchie  过世了,他发明了C语言,一个影响深远并彻底改变世界的计算机语言。一门经历40多年的到今天还长盛不衰的语言,今天很多语言都受到C的影响,C++,Java,C#,Perl,...
  • jb19900111
  • jb19900111
  • 2014年04月01日 10:38
  • 1085

深入了解C语言

这一节我们主要来研究一下C语言如何使用函数中的局部变量的.C语言中对于全局变量和局部变量所分配的空间地址是不一样的.全局变量是放在_DATA段,也就是除开_TEXT代码段的另一块集中的内存空间.而局部...
  • yuanfangcheng
  • yuanfangcheng
  • 2006年09月03日 17:26
  • 500

C语言中局部变量、全局变量.pdf

  • 2015年12月17日 10:21
  • 1.72MB
  • 下载

c语言中全局变量和局部变量的探讨

  • 2014年09月03日 22:17
  • 150KB
  • 下载

C语言指针理解到深入(1)

为叙述方便,统一一下地址和指针的说法,本文中地址定义为内存位置,指针定义为带存储结构描述的地址,没有特别说明指针指的是一级指针,指针变量定义为存放指针的变量!在32位系统中,内存寻址范围为0x0000...
  • dz2015
  • dz2015
  • 2015年09月21日 22:20
  • 290

C语言中,定义局部变量时如果未初始化,则值是随机的,为什么?

分析一个细节:C语言中,定义局部变量时如果未初始化,则值是随机的,为什么? 定义局部变量,其实就是在栈中通过移动栈指针来给程序提供一个内存空间和这个局部变量名绑定。因为这段内存空间在栈上,而栈内存是...
  • robert_wzf
  • robert_wzf
  • 2016年09月07日 20:33
  • 3044

C语言局部变量和全局变量

在讨论函数的形参变量时曾经提到,形参变量只在被调用期间才分配内存单元,调用结束立即释放。这一点表明形参变量只有在函数内才是有效的,离开该函数就不能再使用了。这种变量有效性的范围称变量的作用域。不仅对于...
  • u011392772
  • u011392772
  • 2015年01月13日 18:29
  • 1810

深入了解C语言(局部变量的定义)

深入了解C语言这一节我们主要来研究一下C语言如何使用函数中的局部变量的.C语言中对于全局变量和局部变量所分配的空间地址是不一样的.全局变量是放在_DATA段,也就是除开_TEXT代码段的另一块集中的内...
  • tangl_99
  • tangl_99
  • 2003年03月12日 09:04
  • 14519
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:深入了解C语言(局部变量的定义)
举报原因:
原因补充:

(最多只允许输入30个字)