未初始化全局變量揭秘：BSS 段與 COMMON 段的關鍵差異

背景知識回顧

全局變量存儲位置取決於初始化方式：

• 初始化非 0 值 → DATA 段
• 初始化為 0 → BSS 段
• 未初始化 → COMMON 段（編譯階段），鏈接時合併到 BSS 段

關鍵差異：COMMON 段屬於弱符號，BSS 段（顯式初始化 0）屬於強符號。

實驗驗證：符號強弱決定鏈接行為

場景一：兩個強符號衝突

// test1.c
int init = 0;  // 強符號，放入 BSS 段

// test2.c
int init = 1;  // 強符號，放入 DATA 段

鏈接報錯：multiple definition of 'init'

場景二：弱符號被強符號覆蓋

// test1.c
int init;      // 未初始化，弱符號，放入 COMMON 段

// test2.c
int init = 1;  // 強符號

鏈接成功，但運行時 init1() 讀到的值為 1（被 test2 覆蓋），而非預期的 0，導致邏輯錯誤且無任何警告。

核心機制解析

編譯器選項控制

使用 -fno-common 強制將未初始化全局變量放入 BSS 段（強符號）：

gcc -fno-common -c test1.c
gcc -fno-common -c test2.c
gcc -o test main.c test1.o test2.o  // 現在會報 multiple definition 錯誤

最佳實踐建議

1. 文件內部使用的全局變量加 static，限制作用域，避免符號衝突
2. 必須跨文件共享時，顯式初始化（即使是 0），使其成為強符號，衝突時能被鏈接器發現
3. 盡量減少全局變量使用，或使用項目唯一前綴命名（如 module_var）
4. 啟用 -fno-common 和 -Wall 進行編譯檢查

總結

BSS 與 COMMON 的區別不在於運行時值（均為 0），而在於鏈接階段的符號解析規則。理解這一機制對編寫健壯、可維護的多文件 C 專案至關重要。