飞翔飞翔
主页
  • 计算机基础

    • TCP/IP协议
    • Linux命令
  • 数据库

    • SQL教程
  • 编程语言

    • C语言
    • Python2
    • Python3
  • 数据格式

    • JSON教程
  • 工具

    • Markdown指南
  • Git

    • GitFlow
  • Quartz

    • Quartz教程
  • Java

    • Java设计模式
  • 缓存

    • Redis教程
联系
阿里云
主页
  • 计算机基础

    • TCP/IP协议
    • Linux命令
  • 数据库

    • SQL教程
  • 编程语言

    • C语言
    • Python2
    • Python3
  • 数据格式

    • JSON教程
  • 工具

    • Markdown指南
  • Git

    • GitFlow
  • Quartz

    • Quartz教程
  • Java

    • Java设计模式
  • 缓存

    • Redis教程
联系
阿里云
  • 学习路径
  • 第1章 编程基础概念

    • 冯·诺依曼体系结构
    • 数据在计算机中的表示
    • 编程语言的层次
    • C语言的起源与发展
    • C99标准的主要改进
    • 开发环境搭建
    • 第一个C程序
    • 编译与运行流程
    • 可移植性风险的三级体系
  • 第2章 数据类型与运算

    • 字符集与标识符
    • 关键字
    • 注释
    • char 类型
    • short 与 int
    • long 与 long long
    • 有符号与无符号
    • 取值范围与 limits.h
    • float 与 double
    • long double
    • _Bool 类型
    • 变量声明与定义
    • 常量
    • 转义序列
    • 算术运算符
    • 赋值运算符
    • 自增自减运算符
    • 关系与判等运算符
    • 逻辑运算符
    • 位运算符
    • 条件运算符
    • 逗号运算符
    • 运算符优先级
    • 隐式类型转换
    • 显式类型转换
  • 第3章 控制流

    • 表达式语句与空语句
    • 复合语句
    • if 语句
    • switch 语句
    • while 循环
    • do-while 循环
    • for 循环
    • break 与 continue
    • goto 语句
    • return 语句
  • 第4章 函数与模块化编程

    • 函数定义
    • 函数声明与原型
    • main 函数
    • 函数调用机制
    • 传值调用
    • 数组参数
    • 作用域
    • 存储期
    • 链接属性
    • static 与 extern
    • 递归
    • 头文件与源文件
    • 头文件保护
    • include 规则
  • 第5章 数组与字符串

    • 一维数组声明与初始化
    • 数组的存储模型
    • 数组访问与越界
    • 数组操作
    • 二维数组
    • 变长数组 VLA
    • 字符串基础
    • 字符串输入输出
    • 字符串处理函数
    • 字符串与数字转换
  • 第6章 指针

    • 指针的概念
    • 指针的声明与使用
    • 指针运算
    • const 与指针
    • 数组名与指针
    • 指针遍历数组
    • 指针与多维数组
    • 指针作为函数参数
    • 函数返回指针
    • 函数指针
    • 二级指针
    • 复杂声明解析
  • 第7章 结构体、联合体与枚举

    • 结构体定义与声明
    • 结构体初始化
    • 结构体成员访问
    • 结构体嵌套
    • 结构体指针
    • 结构体与函数
    • 联合体
    • 联合体与类型双关
    • 枚举类型
    • 位域
    • 内存对齐与填充
  • 第8章 动态内存管理

    • malloc 与 free
    • calloc 与 realloc
    • 内存泄漏
    • 悬垂指针
    • 内存分配策略
    • 自定义内存池
    • Valgrind 与内存检测
    • 内存碎片
    • 内存对齐分配
    • 常见内存错误
  • 第9章 文件输入输出

    • 文件打开与关闭
    • 文本读写
    • 格式化输入输出
    • 二进制读写
    • 文件定位
    • 错误处理
    • 标准流
    • 临时文件
    • 文件操作示例
  • 第10章 预处理器

    • 预处理器基础
    • 宏定义
    • 带参数的宏
    • 条件编译
    • 头文件包含
    • 预定义宏
    • 宏的高级技巧
    • 预处理器陷阱
    • 编译器特定扩展
  • 第11章 标准库概览

    • 标准库概述
    • assert.h
    • ctype.h
    • errno.h
    • float.h
    • limits.h
    • locale.h
    • math.h
    • setjmp.h
    • signal.h
    • stdarg.h
    • stddef.h
    • stdlib.h
  • 第12章 进阶主题

    • 内联函数
    • 变长数组 VLA
    • 复数类型
    • 布尔类型
    • stdint 与 inttypes
    • 灵活数组成员
    • 匿名结构体与联合体
    • 静态断言
    • 线程支持
    • 原子操作

存储期

存储期(Storage Duration)决定了变量在内存中存在的时间。C 语言有三种存储期:自动存储期、静态存储期和分配存储期。理解存储期与作用域的区别——作用域决定可见性,存储期决定存在时间——是掌握 C 语言内存管理的基础。

自动存储期(Automatic Storage Duration)

自动存储期的变量在程序执行进入其声明所在的块时创建,离开块时销毁。局部变量(未加 static)默认具有自动存储期。

void func(void)
{
    int local = 10;         /* 自动存储期 */
    
    {
        int inner = 20;     /* 自动存储期 */
    }                       /* inner 在这里销毁 */
    
}                           /* local 在这里销毁 */

自动变量存储在栈上,创建和销毁的开销很小(通常只是调整栈指针)。

未初始化的自动变量:

void func(void)
{
    int x;
    printf("%d\n", x);      /* 未定义行为!x 的值不确定 */
}

自动变量不会自动初始化,使用前必须显式赋值。

静态存储期(Static Storage Duration)

静态存储期的变量在程序启动时创建,程序结束时销毁。全局变量和 static 局部变量具有静态存储期。

int global = 10;            /* 静态存储期,文件作用域 */

void func(void)
{
    static int count = 0;   /* 静态存储期,块作用域 */
    count++;
    printf("%d\n", count);
}

/* 第一次调用:count = 1 */
/* 第二次调用:count = 2 */
/* count 在函数调用之间保持值 */

static 局部变量只在第一次进入块时初始化一次,后续调用不再初始化。

静态变量自动初始化为零:

void func(void)
{
    static int a;           /* 自动初始化为 0 */
    static int b = 0;       /* 显式初始化为 0 */
    int c;                  /* 自动变量,未初始化,值不确定 */
    
    printf("%d %d %d\n", a, b, c);
}

分配存储期(Allocated Storage Duration)

分配存储期的变量通过 malloc、calloc、realloc 动态分配,通过 free 释放。生命周期由程序员控制。

int *p = malloc(sizeof(int) * 10);   /* 分配 */
if (p != NULL) {
    /* 使用 p */
    free(p);                         /* 释放 */
}

分配存储期的变量没有作用域限制(只要持有指针就可以访问),但生命周期需要手动管理。

存储期对比

存储期创建时机销毁时机默认初始化存储位置
自动进入块离开块不初始化栈
静态程序启动程序结束0数据段
分配malloc 调用free 调用不初始化堆

static 关键字的双重含义

static 在不同上下文中有不同含义:

局部变量:改变存储期为静态,不改变作用域

void func(void)
{
    static int count = 0;   /* 静态存储期,块作用域 */
    count++;
}

全局变量/函数:改变链接属性为内部链接,不改变作用域或存储期

static int internal = 0;      /* 文件作用域,静态存储期,内部链接 */

static void helper(void)        /* 内部链接:只在当前文件可见 */
{
    /* ... */
}

常见错误

返回自动变量地址:

int *get_value(void)
{
    int local = 10;         /* 自动存储期 */
    return &local;          /* 危险:函数返回后 local 销毁 */
}

/* 正确:返回静态变量地址 */
int *get_value(void)
{
    static int local = 10;  /* 静态存储期 */
    return &local;          /* 安全 */
}

假设自动变量自动初始化:

void func(void)
{
    int sum;                /* 未初始化! */
    for (int i = 0; i < 10; i++)
        sum += i;           /* 未定义行为 */
}

混淆 static 局部变量和全局变量:

static int count = 0;       /* 文件作用域 */

void func(void)
{
    static int count = 0;   /* 块作用域,遮蔽全局 count */
    count++;                /* 修改的是局部 count */
}

最佳实践

  • 自动变量使用前始终初始化
  • 需要跨调用保持状态的变量用 static(如计数器、缓存)
  • 全局变量默认用 static 限制为文件作用域
  • 动态分配的内存在同一作用域内释放
  • 不要返回自动变量的地址
  • 理解 static 的双重含义(存储期 vs 链接属性)
上一页
作用域
下一页
链接属性