22、C语言中的对象初始化、存储模型与文本处理

C语言中的对象初始化、存储模型与文本处理

1. 对象的生命周期与初始化规则

在C语言中，不同类型的对象具有不同的生命周期和初始化规则。对于非可变长度数组（VLA）的对象，其生命周期从定义所在的作用域开始时启动，到该作用域结束时终止。而自动变量和复合字面量的初始化器会在每次遇到定义时进行求值。

例如，有如下情况：

lexically the evaluation of *p precedes the definition of the object. Also, there is exactly one such compound literal, and therefore the addresses are equal for j==2.

对于VLA，其生命周期规则有所不同。VLA的生命周期从遇到定义时开始，到其可见作用域结束时终止。这意味着，使用goto语句指向VLA定义之前的代码中使用VLA指针是不被允许的，因为VLA的大小是运行时属性，在声明块进入时无法分配所需的空间。

对象的存储时长决定了其初始化方式。静态或线程存储时长的对象会进行默认初始化，即所有成员初始化为0。这种默认初始化对于指针和浮点类型等可能具有非平凡0值表示的基本类型非常有效。而对于自动或动态分配的对象，则必须显式初始化。

为了实现初始化，最简单的方法是使用初始化器，但对于VLA或动态分配的数组，需要通过赋值来进行初始化。为了避免手动初始化代码难以阅读和维护的问题，应该为每个数据类型系统地提供初始化函数。

例如，