C中char数组成员的默认值是多少？

Question

假设我创建了一个char数组,并假设char数组为空.如果我检查数组(arr[0])中第一个元素的值,这个表达式的结果是什么？

Answer 1

这取决于数组的声明位置和方式.

如果数组在文件范围(在任何函数之外)声明,或者声明static,并且没有显式初始化器,则数组的内容将初始化为0.

如果数组是在块作用域(在函数或块内)声明并且未声明static,并且没有显式初始化器,则数组的内容是不确定的(实质上,垃圾值,其中一些可能是陷阱表示) .

如果数组已经显式初始化,那么它包含初始化程序中的任何内容.

编辑

在回应下面的注释时,请注意您不应该依赖于块范围变量的隐式初始化.如果需要在创建时将块范围数组清零,请使用初始化程序:

char foo[N] = {0};

当初始化器中的元素少于数组中的元素时,数组中与初始化器中的元素对应的元素将被设置为指定的值; 所有剩余的条目将被隐式初始化,就像它们被声明一样static.

在上面的示例中,这意味着第一个元素foo显式设置为0,而所有剩余元素都隐式设置为0.

Answer 2

如果它是一个auto变量，除非您显式初始化它，否则它将被垃圾填充，因此没有默认值。arr[0]可能会包含一个看似随机的值，直到明确更改为包含其他值。

当然，如果您初始化了数组（意味着您使用循环或函数调用或任何其他方式显式地用初始值填充了数组memset()）for，您将得到您所期望的：您初始化的值它。

请注意声明和初始化之间的区别。

void f(void) {
    int x;  // (1)
    x = 10; // (2)
}

在(1)处，您声明了一个auto整型变量。它现在有一个未定义的值（垃圾）。在(2)处，您正在初始化变量。现在它的价值为10.

当然，声明和初始化可以同时完成：

void f(void) {
    int x = 10;
}

对于数组也是如此：

void f(void) {
    int x[2];  // x contains 2 junk values, so x[0] == junk
    x[0] = 1;  // x contains { 1, junk },   so x[0] == 1
    x[1] = 2;  // x contains { 1, 2 },      so x[0] == 1
}

或者，声明并初始化它：

void f(void) {
    int x[2] = { 1, 2 };
}