用 sizeof 初始化常量数组

Question

为什么下面的代码在 gcc c99 上工作得很好

int a[] = {1,2,3};
int b[sizeof a / sizeof *a] = {0};

但这会产生编译错误

int n = sizeof a / sizeof *a;
int b[n] = {0};

错误

file.c:14:2: error: variable-sized object may not be initialized
file.c:14:2: warning: excess elements in array initializer [enabled by default]
file.c:14:2: warning: (near initialization for 'b') [enabled by default]

Answer 1

第一个例子是可行的，因为sizeof a/sizeof *a是一个常量表达式，可以用作数组维度。

在第二个例子中，n 不是常量表达式，因此编译器将 b 视为可变长度数组的定义，错误是说 VLAs 可能不是初始化。