当被询问时，C 在运行时将数组初始化并重新初始化为零

Question

#include <stdio.h>

int main(void) {
    for (int i = 0; i < 5; i++) {
        int arr[5] = {0};
        // arr gets zeroed at runtime, and on every loop iteration!
        printf("%d %d %d %d %d\n", arr[0], arr[1], arr[2], arr[3], arr[4]);
        // overwrite arr with non-zero crap!
        arr[0] = 3;
        arr[1] = 5;
        arr[2] = 2;
        arr[3] = 4;
        arr[4] = 1;
    }
    return 0;
}

显然这是可行的：

> gcc -Wall -Wextra -pedantic -std=c99 -o test test.c;./test
0 0 0 0 0
0 0 0 0 0
0 0 0 0 0
0 0 0 0 0
0 0 0 0 0

但是：

• 幕后发生了什么？
• 这是否保证适用于任何大小的数组？
• 我是否找到了在循环的每次迭代中将数组归零的最优雅方法？

Answer 1

不要忽略代码的逻辑错误（在每次迭代时重新初始化）我建议在您想要分配数组的所有元素时使用 memcpy 或 memset。这是经过验证的方法，幸运的是，它可以作为几乎所有编译器实现的魅力。

Memset Example

MemCpy Example

所以，使用 Memset 你的代码会变成;;

int a[5]; 
memset(a,0,<number of bytes to be set to> sizeof(int)*5); 

请阅读文档以了解为什么它很快，您会喜欢...

编辑 对不起，感谢所有反对的选民/评论者......我更正了答案......

Answer 2

是的，C 标准保证您的数组元素在每次循环迭代时都归零。如果您只希望它们在第一次迭代时归零，请将数组设为静态，即使用

static int arr[5] = {0}; 

在这种情况下，您可以省略= { 0 }，因为需要初始化静态数据，就好像在没有初始化程序的情况下所有元素都被赋值为 0（或 NULL 用于指针，或 0.0 用于浮点值，递归对于结构）。

还请注意，如果您使用 less 初始化器比数组维度指定，其余元素分配零。所以

int arr[5] = {42, 0xdead};

等价于

int arr[5] = {42, 0xdead, 0, 0, 0};

而使用单个 0 只是此规则的一个特例。

Answer 3

这个问题之前已经回答过：

• how does array[100] = {0} set the entire array to 0?

幕后发生了什么？

编译器将生成与 memset 等效的代码（请参阅Strange assembly from array 0-initialization 了解完整详情）。

这是否保证适用于任何大小的数组？

不超过可用堆栈大小的限制，是的。

我是否找到了在循环的每次迭代中将数组归零的最优雅方法？

我想是的。 :)

Answer 4

变量arr 在循环的每次迭代中创建并初始化，因为那是您编写的。在您的示例中，代码执行类似于memset() 的操作以将数组设置为零，但可能更有效且内联。你也可以写一个非零初始化器。

是的，它适用于“任何”大小的数组。如果数组更大，循环会更慢。

这是一种非常优雅的实现效果的方式。编译器将尽可能快地完成它。如果你能写出一个更快的函数调用，那编译器作者就傻了。

Answer 5

根据我的说法，每当您迭代循环时，您在循环内声明的任何变量都是该循环的本地变量。因此，在循环结束时它们会被破坏，当循环再次开始时，它们会再次被创建。 所以， 1. 以上回答； 2.是的，这应该适用于任何大小的数组； 3. 不...

Answer 6

您在每次迭代时都创建了一个新数组，因此无需重新初始化。