C語言全局內存深度指南：BSS、Data、Rodata 段特性與優化實戰

前言：全局內存不只是全局變量

全局內存強調的是生命周期而非作用域。static 修飾的局部變量、嵌入式系統中的堆實現（大數組二次分配）均屬全局內存範疇。ELF 可執行文件中，全局內存分為 BSS、Data、Rodata 三段，理解其特性是時空優化關鍵。

一、三大段特性對比

二、實測驗證：文件大小差異

BSS 段：不佔文件空間

int bss_array[1024 * 1024] = {0};  // 4MB
int main() { return 0; }

$ gcc -g bss.c -o bss.exe
$ ll
-rwxr-xr-x 1 root root 5683  // 僅 5KB！

結論：BSS 僅記錄大小，OS 載入時分配並清零。雖然 OS 會清零，但為可移植性建議顯式初始化。

Data 段：雙重佔用

int data_array[1024 * 1024] = {1};  // 非零初始化

$ gcc -g data.c -o data.exe
$ ll
-rwxr-xr-x 1 root root 4200025  // 4MB+！

結論：非零初始化數據必須存入文件，載入時映射到內存。

Rodata 段：多重優勢

• 立即數優化：小常量直接編碼指令中，存 .text 段
• 字符串去重：同一模塊內相同字符串僅保留一份
• 進程間共享：只讀頁天然共享，極大提升內存利用率
• 嵌入式 XIP：NorFlash 直接運行，不佔 RAM；Linux XIP 同理
• 硬件保護：寫入觸發異常，及時發現邏輯錯誤

三、關鍵字與內存段的映射關係

static：雙重語義

const：指針與被指對象的雙重約束

const char* p = "abc";      // 指針常量：p 可變，*p 不可變
char* const p = "abc";      // 常量指針：p 不可變，*p 可變
const char* const p = "abc"; // 雙重常量

字符串字面量默認 const，存儲在 Rodata。

volatile：告訴編譯器「別動它」

• 多線程共享全局變量
• 內存映射 I/O 寄存器
• 信號處理器修改的變量
• 禁止寄存器優化，每次強制從內存讀寫

四、優化實戰建議

1. 大數組零初始化：用 static int arr[1000000] = {0}; 進 BSS，不增大二進制
2. 只讀配置表：const struct config_table 進 Rodata，多進程共享、可 XIP
3. 避免非零初始化大結構：運行時初始化或拆分為 BSS + 運行時賦值
4. 嵌入式系統：盡用 const 利用 NorFlash/Rom，節省寶貴 RAM

總結

全局內存三段各有千秋：BSS 省文件空間，Data 攜帶初始值，Rodata 共享只讀、硬件保護。善用 static/const/volatile，讓編譯器幫你把數據放對地方，是 C 語言工程優化的基本功。