C 語言全局變量大小與可執行文件體積差異原理解析

C 語言中定義大型全局變量（如 2MB 陣列），但編譯生成的可執行文件僅 20KB，這看似矛盾實則符合編譯器對已初始化與未初始化數據的不同處理機制。本文深入解析其底層原理。

核心結論

未初始化的全局變量屬於 BSS 段，不佔用可執行文件空間；已初始化的全局變量屬於 DATA 段，會佔用文件空間。

內存段對比

代碼驗證

// 情況 A：未初始化 - 不佔用 exe 空間
char buffer_a[2 * 1024 * 1024];  // .bss 段，exe 體積不變

// 情況 B：已初始化 - 佔用 exe 空間
char buffer_b[2 * 1024 * 1024] = {0, 1, 2, ...}; // .data 段，exe 體積增 ~2MB

// 情況 C：部分初始化 - 佔用 exe 空間（剩餘自動補 0）
char buffer_c[2 * 1024 * 1024] = {1}; // .data 段，exe 體積增 ~2MB

鏈接器行為

• .bss 段：鏈接器僅在可執行文件頭部記錄「需分配 2MB 零初始化內存」，不存儲實際數據。程式加載時，作業系統負責分配並清零
• .data 段：鏈接器將初始化數據完整寫入可執行文件，加載時直接映射到內存

實務建議

1. 大型緩衝區、查找表等無需特定初始值的全局數組，勿顯式初始化，利用 .bss 節省磁盤空間
2. 嵌入式開發中，.bss 段大小直接影響 RAM 佔用，需在鏈接腳本中確認
3. 若需非零初始值，考慮運行時初始化（memset/迴圈）而非編譯期初始化，權衡啟動速度與文件體積

此機制體現「空間換時間」的編譯器優化智慧：以運行時零初始化換取極小的可執行文件體積。