Python中如何在for循环一行内实现多变量同步增减控制？

结论 #

Python没有和C语言完全一致的原生多变量for循环语法，但可以通过内置函数/标准库组合实现将多变量初始化、条件判断、增减逻辑都定义在for循环声明行的效果，无需提前声明变量，也不需要在循环体内手动更新变量值。

原C代码逻辑说明 #

首先澄清你给出的C代码中，条件段i<x,j<y,k<z使用了逗号运算符，实际只有最后一个表达式k<z的返回值会作为循环终止判断依据；如果你的实际需求是三个条件同时满足才继续循环，需要将逗号替换为&&。
以下两种实现分别覆盖不同场景：

实现方法 #

方法1：zip+range（无需导入包，性能最优） #

如果变量的增减规则是固定步长，且终止条件可以通过range直接表达，用该方法最简洁：

# 对应C逻辑：i从0每次+1，j从0每次+1，k从0每次-1，仅判断k<z时继续循环
for i, j, k in zip(range(10**9), range(10**9), range(0, -z, -1)):
    # 此处写循环业务逻辑

如果需要同时满足i<x && j<y && k<z，写法更简单，自动取最短序列的长度作为循环次数：

for i, j, k in zip(range(x), range(y), range(0, -z, -1)):
    # 此处写循环业务逻辑

方法2：itertools.count + itertools.takewhile（灵活性最高，完全对齐C的逻辑） #

如果终止条件比较复杂，或者步长不是固定值，用标准库itertools的工具可以1:1还原C的for循环逻辑：

from itertools import count, takewhile

# 完全对齐C的多变量for逻辑：初始化、终止条件、步进规则全部定义在循环声明行
for i, j, k in takewhile(
    lambda val: val[2] < z, # 对应C的条件段，要多条件判断直接加&&即可，比如val[0]<x and val[1]<y and val[2]<z
    zip(
        count(start=0, step=1), # i的初始化+步进规则
        count(start=0, step=1), # j的初始化+步进规则
        count(start=0, step=-1) # k的初始化+步进规则
    )
):
    # 此处写循环业务逻辑

原理说明 #

• count(起始值, 步长)会按照规则无限生成数值序列，对应C for循环的初始化、步进逻辑
• takewhile(判断函数, 序列)会遍历序列，判断函数返回False时立刻终止迭代，对应C for循环的条件判断段
• zip会将多个序列的输出按位置打包成元组，直接解包到多个循环变量，无需提前声明变量也不需要在循环体内手动更新

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