C中的可变长度数组并将其初始化到位[重复]

Question

C99 允许定义具有非常量大小的数组，即用于定义数组的大小可以在运行时更改。代码 sn-p 来解释它，

void dummy_function1(unsigned int length) {

 char arrA[length];  //Allowed
 .
 .
}

但是，它不允许就地初始化它，即

void dummy_function2(unsigned int length) {

 char arrA[length]={0}; //Not Allowed, compiler throws an error
 char arrB[10]={0};     //Allowed
 .
}

我不明白，为什么可变长度的数组和恒定长度的数组的行为会有这种差异。在这两种情况下，调用函数时都会为数组分配内存。

Answer 1

这是因为编译器不知道用多少个零“填充”剩余元素。

声明

char arrA[3] = { 0 };

可以很容易地翻译成

char arrA[3] = { 0, 0, 0 };

在编译期间，而变长声明则不能。

由于 C 没有运行时系统，编译器必须根据给定的长度添加代码以动态填充零。 C 标准力求最小化并为程序员提供最大的权力，因此避免了这样的事情。从 C11 开始，可变长度数组已从标准中删除，并被标记为可选功能。

Answer 2

如果我们查看 C99 草案标准部分 6.7.8Initialization 段落 3 说，标准似乎不允许这样做（强调我的）：

要初始化的实体的类型应该是一个未知大小的数组或一个对象类型 不是变长数组类型。

至于为什么很可能是因为支持可变长度数组的初始化需要在运行时进行不确定的工作量。

Answer 3

假设：C 是一种中级语言，标准委员会不希望在基本语言中包含执行未在编译时确定的工作量的操作（将库算作单独的）。

目前我想到的所有 C 的基本操作（也许有人会纠正我）只需要在编译时确定的工作量：调用一个函数，将两个数字相乘，将一个结构分配给另一个，以及很快。这些都可以通过在编译时执行的许多机器指令来执行。

即使为可变长度数组分配空间也只需要编译时的工作量：计算大小并从堆栈指针中减去它。相反，初始化所有这些空间需要在运行时确定的工作量。这不符合 C 语言的特点。

库例程可能需要在运行时确定的工作量，例如memset。