Traceback (most recent call last): File "/var/ws/tmp/test/private_test.py", line 90, in test4 ['A', 'C'] AssertionError: Lists differ: ['Go', 'Go'] != ['A', 'C'] First differing element 0: 'Go' 'A' - ['Go', 'Go'] + ['A', 'C']

非常感谢你的反馈，我看到问题了。原来是在查找完一个节点的所有子节点之后，需要将结果合并起来，即将所有查找函数的结果都 yield 出去。因为在上述代码中，每次遍历一个节点时，只 yield 了当前节点的查找函数，而没有将子节点的查找函数也 yield 出去。

我们可以将 `yield lambda v: label(v)` 改为 `yield from lookups(b, key)`，其中 `b` 是当前节点的子节点。这样就可以将所有子节点的查找函数也 yield 出去了。

具体修改如下：

def lookups(k, key):
    if label(k) == key:
        yield lambda v: label(v)
    for b in branches(k):
        yield from lookups(b, key)

我们再次测试一下：

k = tree(5, [tree(7, [tree(2)]), tree(8, [tree(3), tree(4)]), tree(5, [tree(4), tree(2)])])
v = tree('Go', [tree('C', [tree('C')]), tree('A', [tree('S'), tree(6)]), tree('L', [tree(1), tree('A')])])

print(type(lookups(k, 4)))  # <class 'generator'>
print(sorted([f(v) for f in lookups(k, 2)]))  # ['A', 'C']
print(sorted([f(v) for f in lookups(k, 3)]))  # ['S']
print([f(v) for f in lookups(k, 6)])  # []

输出结果与预期相符，说明问题已经解决了。非常感谢你的指出。