生存期

< c‎ | language
 
C
 
C 语言
 
基本概念
 

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

参阅