ISO/IEC 9899:2011 条款6.2.4——对象的存储持久性

6.2.4 对象的存储持久性

1、一个对象具有一个存储持久性来确定其生命周期。一共有四种存储持久性：静态的，线程的，自动的，以及分配的。分配存储在7.22.3中描述。

2、一个对象的生命周期是程序执行的一部分，在此期间该存储空间确保能为该对象进行保留。一个对象存在就有一个常量地址［注：常量地址意思是在可能不同时刻所构建的两个指针指向同一个对象，这两个指针的值是相等的。在同一个程序的两个不同执行期间，地址可能不同。也就是说，对于一个可执行程序，第一次运行获得的一个对象地址与第二次执行获得该对象的地址可能是不同的。］，并保存其最后所存储的值，贯穿其生命周期。如果一个对象在其生命周期以外的地方被引用，那么行为是未定义的。当一个指针所指向的对象到达了其生命周期的末尾，那么该指针的值就变为不确定了。

3、其标识符没有被声明为存储类指示符_Thread_local的一个对象，并且具有外部或内部连接，或具有存储类指示符static，具有静态存储持久性。其生命周期为程序的整个执行并且其所存储的值在程序启动前（即进入main函数前）仅被初始化一次。

4、其标识符以存储类指示符_Thread_local所声明的一个对象具有线程存储持久性。其生命周期是创建该对象的线程的整个执行，并且它的值在线程启动时被初始化。每个线程都有这样一个独立的对象，并且在一个表达式中对所声明名字的使用引用的是计算该表达式的线程相关联的那个对象。企图间接从另一个线程来访问某个线程中的线程存储持久性的对象是实现定义的。

5、其标识符以不具有连接并且没有存储类指示符static所声明的一个对象具有自动存储持久性，包括某些复合字面量。企图间接从另一个线程而不是与该对象相关联的线程访问具有自动存储持久性的一个对象是由实现定义的。

6、对于诸如不具有一个可变长度数组类型的一个对象，其生命周期从它相关联的语句块的入口延展到该语句块的结束（以任意方式退出该语句块）。（进入另一个封闭的语句块或调用一个函数会延迟，但不会结束对当前语句块的执行。）如果语句块被递归进入，那么该对象的一个新实例每次都会被创建。该对象的初始值是不确定的。如果为该对象指定一次初始化，那么在每次对它的声明或复合字面量到达语句块的执行中时，初始化被执行；否则，该值在每次到达声明时变为不确定的。

7、对于一个不具有可变长度数组类型的变量，其生命周期从该对象的声明一直到程序的执行离开声明的作用域。［注：离开包含声明的最里面的语句块，或是跳到那个语句块中的某一点或在声明之前的一个嵌套语句块，即离开该声明的作用域。］如果作用域被递归地进入，那么该对象的一个新的实例每次都会被创建。该对象的初始值是不确定的。

8、一个具有结构体或联合体类型的非左值表达式，这里该结构体或联合体包含了具有数组类型的一个成员（递归包含所有所包含的结构体和联合体的成员）以自动存储持久性和临时生命周期来引用一个对象。［注：当一个数组成员被访问时，这么一个对象的地址被隐式地获取。］当表达式被计算时，其生命周期开始，并且其初始值为该表达式的值。当包含完整表达式或完整声明符结束时，其生命周期周期结束。任何企图修改具有临时声明周期的一个对象都将导致未定义行为。