我所知道的是，全局变量和静态变量都存放在.data段中，未初始化的数据存放在.bss段中。我不明白的是为什么我们有未初始化变量的专用段？如果未初始化的变量在运行时分配了值，该变量是否仍仅存在于 .bss 段中？

在下面的程序中，a在.data段中，b在.bss中> 段；那是对的吗？如果我的理解有误，请纠正我。

#include <stdio.h>
#include <stdlib.h>

int a[10] = { 1, 2, 3, 4, 5, 6, 7, 8, 9};
int b[20]; /* Uninitialized, so in the .bss and will not occupy space for 20 * sizeof (int) */

int main ()
{
   ;
}  

另外，请考虑以下程序，

#include <stdio.h>
#include <stdlib.h>
int var[10];  /* Uninitialized so in .bss */
int main ()
{
   var[0] = 20  /* **Initialized, where this 'var' will be ?** */
}

最佳答案

原因是为了减小程序大小。想象一下，您的 C 程序在嵌入式系统上运行，其中代码和所有常量都保存在真正的 ROM(闪存)中。在此类系统中，在调用 main() 之前，必须执行初始“向下复制”以设置所有静态存储持续时间对象。它通常会像这样伪:

for(i=0; i<all_explicitly_initialized_objects; i++)
{
  .data[i] = init_value[i];
}

memset(.bss, 
       0, 
       all_implicitly_initialized_objects);

其中 .data 和 .bss 存储在 RAM 中，但 init_value 存储在 ROM 中。如果它是一个段，那么 ROM 必须用很多零填充，显着增加 ROM 大小。

基于 RAM 的可执行文件的工作方式类似，当然它们没有真正的 ROM。

另外，memset 可能是一些非常高效的内联汇编器，这意味着启动复制下来可以更快地执行。

https://stackoverflow.com/questions/9535250/