使用由不同分配器分配的内存

Question

假设我有一个名为vector的类，它维护由T分配的std::allocator<T>.类型的内部动态数组。现在，我构造了vector类型U以后想要使用移动语义，以便我可以使用vector类型T所使用的内存，如下所示：

vector<unsigned> u(512);
// Do something with v.
vector<double> t = std::move(u);
// Do something with t.
// Later, t gets destroyed.

在u的移动构造函数中使用由t的分配器分配的内存，然后使用t的分配器释放它是否安全？如果是这样，我需要做些什么才能确保此操作安全？我猜我应该首先使用allocator.destroy()的分配器为u的内部数组的每个元素调用u。

Answer 1

是的，这是STL的目的设计之一，由一个分配器分配的内存可以被另一个分配器解除分配。这是因为他们希望能够在容器之间交换元素（例如使用list::splice）而无需对其分配器执行任何操作。这是（原因之一）为什么你不能真正拥有有状态的分配器。