为什么需要.bss段？

Question

我知道的是，全局变量和静态变量存储在.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 ?** */
}

Answer 1

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

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可能是一些非常有效的内联汇编程序，这意味着可以更快地执行启动复制。