C++中的不可變對象的可變容器

Question

我想要一些等價於C++ std :: vector的東西，其中底層對象是不可變的。所以我可以通過push_back（）項將它們添加到向量中，等等。一個實際的std :: vector維護一個數組，該數組的大小大於向量的大小，填充了默認的構造對象，當你使用push_back（）時，它對數組中元素的賦值。我的不可變對象沒有默認的構造函數，並且賦值是一個變異操作，所以也是如此。

我可以做一個vector<boost::optional<T>>，但是這是一個雜亂的接口，因爲我只希望把有效構造的對象爲載體，只有讓那些走出載體。

我以爲提升有這樣的東西，但我找不到它。有這樣的事情存在嗎？

Answer 1

您對vector工作原理的看法不正確。

該向量使用分配器分配原始內存。原始內存而不是包含默認的構造對象 - 它只是原始內存。

當您執行push_back（例如）時，它會使用一個放置new將對象構建到原始內存中。同樣，當你使用一個對象時，它最終會直接調用它的析構函數把對象轉換回原始內存。

使用當前（C++ 11或更高版本）實現std::vector，您的對象不需要支持默認構造或分配。支持移動建設和移動分配應該足夠了。要使用它們，您可以使用emplace_back而不是push_back。