遍历std::vector时调用clear()方法是否存在风险？

你观察到的循环在调用clear()后直接终止是符合C++标准的预期行为，这段特定代码本身没有非法操作，但这类写法确实很容易触发隐蔽的bug，具体说明如下：

你当前代码的运行逻辑 #

你的代码执行流程完全符合语言规范：

• 循环初始i=0，第一次判断i < a.size()时，a长度为5，条件成立进入循环体
• 执行a.clear()后，容器内所有元素被销毁，a.size()立刻变为0，容器对象本身仍然处于合法可用状态
• 第一次循环体执行结束后i自增为1，回到循环条件判断时，1 < 0显然不成立，循环直接终止，因此你只会看到一次输出。

对应你贴出的代码：

#include <bits/stdc++.h>
using namespace std;

int main() {
  std::vector<int> a = {1,2,3,4,5};
  for (size_t i = 0; i < a.size(); ++i) {
    a.clear();  // just run once, then loop exited
    cout << "i = " << i << endl;
  }
}

这段代码运行结果是确定的，没有触发异常的问题。

这类写法的潜在风险 #

你觉得操作有危险的判断是对的，绝大多数遍历场景下在循环内调用clear()都会触发问题，你这段代码刚好避开了所有坑而已，常见风险包括：

• 迭代器失效问题：如果你用迭代器/range-for循环遍历vector，调用clear()后所有之前获取的迭代器、指针、引用会全部失效，后续的迭代器自增、解引用操作都是未定义行为，直接会导致程序崩溃或者内存数据错乱。
• 越界访问风险：如果在clear()调用之后，你还尝试通过之前的下标访问a[i]，就会触发越界，属于未定义行为。
• 逻辑错误风险：size_t是无符号整数类型，如果后续修改循环判断条件，很容易因为无符号数的特性写出逻辑完全相反的判断，甚至触发死循环。比如如果你写了倒序遍历的逻辑，clear之后再访问元素必然出问题。
• 如果你不是在第一次迭代就调用clear()，而是在部分分支逻辑中调用，很容易遗漏对后续循环条件、元素访问逻辑的调整，埋下隐蔽bug。

补充说明 #

vector::clear()的语义只有两个：销毁容器中所有存储的元素、将容器长度置为0，它不会释放vector预分配的内存（也就是capacity()返回值不变），调用完成后vector本身是合法可用的。只要你在调用clear之后，不再使用之前获取的迭代器/指针/引用，不访问超出当前size()范围的下标，就不会触发未定义行为。

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