C 中的无限输出循环

在提供的 C 代码中，发生意外的无限循环，打印一系列连续的数字（“0 , 1, 2, 3, 4, 5, ...”）而不是预期的“0, 1, 2, 3”。

仔细检查发现，罪魁祸首是看似无害的赋值语句“delta = mc[di]" 在循环内。此赋值会触发未定义的行为，因为它在最后一次迭代时越界访问 mc 数组（即“di = 4”）。

在积极的循环优化下，编译器可能会假设不存在未定义的行为。因此，它通过消除 di

为了确保正确的行为，避免未定义的行为至关重要，即使在优化的代码中也是如此。在这种情况下，解决方案是确保在循环内的范围内访问 mc。

另一种方法是使用 gcc 中的 -fno-aggressive-loop-optimizations 标志来禁用激进的循环优化。该标志强制编译器保留 di

通过理解未定义行为的潜在后果并采取适当的措施来避免它，程序员可以确保他们的 C 代码的可靠性和正确性。