初始化
来自cppreference.com
对象声明可以通过名为初始化的步骤提供其初始值。
对于每个声明符，若不省略初始化器，则它可以是下列之一：
= 表达式
|
(1) | ||||||||
= { 初始化器列表 }
|
(2) | ||||||||
= { }
|
(3) | (C23 起) | |||||||
其中 初始化器列表 是非空的逗号分隔 初始化器 列表（尾逗号可选），这里每个初始化器拥有三种可能形式之一：
| 表达式 | (1) | ||||||||
{ 初始化器列表 }
|
(2) | ||||||||
{ }
|
(3) | (C23 起) | |||||||
指派符列表 = 初始化器
|
(3) | (C99 起) | |||||||
|
其中 指派符列表 是形式为 注意：除了初始化器，花括号环绕的 初始化器列表 亦可出现于复合字面量中，它是有下列形式的表达式：
|
(C99 起) | ||||||||||||||||||||||||||||||||||||
解释
初始化器指定存储于一个对象中的初始值。
显式初始化
若提供了初始化器，对于
隐式初始化
若未提供初始化器：
空初始化
|
若显式从初始化器 = {} 初始化对象，则空初始化它。 |
(C23 起) |
一些情况下，若未显式初始化对象，则空初始化它，即：
- 指针被初始化成其类型的空指针值
- 整数类型对象被初始化成无符号的零
- 浮点类型对象被初始化成正零
- 数组的所有元素、结构体的所有成员及联合体的首个成员递归地空初始化，外加初始化所有填充位为零
- （在空指针值和浮点零拥有全零位表示的平台上，静态对象的这种初始化形式普遍以将其分配到程序映像的 .bss 段实现）
注解
在初始化静态或线程局域存储期的对象时，每个初始化器中的 表达式 都必须是常量表达式或字符串字面量。
初始化器不能用于不完整类型的对象、 VLA 及拥有链接的块作用域对象。
函数形参的初值如同用从函数调用实参赋值，而非初始化一样建立。
若将不确定值用于任何标准库调用的参数，则行为未定义。另外，任意牵涉到不确定值的表达式的值是不确定值（例如 int n; ， n 可能与自身比较不相等，并且它在后续读取中的值可能出现更改）。
C 标准不使用术语零初始化。该术语采纳自 C++ ，并为方便解释而用于此。
|
C 中无对应 C++ 中值初始化的特殊构造，然而能用 = {0} （或复合字面量中的 (T){0} ） (C99 起)代替，因为 C 标准不允许空结构体、空联合体或零长度数组。 |
(C23 前) |
|
空初始化器 = {} （或复合字面量中的 (T){}）能用于达成与 C++ 中的值初始化相同的语义。 |
(C23 起) |
示例
运行此代码
#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}; }
引用
- C17 标准（ISO/IEC 9899:2018）：
- 6.7.9 Initialization （第 100-105 页）
- C11 标准（ISO/IEC 9899:2011）：
- 6.7.9 Initialization （第 139-144 页）
- C99 标准（ISO/IEC 9899:1999）：
- 6.7.8 Initialization （第 125-130 页）
- C89/C90 标准（ISO/IEC 9899:1990）：
- 6.5.7 Initialization