假设我有一个名为vector的类,它维护一些由std :: allocator< T>分配的T类型的内部动态数组.现在,我构造了一个U类型的向量,后来想要使用移动语义,这样我就可以将它所消耗的内存用于T类型的向量,如下所示:
vector<unsigned> u(512);
// Do something with v.
vector<double> t = std::move(u);
// Do something with t.
// Later, t gets destroyed.
在t的移动构造函数中使用由u的分配器分配的内存,然后使用t的分配器解除分配它是否安全?如果是这样,我需要做些什么才能确保此操作安全?我猜我应该首先使用u的分配器为你内部数组的每个元素调用allocator.destroy().
最佳答案 是的,这是STL的目的设计之一,由一个分配器分配的内存可以被另一个分配器解除分配.这是因为他们希望能够在容器之间交换元素(例如使用list :: splice),而无需对其分配器执行任何操作.这是(原因之一)为什么你不能真正拥有有状态的分配器.