C語言變量存儲類別深度解析：全域、區域、靜態變量的區別與陷阱

C語言變量存儲類別深度解析：全域、區域、靜態變量的區別與陷阱

變量的存儲類別決定了其**生命週期**（何時分銷毀）、**作用域**（可見範圍）與**鏈接屬性**（跨檔案可見性）。本文透過三個對比實驗，徹底釐清區域變量、靜態區域變量、全域靜態變量的行為差異。

實驗一：全域靜態變量 vs 區域變量（錯誤示範）

#include <stdio.h>
#include <stdlib.h>

void fun_global_static() {
    int i = 0;
    static int num = 0;  // 靜態區域變量（實為全域存儲）
    for (i = 0; i < 10; i++) {
        num = 0;  // 每次迴圈都歸零！邏輯錯誤
        num++;
        printf("%d ", num);
    }
}
// 輸出：1 1 1 1 1 1 1 1 1 1

問題：static int num = 0 僅初始化一次，但迴圈內 num = 0 每次執行都重置，導致永遠輸出 1。

實驗二：普通區域變量

void fun_local() {
    int i = 0;
    for (i = 0; i < 10; i++) {
        int num = 0;  // 每次迴圈進入重新分配、初始化
        num++;
        printf("%d ", num);
    }
}
// 輸出：1 1 1 1 1 1 1 1 1 1

區域變量在**塊作用域**內，每次進入塊重新創建，離開塊銷毀。迴圈體是一個塊，故每次迴圈都重新初始化。

實驗三：靜態區域變量（正確用法）

void fun_static_local() {
    int i = 0;
    for (i = 0; i < 10; i++) {
        static int num = 0;  // 僅第一次初始化，保持值
        num++;
        printf("%d ", num);
    }
}
// 輸出：1 2 3 4 5 6 7 8 9 10

關鍵差異：static 將變量存儲提升至**靜態存儲區**（與全域變量同區），生命週期延長至程式結束，但作用域仍限於函數內部。

核心對比總結表

常見陷阱與最佳實踐

1. 迴圈內聲明 static 配合重置賦值：如實驗一所示，邏輯錯誤極難排查。**原則**：靜態區域變量初始化後勿在迴圈中重置。
2. 遞歸函數共享狀態：靜態區域變量可用於遞歸計數、快取，但破壞執行緒安全與可重入性。
3. 全域變量污染命名空間：優先使用 static 限制檔案內可見，減少耦合。
4. 多執行緒環境：靜態變量（含全域）需加鎖保護，否則產生競態條件。

記憶體佈局視覺化

高位址
+------------------+
| 棧區 (向下增長)  |  ← 區域變量、函數參數、返回位址
|       ...        |
| 堆區 (向上增長)  |  ← malloc/free 管理
|       ...        |
| BSS 段           |  ← 未初始化全域/靜態變量 (預設 0)
| DATA 段          |  ← 已初始化全域/靜態變量
| 程式碼段         |  ← 機器指令、常量字串
低位址

總結

**區域變量**適合臨時計算，**靜態區域變量**適合函數內部保持狀態（如計數器、單例快取），**全域變量**慎用並加 static 限制作用域。理解存儲類別是掌握 C 語言記憶體模型、避免難以重現 Bug 的關鍵。