C語言全域變量作用域與生存期深度解析

C語言全域變量作用域與生存期深度解析

全域變量（外部變量）在函數外部定義，具有程序級的生命週期與跨函數的可見性。正確理解其作用域規則、extern/static 語義及跨文件共享機制，是模組化編程的基石。

3.1 全域變量的作用域與生存期

• 定義位置：函數外部任意處。
• 作用域：從定義行開始，至本源文件結尾。
• 生存期：程序啟動至結束，存放於靜態儲存區（已初始化非零在資料段，未初始化/零值在 BSS 段）。
• 遮蔽規則：若區域變量與全域變量同名，區域變量在其作用域內遮蔽全域變量，互不干擾。

為何慎用全域變量？

1. 持續佔用記憶體：無論是否使用，全程駐留靜態區。
2. 降低函數復用性：函數隱式依賴外部狀態，難以獨立測試與移植。
3. 易引發難查錯誤：任意處可修改，數據流難追蹤，併發環境下更危險。

3.2 同一編譯單元內用 extern 前向聲明

當全域變量定義在使用它的函數之後時，需在函數內用 extern 聲明，告知編譯器「此變量已在外部定義，已分配空間，勿重複分配」。聲明後作用域從聲明處延伸至函數末尾。

int max(int x, int y) { return x>y?x:y; }

int main() {
    extern int A, B;  // 前向聲明
    printf("%d\n", max(A, B));
}

int A = 13, B = -8;  // 定義在 main 之後

區別：定義（分配空間）只能出現一次，不可加 extern；聲明可多次，必須加 extern。

3.3 跨編譯單元（多文件）共享全域變量

大型專案常將函數分散在多個 .c 文件，各自編譯成 .o 再鏈接。若每個文件都定義同名全域變量，鏈接時會報「重複定義」錯誤。

標準做法：

1. 在一個文件（如 globals.c）中定義所有需共享的全域變量。
2. 在需使用的其他文件中用 extern 聲明，不再定義。
3. 通常將 extern 聲明放入頭文件（globals.h），各文件 #include 即可。

3.4 靜態全域變量（static 修飾全域）

• 作用域限制：僅限本編譯單元（本 .c 文件）可見，其他文件不可用 extern 引用。
• 鏈結屬性：內部鏈結，符號不輸出到目標文件符號表，避免跨文件名稱衝突。
• 工程價值：實現資訊隱藏，模組內部狀態不洩露，大型專案中極其重要。

// module_a.c
static int internal_counter = 0;  // 僅本文件可見
void increment() { internal_counter++; }

// module_b.c
// extern int internal_counter;  // 鏈接錯誤：未定義符號
// 可放心定義同名 static 變量，互不干擾