c++ - 在 Vector Container 中使用 placement new

Question

如果我有一个容器:

std::vector<T*> elements;

我可以使用 placement new 来分配我的对象，以便所有对象都是连续分配的吗？这样我就可以做这样的事情:

size_t elementIndex = someRandomElement - elements[0];

someRandomeElement 是 elements 中的随机元素，elementIndex 将存储 someRandomElement 的正确索引，因此elements[elementIndex] == someRandomElement

这是我当前实现的内存管理器所必需的。我有一个今天能够完成的实现，但它需要元素(可以是体素、三角形或其他任何东西)具有 GetIndex() 和 SetIndex() 函数，以便当元素作为指针返回时，我可以找到 elements 数组中元素的索引，这意味着我无法更改的任何元素(比如 Ogre::Vector3)都不能使用管理器(在我的例子中，我需要他们使用它，因为他们正在碎片化内存)。

我唯一的其他解决方案是拥有一个充当访问器并具有索引和指向元素的指针的结构，尽管这会导致内存使用量增加(考虑到我现在正在处理 500 万个元素) .

NOTE: There is a similar question that I posted today, but the answers there are making some assumptions which go totally against my requirements. One of the requirement is that the vector must be filled with pointers to T otherwise a large portion of the code-base needs to change. Secondly, initializing more than 100,000 (approximately) elements results in a bad_alloc exception. Each element is 196 bytes in size (I have managed to reduce that to 132 bytes).

Answer 1

为了使指向的对象连续，您有两个合理的选择:

• 使用 new[] 创建一个足够大的元素数组来容纳所有元素，然后为它们分配新值并将它们的地址放入元素中
• 使用 malloc() 创建一个足够大的未初始化内存区域来容纳它们(它可能会充分严格对齐，但您应该意识到这个问题)，然后使用放置 new在那个内存中构建你的元素

不要使用 new[] 然后放置 new，因为默认构造的元素在放置 new 覆盖它们的内存之前不会被破坏......因此任何资源它们的构造函数获取、它维护的计数器等无法由析构函数正确释放/更新。

如果你没有足够的内存来分配大数组，那么显然你不能这样做……就这么简单。与单个 new T[100000] 相比，预计 100,000 个单独的 new T 需要更多的内存...虽然存在与分配相关的填充和堆管理开销。