如何用分配器精確地模擬新的T [n]？

Question

表達式new T[n]可能會或可能不會初始化陣列中的每個對象，具體取決於T是什麼。

如何使用allocator複製此初始化行爲？

struct Foo 
{ 
    int x; 
    Foo() : x(1) 
     { } 
}; 

Foo *p = new Foo[1]; 
assert(p[0].x == 1); 

Answer 1

在C++ 03中，分配器接口只知道初始化對象的一種方法，那就是從另一個對象複製。 C++ 11有更多。

您正在詢問默認初始化，這意味着（近似）「無所事事或調用默認構造函數」。分配器接口不能在C++ 03中完成後者。

我想你可以寫這樣的：

T *ra = allocator.allocate(1); 
if (!is_pod<T>::value) { 
    // in C++03 
    allocator.construct(ra, T()); 
    // in C++11 
    allocator.construct(ra); 
} 

這is_pod測試可能是錯的，但。檢查標準的確切條件，默認初始化什麼都不做。很明顯，在C++ 03中不存在is_pod，但我隱約記得Boost具有對大多數實現有效的類型。

我認爲你在這裏打擊設計。分配器接口是爲容器使用而設計的。容器被設計爲不包含未初始化的元素，所以它們對默認初始化沒有用處。