Python生成器yield/return行为困惑：递归函数执行问题求助

咱们先一步步捋清楚这段代码到底在做什么，再聊聊你可能遇到的行为问题~

核心意图 #

这段代码的目标很明确：给定初始值value和一组操作数，通过尝试所有可能的运算符组合，递归计算出所有可能的最终结果，然后找出第一个等于'0'的结果。

代码逐段解析 #

1. 递归生成器 recursive #

这是整个逻辑的核心，它是一个生成器函数，负责生成所有可能的运算结果：

• 基线条件：当operands为空时，直接返回当前的value（这里是return不是yield，但上层的yield from会把这个值传递出去，作为生成器的一个输出）
• 递归逻辑：遍历所有运算符，每次取operands的最后一个元素，和当前value拼接成运算表达式，用eval计算出新值，然后递归处理剩下的操作数，最后用yield from把下层生成的所有结果“传递”到上层。

举个例子，初始调用recursive('5', ['1','2','3'])的第一个分支是这样的：

5 + 3 → 8 → 8 + 2 →10 →10 +1 →11（第一个生成的结果）

然后会依次尝试10-1、10*1、10/1，再回到上一层尝试8-2、8*2、8/2，以此类推，遍历完所有运算符组合。

2. countdown函数 #

它做的事情很简单：用生成器表达式过滤出recursive生成的所有等于'0'的结果，然后用next()取出第一个符合条件的结果。

关键执行细节：操作数的处理顺序 #

这里有个很容易被忽略的点：代码是从右往左处理操作数的！比如operands = ['1','2','3']，实际的运算顺序是：

((value op1 3) op2 2) op3 1

而不是我们直觉里的从左往右（((value op1 1) op2 2) op3 3）。这会直接影响哪些结果会被先生成。

你可能遇到的行为问题 #

问题1：找不到结果时抛出StopIteration异常 #

如果所有可能的运算组合都无法得到字符串'0'，next()会因为生成器耗尽而抛出StopIteration。不过你的示例输入countdown('5', ['1','2','3'])是存在有效路径的：((5 - 3) - 2) * 1 = 0，所以理论上会返回'0'，但这个结果会在生成器的较靠后位置出现（因为要先遍历完+开头的所有组合，才会轮到-开头的分支）。

问题2：浮点数结果无法匹配'0' #

如果某个运算得到的是0.0（比如((5 - 5) / 1)），代码里的判断i == '0'会把它排除在外，因为'0.0'和'0'是不同的字符串。如果需要匹配这种情况，你可以把判断改成float(i) == 0。

问题3：eval的潜在风险 #

虽然这不是运行时行为问题，但eval直接执行拼接的字符串表达式，存在安全风险——如果传入的value或operands是不可信的内容，可能会导致代码注入。如果只是自己测试用没问题，但生产环境建议用更安全的方式计算（比如用字典映射运算符到对应的函数）。

示例代码的预期输出 #

你的示例代码运行后，最终会输出'0'，因为存在符合条件的运算路径，只是需要等待生成器遍历到对应的分支。

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