在C89中的数组声明中使用sizeof（）

Question

我的印象是在C89中无法实现可变大小的数组声明。 但是，当使用clang -ansi编译时，我能够运行以下代码：

double array[] = { 0.0, 1.0, 2.0, 3.0, 4.0 };
double other_array[sizeof(array)] = { 0.0 };

这里发生了什么？ 那不被认为是可变大小的数组声明吗？

Answer 1

在ANSI C89又名ISO C90中， sizeof运算符产生一个整数常量 ，适用于数组维度。 例如，函数调用不是。

我想补充一句话，因为我认为代码原样有一个可能被忽视的问题。

如果other_array声明为

double other_array[sizeof(array)];

它不会具有相同数量的元素，也不会具有相同的大小 （对于char数组而言只是如此）作为array[] 。 如果目的是声明具有相同数量元素的第二个数组（无论类型如何），请使用：

double other_array[sizeof(array)/sizeof(*array)];

Answer 2

这是因为sizeof运算符的结果是常量表达式 ，因此它不符合VLA的条件，就像下面的声明一样：

int other_array[5];

也不能是可变长度数组。 从C11（N1570）§6.6/ p6 常数表达式 （强调我的前进）：

整数常量表达式 ^117）应具有整数类型，并且只能具有整数常量的操作数，枚举常量，字符常量， 结果为整数常量的 sizeof表达式， _Alignof表达式以及作为强制转换的直接操作数的浮点常量。

为了完整起见， sizeof运算符并不总是导致常量表达，尽管这只会影响C89之后的标准（在C11中，VLA是可选的）。 参考§6.5.3.4/ p2 sizeof和_Alignof运算符 ：

如果操作数的类型是可变长度数组类型，则计算操作数; 否则，不评估操作数，结果是整数常量 。

Answer 3

首先，让我们看一下阵列（ 不是 ）VLA的标准。 C11 doc，章节§6.7.6.2，

[...]如果size是一个整型常量表达式，并且元素类型具有已知的常量大小，则数组类型不是可变长度数组类型; [...]

在你的情况下， sizeof是一个编译sizeof算符，因此它产生一个被认为是编译时常量表达式的值。 数组定义（其大小指定为编译时常量表达式）不是VLA。 所以，在你的代码中，

int other_array[sizeof(array)]

不是VLA。

关于运算符sizeof结果，从C11 ，章节§6.5.3.4，（ 强调我的 ）

sizeof运算符产生其操作数的大小（以字节为单位），该操作数可以是表达式或类型的带括号的名称。 [...]否则，不评估操作数，结果是整数常量。