malloc/free 與 new/delete 深度比較：為什麼 C++ 需要雙套機制

前言

malloc/free 是 C 標準庫函式，new/delete 是 C++ 運算子。兩者皆管理動態記憶體，但語意、行為、適用場景截然不同。本文從物件生命週期、型別安全、效能、混用風險四大維度深度剖析。

一、核心差異速查

二、物件生命週期示範

class Obj {
public:
    Obj() { puts("建構"); }
    ~Obj() { puts("解構"); }
    void Init() { puts("手動初始化"); }
    void Destroy() { puts("手動清理"); }
};

// malloc 版：需手動管理生命週期
void UseMalloc() {
    Obj* p = (Obj*)malloc(sizeof(Obj));
    p->Init();           // 手動初始化
    // ... 使用
    p->Destroy();        // 手動清理
    free(p);
}

// new 版：語言層級保證
void UseNew() {
    Obj* p = new Obj;    // 自動建構
    // ... 使用
    delete p;            // 自動解構 + 釋放
}

三、為什麼不淘汰 malloc/free？

1. C 互通性：C++ 呼叫 C 庫（如 SQLite、libpng）時，對方只能用 malloc/free 管理記憶體，雙方邊界必須對應
2. POD 型別：純資料結構無建構/解構需求，malloc/free 效能略優（無例外處理開銷）
3. 自訂配置器：std::allocator 內部仍可能委派給 malloc

四、混用風險與禁忌

五、陣列刪除陷阱

int* p1 = (int*)malloc(10 * sizeof(int));
free(p1);               // 正確

int* p2 = new int[10];
delete[] p2;            // 必須用 delete[]，否則僅呼叫第一個元素解構函式
delete p2;              // 錯誤！未定義行為

六、進階：自訂 new/delete

void* operator new(size_t sz) {
    void* p = malloc(sz);
    if (!p) throw std::bad_alloc();
    return p;
}
void operator delete(void* p) noexcept { free(p); }

// 類別專屬
class Foo {
    static void* operator new(size_t sz) { /* 專用記憶池 */ }
    static void operator delete(void* p) { /* 回收至記憶池 */ }
};

七、現代 C++ 最佳實務

• 優先使用智慧指標 std::unique_ptr/shared_ptr + make_unique/make_shared
• 容器 std::vector/string 替代手動陣列管理
• 必須手動管理時：new 配 delete，new[] 配 delete[]，malloc 配 free，絕不交叉
• 自訂配置器時遵循 Allocator 概念，配合 std::allocate_shared