程序的存储空间布局
由于历史原因,C程序一直由下列几部分组成:
正文段。这是由CPU执行的机器指令部分。通常,正文段是可共享的,所以即使是经常执行的程序(如文本编辑程序、C编译程序、shell等)在存储器中也只需有一个副本,另外,正文段通常是只读的,以防止程序由于意外事故而修改其自身的指令。
初始化数据段。通常将此段称为数据段,它包含了程序中需赋初值的变量。例如,C程序中任何函数之外的说明,int maxcount = 99;
非初始化数据段。通常将此段称为bss段,在程序开始执行之前,内核将此段初始化为0。函数外的说明:
long sum[1000];
使此变量存放在非初始化数据段中。
初始化数据段和非初始化数据段,组成了程序的全局区。(外部静态变量和外部变量都是存放全局区中)
栈。自动变量(通常所说的局部变量)以及每次函数调用时所需要保存的信息都存放在此段中。每次函数调用时,其返回地址、以及调用者的环境信息(例如某些机器寄存器)都存放在栈中。然后,新被调用的函数在栈上位其自动和临时变量分配存储空间。通过以这种方式使用栈,C函数可以递归调用。(局部static变量也是存放在静态存储区中,register首先在寄存器中分配存储,如果无可用的寄存器,则和自动变量一样在栈上分配存储。)
堆。通常在堆中进行动态存储分配。由于历史上形成的惯例,堆位于非初始化数据段顶和栈底之间。
程序的数据段,文字常量区、堆、栈和全局区组成了程序数据段,与程序代码段相对应。
下图显示了这些段的一
种典型安排方式。
【注】形参变量是属于被调函数的局部变量,实参变量是属于主调函数的局部变量。
生命周期和作用域是不一样的概念,局部静态变量的生命周期是从定义到文件结束,但是作用域,同自动变量一样,还是到函数结束。退出该函数后, 尽管该变量还继续存在,但不能使用它。


