为何未修改while循环变量条件却未陷入死循环？

问题代码 #

bool previousDrawn = drawnTriangles[eye][i - 1];

while (previousDrawn == false) {}

核心原因分析 #

1. 编译器的死代码优化 #

你的previousDrawn是局部变量，循环体内没有任何代码修改它。编译器会判定这个变量的值从初始化后就不会变化，对于这种无意义的无限空循环，很多编译器会直接做死代码消除——既然循环里啥也不干，且条件永远不变，编译器会把整个循环直接删掉，自然不会卡住。

你测试的while(false == false) {}是常量表达式，编译器能明确识别这是开发者故意写的无限循环，不会进行优化，所以程序会正常冻结。

2. 数组越界导致初始值不符预期 #

如果eye或者i-1超出了drawnTriangles的有效索引范围，drawnTriangles[eye][i-1]会读取到内存里的随机垃圾值，这时候previousDrawn可能被意外初始化为true，循环自然不会执行。这是很容易被忽略的点，先检查索引是否合法。

3. 共享变量的缓存问题（次要） #

虽然你说只读取一次drawnTriangles，但如果这个共享vector的元素没有被声明为volatile，编译器可能会对读取操作做缓存优化，导致你拿到的不是内存中的最新值。不过这只会让previousDrawn初始值不符合预期，不会导致循环不执行。

解决思路 #

• 别用空循环忙等实现线程同步，直接用C++标准库的同步原语：std::condition_variable、std::barrier或者std::future，这些是线程安全且高效的，完全能满足你“等待前一个任务完成再启动下一个”的需求。
• 非要用忙等的话，给previousDrawn加volatile修饰，阻止编译器优化：

  volatile bool previousDrawn = drawnTriangles[eye][i - 1];
  
  while (previousDrawn == false) {}
  

  或者如果要监控共享变量的变化，改用std::atomic<bool>来保证内存可见性。

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