C++相同操作下std::list触发内存访问违规而std::vector正常的原因问询
问题根因分析
1. 本质是遍历过程修改容器触发的迭代器失效,vector和list的失效规则差异导致表现不同
你的代码存在未定义行为,std::vector能正常运行只是内存连续布局带来的巧合,并非代码本身正确:
- 先看
ParentResource::freeResources的执行逻辑:用范围for直接遍历resources容器,遍历过程中调用每个子资源的freeResources(),而该方法会直接从父类的resources容器中删除当前子资源对应的指针元素。 - 范围for的底层实现等价于持有当前迭代器,每次循环结束后执行迭代器自增。当你在遍历
std::list时删除当前迭代器指向的元素,该迭代器会直接失效,后续执行++iter操作就会触发非法内存访问,也就是你遇到的崩溃。list中出现的nullptr是访问非法内存读取到的垃圾值,属于未定义行为的典型表现。 - 而
std::vector的内存是连续分配的,当你删除当前位置的元素时,后面的元素会整体向前移动,此时已经失效的迭代器刚好指向了下一个有效元素的位置,误打误撞让遍历能继续执行,所以没有触发崩溃,但这本质还是未定义行为,后续修改代码或者换编译器/编译选项都可能再次出问题。
2. 兼容std::list的修复方案
你不需要放弃std::list,只要修改代码避免遍历原容器时修改原容器即可:
方案1:拷贝临时容器遍历
修改ParentResource::freeResources实现,先拷贝当前所有资源指针到临时容器,遍历临时容器不会和原容器的删除操作冲突:
virtual void freeResources() { // 拷贝到临时容器遍历,规避原容器修改导致的迭代器失效 std::vector<ChildResource*> tempResources(resources.begin(), resources.end()); for (ChildResource* resource : tempResources) { if (!resource) continue; try { resource->freeResources(); } catch (const std::exception& e) { console.error(e.what()); } } resources.clear(); }
方案2:针对std::list优化删除逻辑
std::list自带专属的remove成员方法,比泛型std::remove算法效率更高,你可以将ChildResource中的删除逻辑修改为:
// 替换原来的std::remove + erase组合 parent.resources.remove(this);
内容的提问来源于stack exchange,提问作者KingCoder11
相关产品推荐
相关产品推荐

