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

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

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

在C语言编程中，对象的生命周期和初始化方式是非常重要的概念。对于非可变长度数组（VLA）的对象，其生命周期从定义所在的作用域开始，到该作用域结束时终止。而自动变量和复合字面量的初始化表达式，会在每次遇到定义时进行求值。例如，有一个复合字面量在程序中被访问了三次，它会依次被赋值为0、1和2。

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

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

为了实现初始化，最简单的方法是使用初始化器，它能让变量和复合字面量在可见时处于明确的状态。但对于VLA或动态分配的数组，无法使用初始化器，因此需要通过赋值来进行初始化。为了避免手动初始化代码难以阅读和维护的问题，建议为每个数据类型系统地提供一个初始化函数。

例如，对于rat数据类型，其初始化函数rat_init遵循特定的API：
- 对于类型toto，初始化函数命名为toto_init