bss段确实不占用可执行文件空间,但文件装载后在内存中还是会占用相应大小的空间的,这种处理方法就是为了减少可执行文件大小,避免不必要的开销。
但严格地说,bss段也还是占用一些可执行文件空间的,比如在段表中有bss段的描述,在符号表中有bss段内相关变量的描述,但这里就不是同一个概念了。
被const修饰的未初始化的全局变量和局部静态变量都会占用可执行文件空间。
“__bss段在可执行文件中没有任何内容,这个其实不难理解。存放在__bss段的是未初始化的全局变量和局部静态变量,既然没有初始化,可执行文件中也就不需要专门去记录变量的值了(也没有值拿来记录),唯一需要的就是给这些变量一个确定的内存地址(像__data段中的变量一样)。这样其实有两种方法:其一,像__data段那样在相应位置写一些初始值进去占位,可执行文件装载时直接映射就好了,和__data段一模一样;其二,不给__bss段在可执行文件中占位,在装载时根据__bss段信息直接在内存中开辟相应区域,即将占位从可执行文件推迟到装载时。 编译器就是选择的方法二,将占位从可执行文件推迟到装载时,这样做的好处就是减小了可执行文件的体积,比如一个长度为10000的未初始化int数组,采用方法二不会占用任何可执行文件空间,而采用方法一则会将可执行文件增大至少40KB。”