今天分享一个由小题目引出的循环条件小知识点：循环过程中循环条件发生变化

在 C 语言中，指针运算是一个常见但容易出错的操作。指针的运算和比较在处理数组时非常有用，但如果不小心处理，可能会引发意想不到的问题。本文将探讨一个常见的错误，即循环条件在循环过程中发生变化，导致逻辑错误。

背景

我们从一个代码示例开始，该代码用于生成一个随机数数组，排序并去重。去重后，希望将多余的数组元素置为 0。以下是相关的代码片段：

if (p1 != a + 9)
{
    for (int i = 0; i < a + 9 - p1; i++)
    {
        p1++;
        *p1 = 0;
    }
}

问题分析

1. 循环条件在循环过程中发生变化

在上述代码中，for 循环的条件是 i < a + 9 - p1。这里的问题在于，每次循环迭代时，p1 都会增加（p1++），这会导致 a + 9 - p1 的值不断减小。

• 当 p1 增加时，a + 9 - p1 的值也会相应减少。这意味着 for 循环的条件在每次迭代中都会变化。
• 由于 a + 9 - p1 变化后，循环的执行次数会受到影响，可能导致循环无法按预期执行。

这个问题的根本原因在于循环条件依赖于循环体内部会被修改的变量。对于这种情况，最好避免在循环条件中使用会在循环过程中发生变化的表达式。

2. 指针溢出问题

在循环内部，p1++ 逐步增加指针的值。如果 p1 超过了数组 a 的末尾，则会导致访问非法内存地址，最终引发运行时错误。C 语言不会自动检查数组边界，因此在处理指针时需格外小心。

如何修复？

为了避免循环条件在循环过程中发生变化，可以改用 while 循环，并确保指针在数组范围内。以下是修改后的代码：

if(p1!=a+9)
    {
        int m=a+9-p1;
        for(int i=0;i<m;i++)
        {
            p1++;
            *p1=0;
        }
    }

修改后的优点

• 固定的循环条件： while (p1 <= a + 9) 是一个固定的条件，不会因为 p1 的变化而在循环过程中变化，从而避免了前述的问题。
• 防止指针越界： p1 <= a + 9 确保指针 p1 不会超过数组的有效范围，防止指针溢出。

总结

在 C 语言中编写循环时，必须确保循环条件在循环过程中不会意外变化，特别是当该条件依赖于循环内部修改的变量时。通过使用固定的循环条件和正确的指针操作，可以避免许多常见的错误，确保代码的正确性和稳定性。

---

通过这个改进后的博客内容，你应该更清楚地理解循环条件在循环过程中发生变化的问题，以及如何避免这种陷阱。希望这些提示能够帮助你在写 C 语言代码时更加谨慎。

4o