生存期

 

C

语言

头文件

类型支持

程序工具

变参数函数支持

动态内存管理

错误处理

字符串库

算法

数值

日期和时间工具

输入/输出支持

本地化支持

并发支持 (C11)

技术规范

符号索引

 

C 语言

 

基本概念

注释

ASCII

转义序列

翻译阶段

标点

标识符

作用域

生存期

查找与命名空间

类型

算术类型

对象与对齐

main() 函数

如同规则

未定义行为

内存模型与数据竞争

 

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 标准（ISO/IEC 9899:2011）：

• 6.2.4 Storage durations of objects （第 38-39 页）

• C99 标准（ISO/IEC 9899:1999）：

• 6.2.4 Storage durations of objects （第 32 页）

• C89/C90 标准（ISO/IEC 9899:1990）：

• 3.1.2.4 Storage durations of objects

参阅