不可达的yield仍异常影响Python函数执行，求技术解析

你的观察完全准确，这个现象完全符合Python的预期行为，核心原因在于Python判定生成器函数的规则：

关键规则：语法层面的yield检测，而非执行路径分析 #

Python判断一个函数是否为生成器函数，是在语法解析阶段完成的——只要函数的定义体中存在yield语句（无论这个语句是否能被实际执行到），该函数就会被归类为生成器函数。

当你调用生成器函数时，Python并不会立即执行函数内部的代码，而是直接返回一个生成器对象。只有当你对这个生成器对象调用next()方法，或者通过for循环迭代它时，函数体才会开始执行，直到遇到yield语句暂停，或者执行到函数末尾结束。

对应你的代码案例分析 #

先看你的原始代码：

def func():
    print("> Why doesn't this line print?")
    exit()  # Within this function, nothing should matter after this point. The program should exit
    yield "> The exit line above will exit ONLY if you comment out this line."

x = func()
print(x)

这里虽然yield语句在exit()之后完全不可达，但Python解析函数时已经检测到了yield关键字，因此func被标记为生成器函数。调用func()时，只会返回一个生成器对象（你运行代码会看到输出类似<generator object func at 0x7f9b1c0b55e8>），不会执行函数内的print和exit代码。

而当你注释掉那个yield语句后，func就变成了普通函数，调用它时会立即执行函数体，因此print会输出内容，exit()也会触发程序退出。

额外补充 #

这种语法层面的判定是有意设计的：Python解释器不会做复杂的执行路径分析来判断yield是否可达，这样可以保持语言规则的简洁性和解析效率。哪怕yield在return之后、if False分支里，只要它存在于函数体中，函数就会被当作生成器。

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