在C语言里，static关键字用在变量声明上时，主要改变两件事：一是变量的存储周期，二是标识符的链接属性。理解这两点，就能明白为什么有些变量函数退出后值还在，有些变量只能在本文件访问。下面先通过声明形式建立直观认识，再分析生命周期背后的内存机制。
一、static变量的声明方式
static变量的声明非常简单，只要在普通变量定义前加上static关键字即可。根据定义位置不同，分为局部static变量和全局static变量两类，写法上都是前置static，但语义差别明显。
在函数内部声明的static变量叫静态局部变量。例如static int count = 0;写在函数体中，它的作用域仍限于该函数，但生命周期扩展到整个程序运行期。在所以函数外的文件作用域声明static int g_config;，则是静态全局变量，它的作用域被限制在定义它的源文件内，其他文件即使extern也无法引用。
#include <stdio.h>
void counter(void) {
static int s_val = 0; /* 静态局部变量，只初始化一次 */
s_val++;
printf("s_val = %dn", s_val);
}
static int file_secret = 42; /* 静态全局变量，仅本文件可见 */
int main(void) {
counter(); /* 输出 1 */
counter(); /* 输出 2 */
counter(); /* 输出 3 */
return 0;
}
上面代码里，s_val虽然定义在counter函数内，但三次调用分别输出1、2、3，证明它没有在每次调用时重新建和销毁。而file_secret若在另一个.c文件写extern int file_secret;，链接器会报错，这正是static限制链接属性的效果。
二、static变量的生命周期分析
要弄清生命周期，得先看C程序的内存布局。通常进程地址空间分为代码段、静态存储区（含已初始化和未初始化数据段）、堆区和栈区。普通局部变量在栈上分配，函数返回后栈帧回收，变量消失；而带static的局部变量被编译器安排到静态存储区，和程序同生共死。
从时间线看，static变量在程序启动时由加载器分配内存并做初始化（未显式初始化的为零值），之后一直存在，直到程序退出才释放。这意味着它的构造函数只执行一次，后续函数调用不会再次初始化。下面的例子对比了自动变量和静态变量在递归中的表现：
#include <stdio.h>
void demo(int n) {
int auto_i = 0; /* 每次调用都在栈上新建 */
static int static_i = 0; /* 静态区，全程一份 */
auto_i++;
static_i++;
printf("n=%d auto_i=%d static_i=%dn", n, auto_i, static_i);
if (n > 0) demo(n - 1);
}
int main(void) {
demo(2);
return 0;
}
运行后会发现auto_i每次都是1，因为每层递归的栈帧独立；static_i则从1累加到3，因为它在递归各层间共享同一块内存。这种特性适合用来统计函数调用次数或缓存中间结果，但若误用可能导致多线程环境下的数据竞争。
三、初始化规则与常见误区
static变量若未显式赋初值，编译器会自动将其置为0（指针则为NULL）。这一点和栈上的自动变量不同，后者不初始化时值是随机的。另外，static变量的初始化表达式必须是常量或常量表达式，不能是运行时才能确定的值。
一个常见误区是认为static变量定义在头文件里能让多个源文件共享同一变量。实际上，若头文件被多个.c包含，每个翻译单元都会生成自己的一份静态变量副本，互不干扰。真正想跨文件共享应使用普通全局变量加extern，或把static变量定义在单一个.c中并提供访问函数。
/* utils.c */
static int internal_state = 0;
void set_state(int v) { internal_state = v; }
int get_state(void) { return internal_state; }
/* main.c */
/* 此处无法直接访问internal_state，只能通过函数，实现封装 */
通过把状态变量声明为static再配合接口函数，既隐藏了实现细节，又避免了全局命名污染。这也是大型C项目中管理模块内部状态的标准做法。
四、使用建议与适用场景
当你需要函数在多次调用之间保持某个值，又不想用全局变量污染命名空间时，静态局部变量是最直接的选择。比如实现懒加载的单例、记录错误发生次数等。而静态全局变量适合仅在一个文件内使用的配置或缓冲，能有效降低链接阶段的符号冲突风险。
但要注意，过度使用static局部变量会让函数带有隐藏状态，不利于测试和并发。在多线程程序中，读写同一static变量必须加锁或使用原子操作。权衡可见性、生命周期与线程安全，才能把static用得恰到好处。
| 变量类型 | 存储位置 | 生命周期 | 作用域 |
|---|---|---|---|
| 自动局部变量 | 栈区 | 函数调用期间 | 所在代码块 |
| 静态局部变量 | 静态存储区 | 整个程序运行期 | 所在函数内 |
| 静态全局变量 | 静态存储区 | 整个程序运行期 | 定义文件内 |
| 普通全局变量 | 静态存储区 | 整个程序运行期 | 跨文件（extern） |
上面表格总结了四种变量的核心差异。可以看到，static对生命周期的影响是一致的，区别只在于是收窄了作用域还是收窄了链接属性。掌握这些，就能在编码时准确预判变量的生死与可见范围。