Python扩展tuple类遇报错：为何A、B正常C类抛出TypeError？

报错根源 #

tuple是不可变序列，它的实例创建逻辑和普通类、list有本质区别：

• 普通类和list的初始化依赖__init__，但tuple的实例是在__new__方法中生成的，__init__仅在实例创建后做无意义的空操作（因为实例不可变，无法修改）。
• 当你调用C(1,2,3)时，Python会先调用父类tuple的__new__方法，而tuple的__new__仅接受一个可迭代参数（比如tuple([1,2,3])），你传入的3个独立参数超出了它的参数限制，因此在__init__执行前就抛出了TypeError。

而list作为可变类型，它的__init__支持直接接收可迭代对象或通过*args传递的多个元素，因此继承list的B类可以正常运行；普通类A没有父类的参数限制，__init__自然能处理*args。

实现需求的正确方式 #

要创建行为完全等同于tuple、但可通过isinstance区分的类，需要重写__new__方法来适配参数：

class C(tuple):
    def __new__(cls, *args):
        # 将传入的多个参数打包为元组，传给父类生成实例
        return super().__new__(cls, args)

# 测试验证
c = C(1, 2, 3)
print(c)  # 输出: (1, 2, 3)
print(isinstance(c, tuple))  # 输出: True
print(isinstance(c, C))  # 输出: True

如果想让C完全复刻tuple的构造逻辑（比如支持C([1,2,3])这种传入单个可迭代对象的方式），可以调整__new__的参数处理：

class C(tuple):
    def __new__(cls, *args):
        # 若传入单个可迭代对象，直接用它生成tuple；否则用传入的所有参数生成tuple
        if len(args) == 1 and hasattr(args[0], '__iter__'):
            return super().__new__(cls, args[0])
        return super().__new__(cls, args)

# 两种构造方式都能正常工作
c1 = C(1, 2, 3)
c2 = C([4, 5, 6])
print(c1)  # (1, 2, 3)
print(c2)  # (4, 5, 6)

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