C与C++静态对象初始化规则差异及代码编译问题解析

• C标准规则：对于静态存储期的对象（全局变量、static修饰的变量），C标准（如C11 6.7.9章节）要求其初始化器必须是编译时常量表达式。这里的常量表达式仅限字面量、满足特定条件的const常量、枚举值等，不能用其他静态对象——因为C的静态初始化完全在编译阶段完成，编译器无法在编译时确定普通静态对象的内存地址或运行时赋值后的实际值。
• C++标准规则：C++将静态存储期对象的初始化分为两类：
  1. 常量初始化：和C逻辑类似，用编译时常量表达式完成，在编译阶段执行；
  2. 动态初始化：允许用非编译时常量（包括其他静态对象）作为初始化器，这类初始化会在程序启动阶段（main函数执行前）按特定顺序完成。只要被依赖的静态对象已完成初始化，这种用法就合法（C++标准[basic.start.init]章节明确了这一逻辑）。

先看代码：

int x = 2;
int y = 1;
    
int a[2] = {x, y};

#include <stdio.h>

int main()
{
    printf("Hello world\n");
    return 0;
}

• C编译器报错原因：代码中的x、y、a都是全局变量，属于静态存储期对象。C标准要求静态对象的初始化器必须是编译时常量，而x和y是普通变量（哪怕它们的值看起来固定），不属于C标准定义的“编译时常量表达式”范畴，因此编译器会报错。
• C++可编译原因：C允许对静态存储期对象进行动态初始化。这里x和y会先于a完成初始化（全局对象的初始化顺序遵循同一编译单元内的声明顺序），之后a会用x、y的已初始化值完成自身初始化，整个过程在main执行前由运行时完成，符合C标准规则，因此可以正常编译。

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