C++从vector删除元素时迭代器不可解引用问题分析

你的思路其实非常合理——通过交换待删除元素和最后一个元素再调用pop_back()，确实能避免vector中间删除带来的元素移动开销，但代码里的两个关键错误导致了你遇到的迭代器问题，甚至可能引发更严重的未定义行为：

核心问题拆解 #

• 索引计算错误：你代码里int pos = it - mEntities.begin() + 1;这一行多了个+1。it - mEntities.begin()已经是目标元素的正确索引，加1之后你交换的是目标元素的下一个元素和最后一个元素，完全偏离了原本的意图。如果刚好目标元素是最后一个，这个计算还会导致你访问mEntities.begin() + pos等于mEntities.end()，这是一个不可解引用的迭代器，直接触发了你遇到的问题。
• 无条件执行pop_back()：不管std::find有没有找到目标元素，你都调用了mEntities.pop_back()。如果没找到元素（it == mEntities.end()），这会错误地删除vector的最后一个元素；如果vector本身是空的，这会直接触发非法内存访问的未定义行为。

修正后的代码 #

void EntityManager::RemoveEntity(Entity* entity) {
    // 用auto简化迭代器类型声明
    auto it = std::find(mEntities.begin(), mEntities.end(), entity);
    if (it != mEntities.end()) {
        // 直接用找到的迭代器交换目标元素和最后一个元素，无需计算索引
        std::iter_swap(it, mEntities.end() - 1);
        // 仅在找到目标元素时执行删除
        mEntities.pop_back();
    }
}

额外优化提示 #

如果你不需要保持vector中元素的相对顺序，这种交换删除的方式是最优的；如果需要保持顺序，那还是得用erase()，但性能会差一些，适合元素数量不多的场景。

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