📚 课程目录第3章利用static关键字限制变量作用域以优化内存

3. 利用static关键字限制变量作用域以优化内存

任务目标

在嵌入式C语言工程中，全局变量会进入符号表并占用额外内存（符号表项、重定位信息），同时可能被外部文件意外引用。本案例通过将仅在本文件内使用的全局变量改为static，使其变为内部链接属性，从而减少符号表条目、提升访问效率（编译器可更激进优化），并观察内存映射文件中的变化。

环境与依赖

ARM GCC交叉编译器（arm-none-eabi-gcc）或原生GCC（验证原理时可用）
Makefile或直接命令行编译
目标MCU：STM32F103（示例，任意Cortex-M3/M4均可）

关键完整代码

以下为最小可复现示例，包含两个源文件：module.c（核心修改对象）和main.c（调用入口）。

// module.c —— 修改前（全局变量）与修改后（static）对比
// 本文件仅演示static关键字对符号表的影响

// ========== 修改前（未使用static） ==========
// int buffer[64];
// int counter;

// ========== 修改后（使用static） ==========
static int buffer[64];   // 仅本文件可见
static int counter;      // 仅本文件可见

// 对外提供的唯一接口
void module_init(void) {
    for (int i = 0; i < 64; i++) {
        buffer[i] = i;
    }
    counter = 0;
}

int module_get_counter(void) {
    return counter;
}

void module_increment(void) {
    counter++;
}

// main.c —— 调用入口
#include <stdio.h>

// 声明外部接口
void module_init(void);
int module_get_counter(void);
void module_increment(void);

int main(void) {
    module_init();
    module_increment();
    module_increment();
    printf("counter = %d\n", module_get_counter());
    return 0;
}

编译与符号表对比

使用以下命令分别编译修改前和修改后的版本，并对比符号表：

# 编译（修改前版本需先注释static）
arm-none-eabi-gcc -c module.c -o module.o
arm-none-eabi-gcc -c main.c -o main.o
arm-none-eabi-gcc module.o main.o -o app.elf

# 查看符号表
arm-none-eabi-nm -a app.elf | grep -E "buffer|counter"

修改前，nm输出中buffer和counter会显示为全局符号（类型为B或D，无static标记），且出现在动态符号表（若启用）。修改后，这两个符号不再出现在nm的全局符号列表中，仅作为局部符号存在（若保留调试信息则显示为t或b）。

内存变化观察

通过编译生成的.map文件观察内存占用变化：

arm-none-eabi-gcc -Wl,-Map=app.map module.o main.o -o app.elf

在app.map中搜索buffer和counter，对比修改前后：

修改前：两个符号出现在.bss段，同时符号表区域（.symtab）包含它们的全局条目，占用额外约8~16字节（每个符号表项约8字节，含名称字符串）。
修改后：.bss段大小不变（数据本身仍占264字节），但符号表条目减少，.symtab区域缩小。若使用-fdata-sections + --gc-sections，未被引用的static变量还可能被完全优化掉。

验证方法与判定标准

符号表验证：执行arm-none-eabi-nm app.elf | grep -E "buffer|counter"，修改后应无输出（或仅显示为局部符号b，取决于是否保留调试符号）。修改前会显示为全局B符号。
内存对比：对比修改前后app.map中.bss段大小（应不变，均为264字节）和.symtab段大小（修改后应减小）。
功能正确性：运行程序输出counter = 2，证明static化后功能不受影响。

预期输出（确定性结果）

counter = 2

该输出由代码逻辑直接唯一推出，非实测数据。

常见问题

若使用IDE（如Keil/STM32CubeIDE）：在工程选项中将module.c中变量前加static，重新编译后查看.map文件（Keil中为.htm或.map），对比符号列表。
若编译器优化开启（-O2）：static变量可能被直接内联到访问处，进一步减少内存访问指令，此时可通过反汇编（arm-none-eabi-objdump -d app.elf）观察访问方式差异。