C 語言記憶體模型深度解析：堆疊與堆區的差異、管理與避坑指南

C 語言記憶體模型深度解析：堆疊與堆區

理解記憶體佈局是寫出高效、安全 C 程式的基石。本文系統對比堆疊與堆區特性，說明分配/釋放機制、常見錯誤與最佳實務。

一、記憶體區段總覽

二、堆疊特性與限制

• 結構：先進後出 (LIFO)，高位址向低位址增長（x86/x64 典型）。
• 大小：通常 1~8 MB（Linux ulimit -s 可調），超出導致堆疊溢位。
• 速度：指標移動極快，零碎片，適合小型、生命週期短的資料。
• 每執行緒獨有：多執行緒各自擁有獨立堆疊。
• VLA 注意：C99 允許 int a[n]，但大小受限於剩餘堆疊空間，嵌入式慎用。

三、堆區特性與管理

• 容量：理論上限為虛擬記憶體大小（32 位 4 GB，64 位 TB 級），受限於物理記憶體與 malloc 實作。
• 碎片：頻繁 malloc/free 產生外部碎片，長期運行需關注記憶體池技術。
• 分配函式：
  • malloc(size)：未初始化。
  • calloc(n, size)：歸零，等同 malloc + memset。
  • realloc(ptr, new_size)：擴縮容，可能移動記憶體（舊指標失效）。
• 釋放：free(ptr)，釋放後必須將指標設 NULL，防野指標。

四、經典錯誤與正確模式

❌ 錯誤：返回區域變數位址

int* bad() { int a = 10; return &a; } // a 存於堆疊，函式結束即銷毀

✅ 正確：返回堆區位址

int* good() { int *p = malloc(sizeof(int)); *p = 10; return p; }
// 呼叫端必須 free()

✅ 正確：返回 static 變數位址

int* also_good() { static int a = 10; return &a; } // 存全域區，程式結束才釋放，不可 free

❌ 錯誤：嘗試在函式內為實參分配記憶體（傳值）

void bad_alloc(int *p) { p = malloc(100); } // 只修改區域副本
int main() { int *p = NULL; bad_alloc(p); free(p); // p 仍為 NULL，記憶體洩漏 }

✅ 正確模式一：雙重指標

void good_alloc(int **p) { *p = malloc(100); }
int main() { int *p = NULL; good_alloc(&p); free(p); }

✅ 正確模式二：返回指標

int* good_alloc2(int *p) { p = malloc(100); return p; }
int main() { int *p = good_alloc2(NULL); free(p); }

五、Linux 下觀察記憶體佈局

# 編譯執行
gcc demo.c -o demo
./demo &
ps -u $USER          # 找 PID
cat /proc/<PID>/maps  # 區段映射
cat /proc/<PID>/smaps # 詳細大小、權限、RSS

關鍵觀察點：堆疊位於高位址、堆區在中間、共用庫映射、分頁大小 4 KB。

六、選擇指南

掌握堆疊與堆區的本質差異，能從根源上避免野指標、記憶體洩漏、堆疊溢位等 C 語言經典坑，也是嵌入式與系統級開發的必修功課。