C程序內存佈局深度解析：棧、堆、靜態區與代碼區

C程序內存佈局深度解析：棧、堆、靜態區與代碼區

理解內存分區是掌握C語言生命週期、作用域、性能優化及調試崩潰的基石。本文詳細剖析棧區、堆區、靜態/全局區、常量區、代碼區的特性、分配機制、典型代碼示例及常見陷阱。

一、內存分區圖解（高地址 → 低地址）

高地址
┌─────────────────┐
│   棧區          │ ← 向下增長（高→低分配，低→高使用）
│   (Stack)       │
├─────────────────┤
│   堆區          │ ← 向上增長（低→高）
│   (Heap)        │
├─────────────────┤
│   靜態/全局區   │ ← 程序啟動分配，退出釋放
│   (BSS/Data)    │
├─────────────────┤
│   常量區        │ ← 字面量、字符串常量（只讀）
│   (Literal)     │
├─────────────────┤
│   代碼區        │ ← 二進制指令（只讀）
│   (Text)        │
└─────────────────┘
低地址

二、棧區—— 函數調用的舞臺

核心特性

• 數據結構：先進後出 (LIFO)。操作：入棧、出棧。
• 分配方向：高地址 → 低地址。
• 使用方向：低地址 → 高地址（局部變量按聲明序分配）。
• 管理者：編譯器/系統自動管理（函數入棧分配，出棧釋放）。
• 存儲內容：局部變量、函數參數、返回地址、寄存器保存、棧幀指針。

關鍵機制演示

// 1. 棧分配方向驗證
char a=0, b=0, c=0;
printf("%p %p %p", &a, &b, &c); // 地址遞減

// 2. 棧使用方向：低地址先用
char n1=1, n2=0;
short *p = &n2; // n2地址 > n1地址
printf("%d", *p); // 讀取n2及n1組成的short值（跨變量讀取，演示內存連續）

// 3. 函數調用棧幀
int fun1() { int n1=200; return n1; }
int fun2() { int n1; return n1; } // 未初始化！
int main() {
    fun1(); // fun1棧幀銷毀，但數據殘留
    int m = fun2(); // fun2復用相同棧位置，讀到殘留值200
    printf("%d", m); // 輸出200（未定義行為！）
}

鐵律與陷阱

1. 局部變量必須初始化：棧內存不清零，殘留數據導致不可預測值。
2. 不要返回棧上數組/變量地址：函數返回後棧幀銷毀，地址失效（懸空指針）。
3. 棧溢出：遞歸過深、大數組局部定義（如 int a[1000000]）導致棧耗盡。
4. 賦值順序：等號右邊先算，再寫左邊。

三、堆區—— 程序員的自由天地

核心特性

• 動態分配：malloc/calloc/realloc 申請，free 釋放。
• 管理者：程序員手動管理。
• 生命週期：申請到釋放，或程序結束由系統回收。
• 增長方向：低地址 → 高地址。

經典錯誤

1. 內存洩漏：申請後忘記 free，長期運行程序致命。
2. 重複釋放：free(p); free(p); → 未定義行為。對策：free(p); p=NULL;。
3. 使用已釋放內存：野指針。
4. 越界訪問：寫入超出分配大小，破壞堆元數據，導致後續 malloc/free 崩潰。

四、靜態/全局區—— 程序級生命週期

包含

• 全局變量：函數外部定義。
• 靜態局部變量：函數內 static 修飾。
• 靜態全局變量：文件作用域 static。

特性

• 程序啟動分配，退出釋放。
• 默認初始化為0（未顯式初始化時）。
• 只初始化一次：靜態局部變量首次執行到聲明處初始化，後續調用保持值。

經典用例

void counter() {
    static int cnt = 0; // 只初始化一次
    printf("%d\n", cnt++);
}
int main() {
    for(int i=0;i<5;i++) counter(); // 輸出 0 1 2 3 4
}

五、常量區—— 只讀數據區

• 存放：字符串常量（"hello"）、數值字面量（10, 3.14）。
• 不可修改：嘗試修改導致段錯誤（如 char *s="abc"; s[0]='x';）。
• 字符串常量以 \0 結尾，編譯器可能合併相同字符串。

六、代碼區—— 指令存儲區

• 存放編譯後的二進制機器指令。
• 只讀，通常共享（多進程運行同一程序共享代碼區）。
• 包含所有函數入口地址、常量池引用等。

七、總結對比表

內存分區不是抽象理論，而是調試段錯誤、優化性能、防範漏洞的實戰地圖。牢記：棧上自動、堆上手動、靜態全程、常量只讀，方能遊刃有餘。