为何for循环判断条件为false时仍执行递增导致无限循环？

所有遵循类C语法的编程语言（JavaScript、C++、Java、C#等），for循环的执行流程是固定的，和常规认知的顺序存在偏差：

• 流程1：循环启动时仅执行1次初始化表达式，比如示例里的let i = 100/int i = 100
• 流程2：执行条件判断表达式，若结果为false直接退出循环，整个循环结束
• 流程3：若条件判断为true，执行完整的循环体内代码
• 流程4：循环体执行完毕后，无条件执行增量表达式，之后回到流程2重新做条件判断

核心误区：增量表达式是在「循环体执行结束之后、下一次条件判断之前」运行的，不是条件判断通过之后才运行。

逐轮拆解你的代码运行逻辑 #

我们以JS版本代码为例，逐轮走流程就能看到死循环的成因：

1. 第一轮循环
   • 初始化i为100
   • 判断i > 1：100>1结果为true，进入循环体
   • 执行console.log(i)，打印100
   • 执行i = 1，此时i的值被修改为1
   • 循环体执行完毕，运行增量表达式i++，i从1变为2，回到条件判断步骤
2. 第二轮循环
   • 判断i > 1：2>1结果为true，进入循环体
   • 执行console.log(i)，打印2
   • 执行i = 1，i被改回1
   • 循环体执行完毕，运行增量表达式i++，i从1再次变为2，回到条件判断步骤
3. 后续所有轮次
   完全重复第二轮的逻辑，永久在「i=2通过条件判断→打印2→i被设为1→自增变回2」的链路里循环，永远不会出现条件判断为false的情况，因此会无限打印2。

为什么尝试的修改没有生效 #

• 把判断条件改为i !== 1：循环体结束时i确实是1，但增量表达式执行完i会变成2，2 !== 1结果仍为true，死循环逻辑没有变化
• 把i++换成++i：for循环不会使用增量表达式的返回值，只会执行表达式本身的副作用（给i加1），不管是前置还是后置自增，执行完后i都会从1变成2，运行结果完全一致。

如果要验证这个执行顺序，可以在增量表达式位置加日志观察，比如：

for (let i = 100; i > 1; console.log('增量执行后i的值为:', i)) {
    console.log('循环体内打印i:', i);
    i = 1;
    i++; // 把原来的增量表达式移到这里模拟常规理解的顺序，循环就会正常退出
}

可以对比把i++放在增量位置和放在循环体末尾的运行差异，就能直观感受到执行顺序的区别。

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