初始化

来自cppreference.com
< c‎ | language

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

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

= 表达式 (1)
= { 初始化器列表 } (2)
= { } (3) (C23 起)

其中 初始化器列表 是非空的逗号分隔 初始化器 列表(尾逗号可选),这里每个初始化器拥有三种可能形式之一:

表达式 (1)
{ 初始化器列表 } (2)
{ } (3) (C23 起)
指派符列表 = 初始化器 (3) (C99 起)

其中 指派符列表 是形式为 [ 常量表达式 ] 的数组指派符列表,或形式为 . 标识符 的结构体/联合体指派符列表;见数组初始化结构体初始化

注意:除了初始化器,花括号环绕的 初始化器列表 亦可出现于复合字面量中,它是有下列形式的表达式:

( 类型 ) { 初始化器列表 }
( 类型 ) { } (C23 起)
(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

参阅