如果在 minGW 中引起奇怪的 for 循环

Question

当我在编译器无法优化的for循环中有一个if时，我得到了令人难以置信的奇怪行为。似乎只有循环到达的通道a = 0运行，但没有提前终止。一个例子是这样的：

#include <iostream>
int main() {
    for (int a = -5; a < 5; a++) {
        std::cout << a << std::endl;
        //if (rand() % a) {} // uncommenting this line gives the weird results
    }
}

当如上所述运行时，我得到预期的输出，如下所示：

-5
-4
-3
-2
-1
0
1
2
3
4

但是，当我取消注释该行（if中没有任何内容）时，我得到的是以下输出：

-5
-4
-3
-2
-1
0

for 循环似乎一直在运行，直到它到达 a = 0 。只有当有 if（有或没有主体）并且优化设置为 -O0 或 -O1 时，我才会得到第二个奇怪的结果。我在Windows 6.3.0上运行带有GCC 10版本的MinGW。

Answer 1

答案可以在 if 语句中的 mod 运算符 （ % ） 中找到。

Mod 0 是未定义的行为（就好像你被零除一样）。所以任何事情都会发生，任何事情都可能发生——程序的行为没有任何限制。在您的情况下，循环不会继续。

从 cpp 首选项

二元运算符 % 产生第一个操作数的整数除以第二个操作数的余数（在通常的算术转换之后;请注意，操作数类型必须是整数类型）。如果商 a/b 在结果类型中可表示，则 （a/b）*b + a%b == a。 如果第二个操作数为零，则行为未定义。如果商 a/b 在结果类型中不可表示，则 a/b 和 a%b 的行为都是未定义的（这意味着 INT_MIN%-1 在 2 的补码系统上是未定义的）