Python中while循环m递减至0仍无限运行的原因排查

这个问题和代码中的else语句无关，核心bug由两个逻辑点共同导致：

1. while循环的终止判断条件是m >= 0，当m等于0时，判断结果为True，依然会进入循环体
2. 内部for循环使用range(n+1)生成迭代值，迭代的第一个值永远是0。当m=0时，第一次迭代判断0 >= 0成立，执行m -= 0，m的值不会发生任何变化；后续迭代到i=1时，0 >= 1不成立，触发else分支的break跳出for循环，回到while判断环节。

上述流程会无限重复：m始终保持为0，永远满足while的进入条件，永远在执行完「i=0减0、i=1触发break」的固定流程，最终形成无限循环。

代码中的else分支逻辑完全正常：它的作用是当剩余m值小于当前迭代的i值时，终止本轮for循环、回到while起点重新从i=1开始累加扣除，完全符合“for循环执行终止后若m仍大于0则从头重新执行”的设计需求，不是造成无限循环的原因。

• 首次进入while循环：m=3满足m>=0条件
  • i=0：3>=0成立，m = 3-0 = 3
  • i=1：3>=1成立，m = 3-1 = 2
  • i=2：2>=2成立，m = 2-2 = 0
  • for循环遍历完所有值，正常结束
• 第二次进入while循环：m=0满足m>=0条件
  • i=0：0>=0成立，m = 0-0 = 0
  • i=1：0>=1不成立，触发break跳出for循环
• 后续所有循环：完全重复第二次进入while的流程，m永远为0，永远无法退出循环

二选一即可解决问题：

• 方案1：把while判断条件改为while m > 0，m等于0时直接终止循环，符合预期逻辑
• 方案2：把for循环的迭代范围改为range(1, n+1)，去掉无意义的i=0迭代步骤，避免m=0时卡在无效操作上

修复后的参考代码：

n, m = input().split()
n = int(n)
m = int(m)

while m > 0:
    for i in range(1, n+1):
        if m >= i:
            m -= i
        else:
            break
print(m)

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