两个C语言数组的初始化差异及static修饰后的行为疑问

我之前误以为第一个示例无法编译，错误地认为数组初始化值必须是编译期已知量，但实际并非如此。现咨询以下问题：

1. 这两个数组是否均在函数调用栈建立时初始化？
2. 两者的数组初始化过程是否存在差异？第一个数组需基于运行时变量block_size执行乘法运算，第二个数组的初始化值为编译期可计算常量，但其初始化流程是否一致？
3. 若为数组添加static修饰符，第二个编译期可确定值的数组是否在程序启动时初始化？第一个因初始化值无法编译期确定，是否会在每次函数调用时检查初始化标志，未初始化才执行初始化？

代码示例 #

void getSomething(int block_size)
{
   int offsets[] = {
        0,
        block_size * 3       
    };
}

void getSomething2()
{
    int offsets[] = {
         0,
         1 * 3
    };
}

问题解答 #

1. 是的，两个数组都会在函数调用栈建立时完成初始化
   这两个都是函数内的自动局部数组（无static修饰），属于栈上的自动存储变量。函数被调用、栈帧分配完成后，数组会立即完成初始化——不管初始化值是运行时计算的还是编译期常量。

2. 初始化流程存在底层实现差异，但对外表现一致

   • 对于getSomething里的数组：编译器会生成运行时代码，先计算block_size * 3的动态值，再把0和计算结果依次写入栈上的数组内存位置。
   • 对于getSomething2里的数组：因为1*3是编译期可确定的常量（结果为3），编译器会直接把0和3这两个常量提前存入程序的只读数据段，函数调用时直接将常量拷贝到栈上的数组位置，无需运行时执行乘法运算。
     但从代码执行逻辑的角度看，两者都是在函数进入时完成数组初始化，最终数组内容都符合初始化列表的预期，对外行为没有区别。

3. 添加static修饰后，两者的初始化逻辑完全不同

   • 第二个数组（getSomething2里的）：由于初始化值都是编译期常量，它会在**程序启动阶段（main函数执行前）**完成初始化，内存位于程序的静态存储区，整个程序生命周期内只初始化一次，函数每次调用时直接使用已初始化好的数组。
   • 第一个数组（getSomething里的）：因为初始化依赖运行时变量block_size，无法在程序启动时确定值，编译器会为它生成一个初始化标志位。每次函数调用时，先检查该标志：如果处于未初始化状态，就计算block_size *3并完成数组初始化，同时将标志设为已初始化；如果已初始化过，就跳过初始化步骤，直接使用之前的值。需要注意：这种情况下数组内容会保留上一次函数调用结束时的值（静态存储区变量不会随函数栈帧销毁），除非每次调用都显式重新赋值。

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