Python中for循环else子句执行逻辑疑问：两段代码差异解析

两段测试代码 #

PROGRAM 1 #

str = input('ENTER THE STRING:')
str1 = str.split()
print('EVEN LENGTH WORDS ARE:')
for i in str1:
    if len(i) % 2 == 0:
        print(i)
else:
    print('NONE')

PROGRAM 2 #

def linear_search(lst,key):
    for i in lst:
        if i == key:
            print ('element found at the position',lst.index(i))
            break
    else:
      print('element not found')
lst1 = input('enter the list').split()
print(lst1)
key1 = input('enter the key')
linear_search(lst1,key1)

核心机制解释 #

Python里for循环搭配else子句的规则非常明确：只有当循环完整执行完所有迭代（没有被break语句中断）时，else代码块才会触发执行。

对应两段程序的表现拆解 #

• PROGRAM 1的问题根源：
  这段代码的for循环会遍历所有单词，哪怕找到了符合条件的偶数长度单词，循环也会继续跑完所有元素，全程没有break中断循环。因此不管有没有找到目标单词，循环都会正常结束，else块里的NONE必然会被打印——这就是为什么输入含偶数长度单词时，会同时输出单词和NONE的原因。
  只有当所有单词长度都是奇数（循环全程没找到符合条件的元素），循环跑完所有迭代后else执行，此时输出NONE是符合预期的，但其他场景就不符合需求了。

• PROGRAM 2的正常逻辑：
  这段代码里，一旦找到匹配的key，就会执行break直接终止循环。因为循环是被break中断的，不是正常跑完所有迭代，所以else块不会执行；只有当循环遍历完整个列表都没找到key，循环正常结束，else块才会触发输出“element not found”，完全贴合for-else的设计逻辑。

如果要修正PROGRAM 1的问题，可以引入标记变量实现需求：

str = input('ENTER THE STRING:')
str1 = str.split()
print('EVEN LENGTH WORDS ARE:')
found = False
for i in str1:
    if len(i) % 2 == 0:
        print(i)
        found = True
if not found:
    print('NONE')

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