`while (i != 0 && (a[i].p != 0 || a[i].q != 0));` 除了冻结可以做任何事情吗？ [关闭]

Question

我正在阅读别人的 C++ 代码，我对具有以下结构的一行感到困惑：

while (i != 0 && (a[i].p != 0 || a[i].q != 0));

在哪里

• i 是无符号整数索引
• a 是一个包含 structs 的数组，其中包含整数成员 p 和 q。

请注意，while 循环的主体是空的（分号）。另请注意，条件内没有递增/递减运算符或任何赋值。

我不明白这条线怎么可能做任何事情。好像只有两种情况：

1. 条件不满足，立即退出循环。
2. 条件满足，循环变为无限，程序永远冻结。

是否有任何可以想象的上下文使这条线有意义，即做一些不平凡的事情，也不会永远冻结？

一些理论上可以想象但不太可能的“解决方案尝试”：

• 某些!=、[]、&&、|| 运算符已以某种奇怪的方式被覆盖
• 该循环实际上是一个“忙等待”循环，i 或a 的内容从另一个线程更改，然后最终“泄漏”，因为内存模型不保证在另一个线程中写入即使没有任何适当的同步，也不会变得可见。但这看起来非常丑陋，请原谅我想到了这种可能性。

是否有任何上下文可以使这行变得有意义，或者这只是一些错误的代码，一个永远不会满足的条件，应该被重构为 assert 代替？

Answer 1

无论你怎么看，这都是糟糕的代码。

我可以看到两种可能的选择：

1. 程序员写了一个错误。
2. 它是多线程的，其中一个值会从另一个线程发生变化，程序员没有进行适当的线程同步。

您对奇怪的运算符重载的建议是可能的，但是哇！这确实是一种延伸（以及可怕、可怕的编码实践，因为所使用的运算符都不应该带有副作用）。

我的猜测：有人忘记增加 i。