元组子类中的 tuple.__init__ 与 super().__init__ 有何不同？

Question

请看以下代码：

#! /usr/bin/env python3

class MyTupleT(tuple):
    def __init__(self, contents):
        tuple.__init__(contents)
        self.len = len(contents)

class MyTupleS(tuple):
    def __init__(self, contents):
        super().__init__(contents)
        self.len = len(contents)

t = MyTupleT([0, 1, 2])
print(t.len, t)

s = MyTupleS([0, 1, 2])
print(s.len, s)

输出是：

3 (0, 1, 2)
Traceback (most recent call last):
File "tuple_init.py", line 16, in <module>
    s = MyTupleS([0, 1, 2])
File "tuple_init.py", line 10, in __init__
    super().__init__(contents)
TypeError: object.__init__() takes no parameters

The docs say 那super() 将：

返回一个代理对象，该对象将方法调用委托给类型的父类或兄弟类

这里的 IIUC super() 与 super(MyTupleS, self) 相同。现在文档进一步说

搜索顺序与getattr() 使用的相同，只是跳过了类型本身。该类型的__mro__ 属性列出了getattr() 和super() 使用的方法解析搜索顺序。

好吧，但是：

$ MyTupleS.__mro__
(__main__.MyTupleS, tuple, object)

所以super() 行应该首先在tuple 中查找__init__ 和元组的__init__ 当然可以采用一个参数（当然self 除外）并且是由显式@ 调用的987654339@ 线。那么为什么super().__init__ 调用的工作方式与此不同呢？为什么它试图调用object.__init__ 却失败了？

IIUC 只有在担心继承层次结构会在“动态执行环境”（文档中的短语）中发生变化并希望调用特定超类的方法时才需要显式指定超类。但是这个错误实际上使得必须指定超类。为什么？

注意：这与 another similarly titled question 不同。

Answer 1

如果您调用tuple.__init__，它会返回object.__init__，因为tuple 没有自定义__init__ 方法并且仅从object 继承它。 object.__init__ 的第一个参数是 self，而 object.__init__ 的作用是什么。所以当你传入contents 时，它会被解释为self 并且不会抛出异常。但是它可能不会像你想象的那样做，因为tuple.__new__ 负责设置一个新的元组实例。

如果您使用super().__init__，它也会解析为object.__init__，但它已经将当前的“self”绑定为第一个参数。因此，当您将 contents 传递给此函数时，它会被解释为 object.__init__ 不存在的附加参数，因此会引发该错误。