C/C++ 記憶體模型深度理解：虛擬記憶體、棧堆分佈與常見 Bug 避坑指南

一、進程虛擬地址空間佈局 (32 位系統)

• 用戶空間 (0x00000000 ~ 0x7FFFFFFF, 2GB)：每個進程私有，包含代碼段、數據段、棲、堆、共享庫映射區。
• 內核空間 (0x80000000 ~ 0xFFFFFFFF, 2GB)：所有進程共享，存放內核代碼、數據、驅動、頁表等。

理論上可分配 2GB 陣列，但實際受碎片、共享庫、棲增長限制，可用連續空間遠小於此。

二、虛擬記憶體核心機制

1. 分頁：將虛擬地址空間切分為固定大小頁面 (通常 4KB)，物理記憶體同樣切分為頁框。
2. 頁表映射：MMU 硬體將虛擬頁號翻譯為物理頁框號，TLB 加速。
3. 換頁：長時間未訪問的頁面換出至磁碟交換分區，騰出物理頁框給活躍頁面。
4. 缺頁中斷：訪問不在物理記憶體的頁面觸發，OS 從磁碟讀入並更新頁表，進程無感知繼續執行。
5. Copy-on-Write (COW)：fork() 時父子進程共享物理頁，寫入時才複製，極大提升進程創建效率。

三、編譯器眼中的三大記憶體區

四、經典記憶體 Bug 與對策

1. 壞指針

• 未初始化即使用 → 定義即初始化為 NULL。
• 傳遞給庫函數的指針無效 → 斷言/檢查前置條件。
• 釋放後繼續訪問 (Use-After-Free) → free 後置 NULL：free(p); p = NULL;。

2. 緩衝區溢出 / 越界寫入

• 陣列下標越界、strcpy/sprintf 無長度檢查 → 用 strncpy/snprintf/memcpy_s。
• 動態記憶體兩端越界破壞堆元數據 → 啟用編譯器檢測 (-fsanitize=address)、運行時檢測 (Valgrind, Electric Fence)。

3. 重複釋放 / 釋放非堆記憶體

• free(p); free(p); → 置 NULL 防禦。
• free(&local_var); → 靜態分析工具檢查。

4. 釋放後繼續遍歷鏈表

[c]
// 錯誤
for (p = head; p; p = p->next) free(p); // p->next 讀取已釋放記憶體

// 正確
struct node *p, *tmp;
for (p = head; p; p = tmp) {
    tmp = p->next;
    free(p);
}

五、多執行緒傳參陷阱 (原文經典案例)

[c]
// 錯誤：主執行緒棧上結構體，函數返回後棧幀銷毀，子執行緒讀到垃圾值
void start_thread_wrong() {
    Param param = { .fd = sock };
    pthread_create(&tid, NULL, worker, ¶m); // 傳棧地址！
}

// 正確：堆上分配，子執行緒用完負責 free
void start_thread_right() {
    Param *param = malloc(sizeof(Param));
    param->fd = sock;
    pthread_create(&tid, NULL, worker, param);
}
void* worker(void *arg) {
    Param *p = (Param*)arg;
    // ... 使用 p->fd
    free(p); // 子執行緒釋放
    return NULL;
}

六、工程建議清單

1. 編譯啟用 -Wall -Wextra -Werror -fsanitize=address,undefined。
2. CI 集成 Valgrind / ASan 記憶體檢測。
3. 嚴格遵循 誰分配誰釋放 (或文檔明確所有權轉移)。
4. 盡量用 RAII (C++)、智慧指標、容器替代裸指標操作。
5. 嵌入式/實時系統無虛擬記憶體時，靜態分配、記憶體池、堆疊深度分析為必修課。