如何在std::vector中销毁元素且不释放内存、不重排剩余元素？

原代码编译失败原因 #

1. std::allocator_traits的模板参数应为分配器类型，而非元素类型，你传入的type是元素类型MyClass，参数类型错误
2. std::vector的第二个模板参数要求是分配器类型，你传入的是allocator_traits类型，模板参数不匹配
3. allocator::destroy的第一个入参要求是分配器实例，你传入的是alloc_type类型名，而非实例对象

正确实现方案 #

你可以通过std::allocator_traits直接调用指定位置元素的析构函数，全程不会移动其他元素，也不会释放对应位置的内存，完全符合你的需求：

#include <vector>
#include <memory>
#include <optional>

class MyClass {
public:
    MyClass(int i) : m_i(i) {}
    ~MyClass() = default;
    int get() const { return m_i; }
private:
    int m_i;
};

int main()
{
    std::vector<MyClass> vec;
    vec.reserve(3);
    vec.emplace_back(1);
    vec.emplace_back(2);
    vec.emplace_back(3);

    // 销毁索引为1的元素，不重排、不释放内存
    using AllocType = decltype(vec)::allocator_type;
    using AllocTraits = std::allocator_traits<AllocType>;
    AllocTraits::destroy(vec.get_allocator(), std::addressof(vec[1]));

    // 若不需要兼容自定义分配器，可简化为直接调用析构函数，效果完全一致：
    // vec[1].~MyClass();

    /* 注意：此时vec[1]处于未初始化状态，禁止直接访问，需要重新构造后才可正常使用
    // 复用该位置的示例：
    AllocTraits::construct(vec.get_allocator(), std::addressof(vec[1]), 99);
    // 现在vec[1]已经是有效对象，可以正常调用接口
    */
}

注意事项 #

• 未初始化的空槽如果没有重新构造有效对象，vector析构时会对该位置调用析构函数，触发未定义行为。如果需要长期保留空槽，建议搭配额外的标记数组记录有效位置，在vector析构前手动处理无效位置。
• 如果不需要极致性能，更推荐用std::vector<std::optional<MyClass>>实现空槽逻辑，不需要手动管理生命周期，清空位置直接赋值vec[i] = std::nullopt即可，语义更明确也更安全。
• 该操作不会修改vector的size()和capacity()，其他元素的内存位置不会发生任何变动。

内容的提问来源于stack exchange，提问作者DipStax