C 已初始化和未初始化的可变大小数组

Question

我有接下来的两个代码示例：

const char *val = strchr(ch, ' ');
const int diff = (int)(val - ch);

char arr[diff];

和

const char *val = strchr(ch, ' ');
const int diff = (int)(val - ch);

char arr[diff] = {0};

第二个产生错误，如

错误：可变大小的 object 可能未初始化

这是正确的错误，我理解它为什么会发生。

我想知道为什么第一个代码片段不会产生错误？

更新：关于 sizeof(arr) 的第一个片段也给出了数组的大小，但我认为 sizeof 是一个编译时运算符（？）

Answer 1

在第二种情况下，您尝试初始化一个可变长度数组（因为数组的大小不是用 integer 常量表达式指定的；变量 diff 的声明中存在限定符const不会使其成为 integer 常量表达式在数组声明中）

char arr[diff] = {0};

这对于可变长度 arrays 是不允许的。

来自 C 标准（6.7.9 初始化）

3 待初始化实体的类型应该是一个未知大小的数组或者一个完整的object类型不是变长数组类型

您可以通过以下方式将数组的所有元素设置为零

#include <string.h>

//...

char arr[diff];
memset( arr, 0, diff );

至于运算符sizeof那么对于可变长度 arrays 它是在运行时计算的。

来自 C 标准（6.5.3.4 sizeof 和 alignof 运算符）

2 sizeof 运算符产生其操作数的大小（以字节为单位），它可以是表达式或类型的括号名称。 大小由操作数的类型决定。 结果是 integer。 如果操作数的类型是变长数组类型，则计算操作数； 否则，不计算操作数，结果为 integer 常量

Answer 2

这个定义：

char arr[diff];

创建一个可变长度数组。 这样的数组的大小在运行时确定。 因此，它可能未初始化。