C++传统for循环与C++11范围for循环差异及异常原因咨询

两种循环语法并非完全等价，你遇到的未定义行为或崩溃通常由以下几类原因导致：

传统写法中的auto object = objects[i]是对vector内的元素做值拷贝：

• 如果元素是shared_ptr，会触发拷贝构造，引用计数+1，后续你操作的是独立的拷贝实例，哪怕vector内的原元素被删除、修改，你手中的拷贝仍能保证指向的对象存活，不会出现野访问。
  范围for写法中的auto &object : objects是直接绑定vector内元素的左值引用：
• 没有拷贝动作，所有操作直接作用于vector内的原元素。如果循环过程中vector出现元素失效场景（比如扩容、erase元素），引用会直接变为野引用，访问即触发未定义行为。
• 如果原有逻辑中修改object的操作仅期望修改拷贝、不影响原vector的内容，直接替换为引用写法会直接导致逻辑错误，后续访问vector元素时可能触发异常。

传统下标循环的边界i < objects.size()是每次循环都重新计算的，你也可以手动调整i的值适配逻辑：

• 比如循环内erase元素后手动执行i--跳过被删位置，代码可以正常运行。
  范围for的底层实现是预先获取begin()和end()迭代器，每次循环自动递增迭代器：
• 一旦循环体内部修改了vector（比如插入元素触发扩容、erase任意元素），会导致预存的迭代器失效，后续迭代直接访问非法内存，大概率直接崩溃。

针对存放shared_ptr的vector，还有一个典型的多线程场景问题：

• 传统循环中你拷贝了shared_ptr，持有独立的引用计数，哪怕其他线程同时修改、删除vector内的对应元素，你手中的拷贝仍能保证指向的对象不会被提前释放。
• 范围for中你持有的是vector内shared_ptr的引用，如果其他线程同时修改vector内的该元素（比如赋值为nullptr、erase该位置），你访问引用时对应的shared_ptr可能已经被销毁，指向的对象已经被释放，直接触发野指针访问崩溃。

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