C 語言變數作用域與儲存類別完整解析：auto、static、extern、register 深度剖析

• 限制：不能取位址 (&i 編譯錯誤)、不能是陣列/結構體、僅限標量型別。
• 現況：GCC/Clang/MSVC 擁有優秀的寄存器分配器，register 關鍵字僅作為提示，實際是否落入寄存器由最佳化器決定 (-O2 以上通常自動完成)。

3. static — 雙重語意，視宣告位置而定

區域 static 經典用法：函數內狀態保持

int Counter() {
    static int count = 0;   // 僅初始化一次
    return ++count;
}
// 呼叫 3 次回傳 1, 2, 3

// 避免全域變數污染命名空間，實現「模組私有狀態」

檔案層級 static：資訊隱藏

// utils.c
static int internal_cache[1024];  // 僅本檔可見
static void flush_cache() { ... } // 僅本檔可呼叫

void Public_API() { flush_cache(); } // 對外介面

4. extern — 宣告非定義，跨檔案共享

// a.c
int global_counter = 0;          // 定義 (外部連結)
void Increment() { global_counter++; }

// b.c
extern int global_counter;       // 宣告，告訴編譯器「別處有定義」
extern void Increment();         // 函數 extern 可省略

void UseIt() { printf("%d\n", global_counter); Increment(); }

• 關鍵規則：extern 只宣告，不配置記憶體；定義只能出現一次 (One Definition Rule)。
• C/C++ 混合編程：extern "C" 告訴 C++ 編譯器用 C 命名慣例 (無 name mangling)，使 C++ 可呼叫 C 函數、存取 C 變數。

三、進階議題

多執行緒下的 static 初始化競爭 (C11 解決)

// C11 保證執行緒安全初始化 (magic statics)
int GetID() {
    static _Atomic int id = 0;  // 或配合 call_once
    return atomic_fetch_add_explicit(&id, 1, memory_order_relaxed);
}

C11 規定區域 static 初始化為原子操作，無需額外鎖。

const 與儲存類別的關係

• const int x = 5; — 檔案層級預設 內部連結 (如 static)，若需跨檔共享需加 extern const int x; 定義端與宣告端同加 extern。
• static const — 明確內部連結，編譯器常傳播常數值，不佔用資料段空間。

區塊作用域與 for 迴圈變數 (C99)

for (int i = 0; i < n; i++) { ... }  // i 僅在 for 區塊可見
// C89 需在函數開頭宣告

四、最佳實務檢核表

五、標準演進對照

結語

作用域與儲存類別是 C 語言「模組化、封裝、並發安全」的地基。精通 static 的雙重語意、extern 的跨檔契約、register 的歷史包袱、_Thread_local/_Atomic 的現代並發原語，能讓你寫出介面乾淨、無符號衝突、執行緒安全、易於測試與重構的 C 程式碼。下次宣告變數時，先問三個問題：誰能看見？活多久？誰負責銷毀？ — 答案自然導向正確的儲存類別選擇。