CS61A递归对象代码疑问：绑定__add__后+运算符为何报错？

问题核心确实是Link.empty的本质是空元组，这直接导致了+运算符和extend_link函数的行为差异：

为什么+会报错？ #

Python的运算符重载规则是：执行a + b时，会优先调用左边对象的__add__方法。

• 当你写with_m + without_m时，如果with_m是Link.empty（即空元组()），Python会调用元组的__add__方法，而这个方法只接受另一个元组作为参数。如果without_m是Link实例，自然就会抛出TypeError: can only concatenate tuple (not "Link") to tuple。
• 你给Link类绑定的__add__ = extend_link，只有当+左边的对象是Link实例时才会触发。如果左边是元组（Link.empty），完全不会走这个方法。

为什么extend_link能正常工作？ #

extend_link函数本身做了类型兼容处理，它会识别Link.empty作为空链表的语义，而不是把它当成普通元组来处理。比如函数内部的核心逻辑大概是这样：

def extend_link(s, t):
    if s is Link.empty:
        return t
    else:
        return Link(s.first, extend_link(s.rest, t))

不管s是Link.empty还是Link实例，函数都能正确处理拼接逻辑，不会触发元组的__add__方法。

关于s + s正常的原因 #

因为s是Link实例，+左边的对象是Link，所以会触发你绑定的Link.__add__（也就是extend_link），自然能正常运行——这种情况两边都是Link实例，没有涉及元组的__add__。

可选的解决思路 #

除了直接调用extend_link，也可以在拼接时确保左边的对象是Link实例，比如：

return (with_m if isinstance(with_m, Link) else Link(*with_m)) + without_m

不过在CS61A的教材语境下，直接用extend_link是最简洁的解决方案，符合课程里的设计逻辑。

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