C 語言資料存儲區全景圖：常數區、靜態區、堆疊、堆區的分佈與陷阱

四大記憶體區域速覽

深度解析：常數區的「假常量」陷阱

• char *p = "hello"：p 在堆疊，"hello" 在 .rodata，嘗試 p[0]='H' 會崩潰
• char a[] = "hello"：字串常量作為陣列初始化值，編譯器將字元直接嵌入指令碼區初始化陣列，a 在堆疊，**不佔用常數區**
• const int g = 10（全域）→ .rodata；const int l = 10（區域）→ 堆疊，仍可透過指標修改（C 與 C++ 行為不同）

靜態區細節：.data vs .bss

• int g = 5 → .data（映像檔佔空間）
• int g 或 static int g = 0 → .bss（映像檔僅記錄大小，載入時清零）
• static 修飾全域 → 僅本檔可見（內部連結）；修飾區域 → 僅函數可見，但儲存於靜態區

堆疊分配觀察實驗

int a=0, b=0; int arr[5]={1,2,3,4,5};
printf("%p %p %p", &a, &b, arr);
// &a > &b > arr[0]  先宣告位址較高
// arr[0] < arr[1] < ...  陣列元素位址遞增
// 系統按「最大成員大小」成批配置堆疊空間，造成間隙

段錯誤實戰：寫入常數區

char *p = "readonly"; p[0] = 'w'; // SIGSEGV
const int *q = malloc(4); *q = 5; // OK，指標指向堆區

參考資料

原文出處：淺談 C 語言的資料存儲（一）、（二）