生存期
来自cppreference.com
C 中每个对象存在、拥有常地址、保有其最近一次存储值（除非其值不确定），对于 VLA 还有保有其大小 (C99 起)的程序执行部分，被称作该对象的生存期。
对于声明有自动、静态及线程存储期的对象，生存期等于其存储期（注意非 VLA 和 VLA 自动存储期的区别）。
对于拥有分配存储期的对象，其生存期始于分配函数的返回（包含从 realloc 返回），终于 realloc 或解分配函数的调用。注意因为分配的对象没有声明类型，首次访问该对象所用的左值表达式类型会成为其有效类型。
在生存期外访问对象是未定义行为。
int* foo(void) { int a = 17; // a拥有自动存储期 return &a; } // a的生存期结束 int main(void) { int* p = foo(); // p 指向生存期结束后的对象（“悬垂指针”） int n = *p; // 未定义行为 }
指向生存期结束的对象（或该对象后一位置）的指针拥有不确定值。
临时生存期
非左值表达式所指代的拥有数组成员的结构体和联合体对象（直接为其成员或为嵌套的结构体/联合体成员）拥有临时生存期。临时生存期始于求值指代该对象的表达式，终于下一个序列点 (C11 前)包含它的完整表达式或完整声明器结束 (C11 起)。
任何修改临时生存期对象的尝试会导致未定义行为。
struct T { double a[4]; }; struct T f(void) { return (struct T){3.15}; } double g1(double* x) { return *x; } void g2(double* x) { *x = 1.0; } int main(void) { double d = g1(f().a); // C99 ： UB 访问生存期结束于 g1 开序列点的 a[0] // C11 ： OK ， d 为 3.15 g2(f().a); // C99 ： UB 修改生存期结束于序列点的 a[0] // C11 ： UB 试图修改临时对象 }
引用
- C11 standard (ISO/IEC 9899:2011):
- 6.2.4 Storage durations of objects (p: 38-39)
- C99 standard (ISO/IEC 9899:1999):
- 6.2.4 Storage durations of objects (p: 32)
- C89/C90 standard (ISO/IEC 9899:1990):
- 3.1.2.4 Storage durations of objects
