C 語言記憶體分配四大函式對比：malloc、calloc、realloc、alloca 核心差異速查

編輯：關於C語言

C 語言記憶體分配四大函式對比：malloc、calloc、realloc、alloca 核心差異速查

C 語言提供多種記憶體分配方式，各有適用場景與生命週期管理差異。本文將 malloc、calloc、realloc、alloca 四大函式置於同一維度對比，助你快速選型。

一、核心差異總覽表

函式	分配區域	初始化	大小調整	釋放方式	典型用途
`malloc`	堆區	不初始化（隨機值）	不可調整	手動 `free()`	通用動態分配、結構體、單一大塊緩衝區
`calloc`	堆區	全部位元歸零	不可調整	手動 `free()`	陣列分配、結構體陣列、需零值初始化場景
`realloc`	堆區	保留舊資料，新增部分不初始化	可擴大/縮小（位址可能遷移）	手動 `free()`	動態陣列、緩衝區增長、字串拼接
`alloca`	棧區	不初始化	不可調整	自動（函式返回時釋放）	臨時小型緩衡區、`setjmp/longjmp` 跨跳轉保持資料

二、深度解析各函式特性

1. malloc(size_t size) —— 堆區通用分配器

向作業系統請求 size 位元組連續虛擬記憶體
回傳 void*，需強制轉型（C++ 必須）
不清零：內容為堆區殘留資料，首次使用前必須手動初始化
配對 free() 釋放，否則造成記憶體洩漏

2. calloc(size_t nmemb, size_t size) —— 零初始化陣列分配器

實際分配 nmemb * size 位元組
逐位元清零：等同 malloc + memset(ptr, 0, total) 但更高效（作業系統層面零頁映射）
語意清晰：nmemb 為元素個數，size 為單元大小，防止整數溢位誤判
同樣需 free() 釋放

3. realloc(void* ptr, size_t new_size) —— 彈性調整大小

ptr 可為 NULL（等同 malloc）或有效堆區位址
位址可能改變：擴容時若原地空間不足，會分配新區塊、複製資料、釋放舊塊
縮容直接截斷尾部，多出資料丟失
必須用回傳值更新指標：ptr = realloc(ptr, new_size);

4. alloca(size_t size) —— 棧區極速臨時分配

直接在當前幀指針向下移動 size 位元組，零系統調用開銷
生命週期綁定呼叫函式：函式返回自動釋放，不可跨函式返回
不需 free，嚴禁在循環或大尺寸（> 數 KB）使用，易導致棧溢位
非標準 C（POSIX/BSD 擴展），Windows 使用 _alloca
典型場景：setjmp/longjmp 需在長跳轉後保持有效的臨時緩衝區

三、選型決策樹

需要跨函式生命週期？
├─ 是 → 堆區分配
│   ├─ 已知固定大小 → malloc / calloc(需零值)
│   └─ 需動態增減 → realloc
└─ 否 → 僅當前函式使用
    ├─ 大小固定且較小 → 區域變數/靜態陣列（最佳）
    ├─ 大小動態但極小 → alloca（謹慎）
    └─ 其他 → malloc + 手動 free（保險）