C++ Placement New：在預先配置記憶體構造物件的技術與應用

應用場景

• 自訂記憶體池/垃圾收集器：大塊預分配，物件在池內構造/銷毀，避免碎片與分配開銷
• 即時系統：分配失敗風險不可接受，預留足夠緩衝
• 物件重用：GUI 對話框、遊戲實體等頻繁建構/銷毀，固定緩衝區反覆使用

核心步驟

1. 分配原始位元組緩衝：char* buf = new char[sizeof(Foo)];
2. Placement new 構造：Foo* p = new (buf) Foo; (需 #include )
3. 正常使用物件：p->method();
4. 顯式呼叫解構函數：p->~Foo();
5. 釋放緩衝：delete[] buf;

完整範例

#include 
#include 

class Foo {
    int id_;
public:
    Foo(int id = 0) : id_(id) { std::cout << "Foo(" << id_ << ") ctor\n"; }
    ~Foo() { std::cout << "Foo(" << id_ << ") dtor\n"; }
    void greet() { std::cout << "Hello from " << id_ << "\n"; }
};

void placement_demo() {
    // 1. 預分配緩衝 (足夠最大物件)
    char* buf = new char[sizeof(Foo)];

    // 2. 在緩衝構造物件
    Foo* p1 = new (buf) Foo(42);
    p1->greet();

    // 3. 顯式解構
    p1->~Foo();

    // 4. 同一緩衝構造不同型別 (假設 Bar 大小 <= Foo)
    // Bar* p2 = new (buf) Bar(...);
    // p2->~Bar();

    // 5. 釋放緩衝
    delete[] buf;
}

int main() {
    placement_demo();
    return 0;
}

輸出

Foo(42) ctor
Hello from 42
Foo(42) dtor

關鍵細節與陷阱

現代 C++ 封裝：記憶體池雛形

#include 
#include 

template 
class ObjectPool {
    std::vector> storage_;
    std::vector in_use_;
public:
    ObjectPool(size_t capacity) : storage_(capacity), in_use_(capacity, false) {}

    template 
    T* acquire(Args&&... args) {
        for (size_t i = 0; i < storage_.size(); ++i) {
            if (!in_use_[i]) {
                in_use_[i] = true;
                T* obj = new (&storage_[i]) T(std::forward(args)...);
                return obj;
            }
        }
        return nullptr; // 或擴容
    }

    void release(T* obj) {
        // 計算索引
        char* base = reinterpret_cast(storage_.data());
        char* ptr  = reinterpret_cast(obj);
        size_t idx = (ptr - base) / sizeof(storage_[0]);
        if (idx < in_use_.size() && in_use_[idx]) {
            obj->~T();
            in_use_[idx] = false;
        }
    }
};

標準庫支援

• std::allocator_traits::construct/destroy 封裝 placement new / 解構呼叫
• std::optional, std::variant 內部即使用 placement new 管理內建儲存
• std::pmr::polymorphic_allocator (C++17) 整合記憶體資源與 placement new

總結

Placement new 將記憶體分配與物件構造分離，是高效能記憶體管理、物件池、即時系統的核心技術。關鍵紀律：**每個 placement new 必須配對一個顯式解構函數呼叫**，且記憶體釋放與物件解構完全分離。現代 C++ 建議封裝於 RAII 容器 (如上述 ObjectPool) 避免手動管理錯誤。

1. 上一篇文章： C++ 模板 入門到進階：語法、技巧、繼承、靜態成員與泛型程式設計哲學
2. 下一篇文章： C++ 專案記憶體缺陷預防與檢測全方位策略：編碼規範、靜態分析、執行期工具、除錯技巧與崩潰報告

關於C++

Win32 開發入門（13）：對話框基礎與非模態對話框實作

對話框與視窗的關係 對話框本質上就是一種視窗（控制項也可視為

自製 3D 圖形引擎 (二)：WuguiEngine 專案結構與命名空間組織

專案資料夾組織 (Visual Studio Filter)

C++ Primer 學習總結第 3 章：字符串、向量與數組核心知識點

C++ Primer 第 3 章核心筆記：string、ve

C/C++ 圖像二進制存儲與讀取：以 CIFAR-10 格式為例

深度學習數據集（MNIST、CIFAR-10）常以二進制格式