C语言初始化列表与逐值赋值的本质差异：为何VLA不能用初始化列表？

一、普通定长数组的两种写法 #

1. 初始化列表初始化 #

int arr[2] = {1, 2};

2. 逐个元素赋值 #

int arr[2];
arr[0] = 1;
arr[1] = 2;

使用gcc 13.2（带-O0优化选项）编译这两段代码，生成的汇编完全一致：

main:
        push    rbp
        mov     rbp, rsp
        mov     DWORD PTR [rbp-8], 1
        mov     DWORD PTR [rbp-4], 2
        mov     eax, 0
        pop     rbp
        ret

二、变长数组（VLA）的表现差异 #

1. 逐个赋值（合法） #

size_t n = 2;
int arr[n];
arr[0] = 1;
arr[1] = 2;  // OK

2. 初始化列表初始化（非法） #

size_t n = 2;
int arr[n] = {1, 2};  // ERROR

三、两种初始化方式的本质区别 #

• 初始化列表初始化是编译期完成的初始化：属于变量声明阶段的操作，C标准要求这种初始化的元素数量、值都必须在编译时就能确定。编译器会直接把初始化值写入目标文件的对应内存区域，相当于提前把数据“填”进数组的内存位置。
• 逐个赋值是运行期的赋值操作：先分配数组内存（此时内存内容是随机的），再在程序运行时通过赋值语句逐个修改元素值，本质是执行阶段的内存写入指令。

对定长数组来说，因为大小是编译期常量，编译器能明确数组元素数量，所以两种写法最终能生成等价的汇编——编译器会把初始化列表的逻辑直接转换成和逐个赋值一样的内存写入操作。

四、变长数组不能用初始化列表的原因 #

1. 大小的运行期特性：变长数组的长度要到程序运行时才能确定，编译器在编译阶段无法预知数组的元素数量，自然无法确定初始化列表需要覆盖多少个元素，也没法提前把初始化值写入对应的内存位置（内存的大小、栈帧偏移都是运行时才计算的）。
2. C标准的语法限制：C标准仅允许大小为编译期常量的数组使用初始化列表，变长数组不符合这个要求，属于语法上的非法操作，因此会直接触发编译错误。

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