C 語言變量不清零的三種機制：static、extern 與動態分配

核心答案

使用 static 關鍵字修飾局部變量，使其擁有靜態存儲期：程式啟動時分配、結束時釋放，函數多次調用間保持值不變（除非顯式修改）。

三種實現方式對比

1. 函數內 static 局部變量（最常用）

void counter() {
    static int count = 0; // 僅初始化一次
    printf("%d ", ++count);
}
int main() {
    counter(); // 1
    counter(); // 2
    counter(); // 3
}

• 作用域僅限函數內，生命週期全程。
• 未顯式初始化默認為 0。
• 線程不安全（多線程需加鎖或用 `_Thread_local` C11）。

2. 檔案域 static 全域變量

// file1.c
static int module_state = 0; // 僅本編譯單元可見
void set_state(int v) { module_state = v; }
int get_state() { return module_state; }

• 實現模組級封裝，避免符號衝突。
• 同樣具備靜態存儲期，程式結束前不釋放。

3. 動態記憶體分配

int *persist = malloc(sizeof(int));
*persist = 42;
// 跨函數傳遞指針，手動 free 才釋放

• 堆上分配，完全手動控制生命週期。
• 適用於大小不定、需跨模組共享的資料。
• 必須配對 free，否則洩漏。

對比總結表

避坑指南

1. static 不等於「常量」，值可修改；常量用 const。
2. 遞歸函數中使用 static 變量會被所有遞歸層級共享，通常改用參數傳遞狀態。
3. 多線程環境下 static 變量讀寫需加互斥鎖或使用 C11 `` 原子操作。
4. 嵌入式系統注意 .bss 段大小限制，大量 static 可能超出 RAM。

最佳實踐

• 單一函數需保持狀態 → static 局部變量。
• 模組內部狀態封裝 → static 全域變量 + 存取函數。
• 跨模組、生命週期動態、大數據 → malloc/free 並明確所有權。