为何全局变量无法用另一全局变量初始化？编译机制与设计疑问

int a = 5;
int b = a; //error, a is not a constant expression 

int main(void)
{
  static int c = a; //error, a is not a constant expression
  int d = a; //okay, a don't have to be a constant expression
  return 0;
}

1. 编译器处理上述变量声明的具体过程 #

• 全局变量（a和b）：全局变量存放在程序的全局/静态存储区，该区域的内容必须在程序启动前就完全确定。编译阶段编译器会尝试计算全局变量的初始值，要求初始值必须是常量表达式——即能在编译期直接算出结果的表达式。a虽被初始化为5，但它是变量，不属于常量表达式范畴，因此int b = a会报错，因为编译器无法在编译期确定b的初始值。
• 静态局部变量（c）：静态局部变量同样存储在全局/静态存储区，初始化规则和全局变量一致，必须用常量表达式初始化。所以static int c = a也会触发错误，原因和全局变量b相同。
• 自动局部变量（d）：自动局部变量存放在栈上，它的初始化是在程序运行到该变量声明的代码行时才执行的。此时a已加载到内存中，编译器可生成代码读取a的值来初始化d，因此不需要常量表达式，这个操作合法。

2. C语言为何不支持全局变量用普通变量初始化 #

• 简化程序启动流程：程序启动时，操作系统会直接把全局存储区的预初始化数据加载到内存。如果允许用变量初始化全局变量，就需要在启动阶段额外执行一段代码完成初始化，这会增加启动逻辑的复杂度。C语言设计时追求简洁高效，尽量避免这类额外的启动开销。
• 避免初始化顺序问题：若允许全局变量互相依赖初始化，很容易出现未定义行为——比如变量A用变量B初始化，但B的初始化顺序在A之后，此时A会拿到B的未初始化值。要求常量表达式初始化全局变量，能确保初始值在编译期完全确定，不会出现依赖问题。
• 适配早期技术环境：C语言诞生于硬件资源有限的年代，当时的编译器和操作系统没有足够能力处理复杂的全局初始化逻辑，这种简单规则是为了适配当时的技术环境，后来也被保留为标准。

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