未初始化静态变量未存入BSS段问题咨询及底层原理求助

你的问题核心原因是：编译器和链接器优化掉了未被使用的静态变量，导致它根本没有被加入到最终可执行文件的BSS段中。

具体原理拆解 #

• 未使用静态变量的优化规则：C语言标准允许编译器和链接器移除任何对程序执行无影响的未使用实体，包括文件作用域的静态变量。你的代码中test变量从未被读取或写入，对程序的运行结果没有任何作用，因此被直接丢弃了，自然不会占用BSS段的空间。
• BSS段的作用：BSS段专门存放程序实际使用的未初始化全局/静态变量（以及初始值为0的全局/静态变量），这些变量会在程序启动时被自动初始化为0。如果变量没被纳入可执行文件，就不会体现在size命令的输出中。
• 初始化静态变量的差异：你测试的初始化静态变量（比如static int test = 1;）之所以会增加data段大小，是因为这类变量带有非0初始值，编译器默认更倾向于保留它们（默认-O0优化级别下通常会保留），而非0初始值的变量会被放入data段，而非BSS段。

验证方法 #

要确认这个结论，你可以做以下两个测试：

1. 让变量被程序使用
   修改代码，在main函数中引用test：

   #include <stdio.h>
   static int test;
   int main () {
       printf("%d", test); // 引用test变量
       return 0;
   }
   

   重新编译后执行size a.exe，你会看到BSS段的大小增加了4字节（对应int类型的长度）。

2. 强制编译器保留未使用变量
   使用GCC的__attribute__((used))属性强制保留未被使用的静态变量：

   #include <stdio.h>
   static int test __attribute__((used)); // 强制保留该变量
   int main () {
       return 0;
   }
   

   编译后查看size输出，BSS段大小会明显增加，因为变量被强制加入了BSS段。

内容的提问来源于stack exchange，提问作者rechichi