为何while循环需显式更新条件变量？避免无限循环解析

问题核心示例 #

下面这段代码会陷入无限循环，核心疑问是：明明j在循环里递增了，为什么r的值始终是1，while r < 10的条件永远成立？

while True:
    z = 1
    j = 0
    r = z + j
    while r < 10:
        j += 1
        print(z, j , r )

本质原因：变量赋值是一次性计算，而非动态关联 #

• 当执行r = z + j时，Python（包括C++这类语言）会立刻用当前z和j的数值计算结果，把结果存在r变量里，之后r就和z、j彻底脱钩了。
• 后续修改j的值，只会改变j本身，不会自动触发r的重新计算。就像你把水壶里的水倒进杯子，之后再往水壶加水，杯子里的水量不会跟着变。

对应到你最初的两段代码对比 #

第一段代码的问题根源：

total = pow(2, val)
while total < dist:
    val += 1

这里total只在进入循环前计算了一次（此时val=0，total=1），之后val递增，但total的值永远停留在1。只要dist>1，while total < dist的条件就永远成立，直接陷入无限循环。

第二段代码的修复逻辑：

while pow(2, val) < dist:
    val += 1

这里每次循环判断条件时，都会重新调用pow(2, val)计算当前值，val递增后，判断条件会用新的val计算结果，不会卡死。

修复无限循环的两种写法 #

如果想让r跟着j变化，有两种常见解决方式：

写法1：每次更新j后重新计算r #

while True:
    z = 1
    j = 0
    r = z + j
    while r < 10:
        j += 1
        r = z + j  # j变化后，重新计算r的值
        print(z, j , r )

写法2：把计算逻辑直接放在循环条件里 #

while True:
    z = 1
    j = 0
    while (z + j) < 10:  # 每次判断都重新计算z+j的当前值
        j += 1
        print(z, j , z + j )

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