[QUICK FIX] UB 导致的 for 循环行为异常……
#include <iostream>
#include <vector>
int main() {
int x;
std::vector<int> check;
check.resize(64);
for (int i = 1; i < 7; i++) {
if (check[i - 1] == 1 && check[i] == 2 && check[i + 1] == 1) {
x = i + 1;
break;
}
std::cout << "Iteration " << i << '\n';
}
std::cout << x << '\n';
return 0;
}
如上。原来的代码比这个要长,这是精简之后的样子。
理论上,这个 for 循环最多循环 6 次就结束了,但实际循环次数会达到上千次甚至上万次,直至报错,且每次运行程序最终的循环次数都不同(因为是越界访问,所以这种情况很正常,问题在于为什么这个 for 循环停不下来)。
目前的一些线索:
- 仅在 Release 模式、clang 17.0.6 x86_64-pc-windows-msvc 编译器下会出现此问题
- 去掉语句
x = i + 1后循环次数恢复正常 - 去掉语句
std::cout << x << '\n';后循环次数恢复正常 - 给
x添加初始值(int x = 0;)后循环次数恢复正常 - 去掉
break;后循环次数恢复正常 - (上面四个条件满足任意一个,循环次数即恢复正常)
google 了一下,发现别人也问过类似的问题,而且还不少:
比较一致的答案是 UB,而我的代码中唯一可能出现 UB 的地方就是使用了未初始化的变量 x……
我以前一直以为 UB 的影响范围很小,比如说使用未初始化的变量最多只是读取到随机值而已,没想到它还会影响到其它代码的编译,甚至改变 for 循环的行为!
终于知道为什么艹吧的前辈们总说 RAII 很重要了。

浙公网安备 33010602011771号