初始化

对象声明可以通过名为初始化的步骤提供其初始值。

对于每个声明器，若不省略初始化器，则它可以是下列之一：

其中 initializer-list 是非空的逗号分隔 initializer 列表（尾逗号可选），这里每个初始化器拥有三种可能形式之一：

解释

初始化器指定存储于一个对象中的初始值。

显式初始化

若提供了初始化器，对于

• 标量类型初始化，见标量初始化。
• 数组类型初始化，见数组初始化。
• 结构体及联合体类型初始化，见结构体初始化。

隐式初始化

若未提供初始化器：

• 拥有自动存储期的对象将以不确定的值初始化（可能是陷阱表示）
• 拥有静态及线程局域存储期的对象按以下方式初始化：

• 指针被初始化成其类型的空指针值
• 整数类型对象被初始化成无符号的零
• 浮点类型对象被初始化成正零
• 数组、结构体及联合体的元素/成员递归地按上述方式初始化，外加所有填充位都被初始化到零

（在空指针和浮点零拥有全零位表示的平台上，静态对象的这种初始化形式普遍以将其分配到程序映像的 .bss 段实现）

注意

在初始化静态或线程局域存储期的对象时，每个初始化器中的 expression 都必须是常量表达式或字符串字面量。

初始化器不能用于不完整类型的对象、 VLA 及拥有链接的块作用域对象。

如同从它们赋值自函数调用实参赋值一般，而非从初始化，建立函数参数的初值。

若将不确定值用于任何标准库调用的参数，行为是未定义的。另外，任意牵涉到未确定值的表达式的值是未确定的（例如 int n; ， n 可能与自身比较不相等，并且它在后续读取中的值可能出现更改）。

示例

#include <stdlib.h>
int a[2]; //初始化a为{0, 0}
int main(void)
{
    int i;          // 初始化 i 为不确定值
    static int j;   // 初始化 j 为 0
    int k = 1;      // 初始化 k 为 1
 
    // 初始化 int x[3] 为 1,3,5
    // 初始化 int* p 为 &x[0]
    int x[] = { 1, 3, 5 }, *p = x;
 
    // 初始化 w （二个结构体的数组）为
    // { { {1,0,0}, 0}, { {2,0,0}, 0} }
    struct {int a[3], b;} w[] = {[0].a = {1}, [1].a[0] = 2};
 
    // 函数调用表达式可用于局部变量初始化
    char* ptr = malloc(10);
    free(ptr);
 
//  错误：拥有静态存储期的对象要求常量初始化器
//  static char* ptr = malloc(10);
 
//  错误：不能初始化 VLA
//  int vla[n] = {0};
}

引用