C 語言動態記憶體管理：malloc、calloc、realloc 深度解析與實戰差異

C 語言動態記憶體管理：malloc、calloc、realloc 深度解析與實戰差異

動態記憶體分配是 C 語言核心機制之一，stdlib.h 提供的三大函式 malloc、calloc、realloc 雖同屬堆區操作，但初始化行為、擴容策略、適用場景截然不同。本文結合原始碼實測，為你釐清關鍵差異與避坑指南。

一、函式原型速覽

void* malloc(size_t size);
void* calloc(size_t numElements, size_t sizeOfElement);
void* realloc(void* ptr, size_t newSize);

三者回傳值均為分配記憶體的起始位址，失敗回傳 NULL。

二、核心差異詳細對比

1. malloc：原始分配，不初始化

• 功能：在堆區分配 size 位元組連續空間
• 特性：不清零，記憶體內容為隨機殘留資料（視作業系統分配歷史而定）
• 風險：若程式假設記憶體為 0 而未顯式初始化，極易導致難以復現的 Bug
• 回傳 void* 需強制轉型（C++ 必須，C 可隱式）

2. calloc：分配並歸零，陣列首選

• 功能：分配 numElements * sizeOfElement 位元組，並將每個位元設為 0
• 初始化語意：
  • 整數/字元型 → 0
  • 指標型 → NULL（空指標）
  • 浮點型 → 0.0
• 適用：陣列、結構體批次分配，省去手動 memset 步驟

3. realloc：彈性調整大小，位址可能遷移

• 功能：對既有指標 ptr 重新調整至 newSize
• 行為：
  • 擴容：嘗試原地擴展；空間不足則分配新區塊、複製舊資料、釋放舊區塊
  • 縮容：直接截斷尾部，多出資料丟失
• 關鍵：回傳位址可能改變，必須用新指標接收，否則舊指標變懸空指標
• 若 ptr=NULL 等同 malloc；newSize=0 等同 free（實作相關）

三、實測驗證：realloc 位址遷移實例

案例 1：小幅擴容（原地滿足）

char *p = malloc(10), *q = p;
p = realloc(p, 10);  // 仍在同一頁面
// 輸出：p=0x431a70, q=0x431a70  （位址未變）

案例 2：大幅擴容（觸發遷移）

char *p = malloc(10), *q = p;
p = realloc(p, 1000);  // 空間不足，尋找新塊
// 輸出：p=0x351c0, q=0x431a70  （位址改變！q 成懸空指標）

教訓：永遠寫 p = realloc(p, ...)，切勿保留舊指標備份。

四、底層機制洞見：realloc 的「複製-釋放」策略

當原記憶體塊後方空間不足時，分配器會：

1. 在堆區尋找足夠大的新自由塊
2. 將舊資料逐位元組複製至新位置
3. 將舊塊歸還自由鏈表

這意味著：資料可能被物理移動，指向舊記憶體內部的指標（如結構體內部指標、陣列元素位址）全部失效。設計資料結構時應儘量使用相對偏移而非絕對位址。

五、最佳實踐總結表

記住：動態記憶體管理的鐵律是「誰分配、誰釋放、誰負責初始化」。善用 valgrind、AddressSanitizer 等工具在開發期攔截記憶體錯誤，將大幅降低上線風險。