Python for循环求三数最大值返回错误结果原因排查

运行如下Python代码尝试求解三个输入整数的最大值时，输出结果不符合预期：

a,b,c = int(input("Type value a ")), int(input("Type value b ")), int(input("Type value c "))
    
for num in a,b,c:
    if num >= b and num >= c:
        max_num = a
    elif num >= a and num >=c:
        max_num = b
    else:
        max_num = c
print(f'The max number is {max_num}')  

使用测试用例a=100、b=20、c=10运行时，程序输出如下，返回最大值为10，和实际最大值100不符：

Type value a 100
Type value b 20
Type value c 10
The max number is 10

提问者原有认知：for num in a,b,c迭代时，首先取num为a，将其与b、c比较，若不满足if条件则进入elif判断，最后进入else分支，整套判断逻辑会对a、b、c三个数依次重复执行。

你对for循环迭代执行流程的认知是正确的，问题出在两个核心逻辑漏洞上：

• 循环内每一次分支判断都会直接给max_num赋值，覆盖上一轮的计算结果，最终max_num只会保留最后一轮迭代（也就是num = c）的判断输出，前面两轮就算算对了结果也会被覆盖。
• 分支内的赋值规则和当前迭代的num完全没有绑定。你写的判断条件是在对比当前num的大小，但赋值的时候完全没管当前num是多少：只要满足第一个if条件就硬编码把a赋值给max_num，满足elif就硬编码赋值b，否则就赋值c，逻辑完全错位。

逐轮拆解测试用例的执行过程就能清晰看到错误触发路径：

1. 第一轮迭代：num = a = 100
   判断100 >= 20 and 100 >= 10，if条件成立，执行max_num = a，此时max_num = 100，结果暂时正确。
2. 第二轮迭代：num = b = 20
   判断20 >= 20 and 20 >= 10，if条件依然成立（20等于b、大于c），执行max_num = a，此时max_num还是100，结果暂时未出错。
3. 第三轮迭代：num = c = 10
   先判断if条件：10 >= 20不成立；再判断elif条件：10 >= 100也不成立，直接走else分支，执行max_num = c，把之前的100覆盖成了10，这就是最终输出错误的直接原因。

如果要保留循环比较的思路，可以先初始化最大值变量，每轮迭代只在当前数比已记录的最大值更大时才更新变量，就不会出现结果被错误覆盖的问题：

a,b,c = int(input("Type value a ")), int(input("Type value b ")), int(input("Type value c "))
max_num = a  # 先把第一个数作为初始最大值
for num in (b, c):
    if num > max_num:
        max_num = num  # 只有当前数更大时，才更新最大值为当前数
print(f'The max number is {max_num}')

如果不需要手动实现比较逻辑，直接调用Python内置的max()函数即可得到正确结果：max_num = max(a,b,c)。

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