第4章静态函数与全局变量

课程目录第4章静态函数与全局变量

4、静态函数与全局变量：static 关键字在函数和变量中的应用、文件作用域与模块封装

各位同学，今天我们来聊聊 C 语言里一个特别重要、但又容易被忽视的关键字——static。

说实话，我刚开始学 C 的时候，觉得 static 就是个「静态变量」的修饰符，没啥大不了的。直到我在一个嵌入式项目里，被一个全局变量引发的「灵异事件」折磨了整整两天……嗯，从那以后，我才真正理解了 static 的威力。

这一节，我们就来彻底搞懂 static 在函数和变量中的两种用法，以及它如何帮助我们实现真正的模块封装。

4.1 static 修饰局部变量：生命周期变了，作用域没变

先看一个最简单的例子：

#include <stdio.h>

void counter() {
    static int count = 0;  // 静态局部变量
    count++;
    printf("count = %d\n", count);
}

int main() {
    counter();  // 输出 1
    counter();  // 输出 2
    counter();  // 输出 3
    return 0;
}

你想想看，普通局部变量在函数退出时就销毁了。但 static 局部变量不一样——它只初始化一次，之后每次调用都保留上一次的值。

我个人习惯把这种变量叫做「有记忆的局部变量」。它在函数内部可见，但生命周期贯穿整个程序运行期。

小提示：静态局部变量存储在数据段（.data 或 .bss），而不是栈上。所以它不会因为函数调用层次深而栈溢出，但也意味着它占用的内存不会释放。

4.2 static 修饰全局变量：从「公开」到「私有」

全局变量默认是「外部链接属性」——也就是说，你在 a.c 里定义了一个全局变量 int g_val;，在 b.c 里用 extern int g_val; 就能访问它。

但加上 static 之后，情况就变了：

// module.c
static int internal_counter = 0;  // 文件作用域，外部不可见

void increment() {
    internal_counter++;
}

int get_counter() {
    return internal_counter;
}

这时候，internal_counter 就变成了「文件私有」的变量。其他 .c 文件即使写 extern int internal_counter; 也链接不到它。

注意：我曾经在一个多人协作的项目里，看到有人把关键状态变量定义成全局非静态的。结果另一个同事不小心在别处修改了它，导致整个系统行为异常。排查了整整一个下午……从那以后，我坚持：除非必须暴露，否则一律 static。

4.3 static 修饰函数：隐藏实现细节

函数默认也是外部链接的。但加上 static 后，这个函数就只能在当前文件内部调用了。

// sensor.c
static int read_raw_sensor() {
    // 直接操作寄存器，外部不需要知道
    return 0xAB;
}

int get_temperature() {
    int raw = read_raw_sensor();
    return raw * 100 / 255;  // 转换成温度值
}

这里 read_raw_sensor() 是模块内部的辅助函数。外部使用者只需要调用 get_temperature() 就行，根本不需要知道底层怎么读传感器的。

说白了，static 函数就是告诉编译器：「这个函数是我模块内部的私事，外人别管。」

4.4 实战：设计一个只暴露接口的模块

好，理论说完了，我们来动手做一个完整的模块。假设我们要实现一个「软件定时器」模块，外部只需要两个接口：启动定时器和检查是否超时。

先看头文件 soft_timer.h：

#ifndef SOFT_TIMER_H
#define SOFT_TIMER_H

#include <stdint.h>

void timer_start(uint32_t timeout_ms);
uint8_t timer_is_expired(void);

#endif

再看实现文件 soft_timer.c：

#include "soft_timer.h"
#include <stdint.h>

// 静态全局变量——外部不可见
static uint32_t start_tick;
static uint32_t timeout_value;
static uint8_t  timer_running;

// 静态辅助函数——外部不可见
static uint32_t get_current_tick() {
    // 假设底层有一个毫秒计数器
    extern uint32_t system_ms;
    return system_ms;
}

// 公开接口
void timer_start(uint32_t timeout_ms) {
    start_tick = get_current_tick();
    timeout_value = timeout_ms;
    timer_running = 1;
}

uint8_t timer_is_expired(void) {
    if (!timer_running) {
        return 1;  // 未启动视为已超时
    }
    uint32_t elapsed = get_current_tick() - start_tick;
    if (elapsed >= timeout_value) {
        timer_running = 0;
        return 1;
    }
    return 0;
}

你看，外部使用者只需要包含 soft_timer.h，调用 timer_start() 和 timer_is_expired() 就行了。至于内部用了哪些变量、有哪些辅助函数——完全被 static 隐藏起来了。

  核心思想：头文件只放「别人需要知道的东西」，.c 文件里能 static 的都 static。这样模块的接口清晰，内部实现可以随意重构，只要接口不变，外部代码完全不受影响。

4.5 知识体系总览

下面这张图帮你理清 static 的三种用法和它们的作用域关系：

4.6 避坑指南

最后，分享几个我踩过的坑：

静态变量不是线程安全的。 在多任务环境下，如果多个任务同时访问同一个静态变量，需要加锁保护。我曾经在一个 RTOS 项目里忘了这事，结果定时器偶尔会「抽风」。
静态变量初始化要谨慎。 静态变量的初始化是在 main() 之前完成的。如果你在初始化时调用了其他模块的函数，而那个模块还没准备好——程序直接崩。
不要滥用 static 局部变量。 有些新手喜欢把所有局部变量都写成 static，觉得这样「省内存」。其实恰恰相反——静态变量是永久占用内存的，而普通局部变量在函数退出后就释放了。

我的建议：先默认所有全局变量和函数都加 static，直到你明确需要外部访问时再去掉。这样设计出来的模块，天然就是高内聚、低耦合的。

好了，这一节的内容就到这里。记住：static 不是 C 语言里的「小角色」，它是模块化设计的基石。用好它，你的代码会变得更干净、更安全、更容易维护。

公众号:蓝海资料掘金营，微信deep3321

📚 课程目录

4、静态函数与全局变量：static 关键字在函数和变量中的应用、文件作用域与模块封装

4.1 static 修饰局部变量：生命周期变了，作用域没变

4.2 static 修饰全局变量：从「公开」到「私有」

4.3 static 修饰函数：隐藏实现细节

4.4 实战：设计一个只暴露接口的模块

4.5 知识体系总览

4.6 避坑指南