Python 3 内置类型 __init__ 不调用 super().__init__？

Question

当从内置类型以及其他类派生时，内置类型的构造函数似乎不会调用超类构造函数。这会导致 MRO 中内置函数之后的类型不会调用 __init__ 方法。

示例：

class A:
    def __init__(self, *args, **kwargs):
        super().__init__(*args, **kwargs)
        print("A().__init__()")

class B(list, A):
    def __init__(self, *args, **kwargs):
        print("B().__init__() start")
        super().__init__(*args, **kwargs)
        print("B().__init__() end")

if __name__ == '__main__':
    b = B()

在此示例中，从未调用 A.__init__。当 B 被定义为 class B(A, list) 时——切换继承顺序——它会按预期工作（即调用 A.__init__ ）。

这种对继承顺序的非常微妙的依赖似乎相当不符合Python风格，是这样的吗？它还意味着您绝不能从复杂类层次结构中的内置类型派生，因为当其他人从您的类派生时，您无法知道内置类型最终在 MRO 中的位置（维护恐怖）。我错过了什么吗？

额外信息：Python 版本 3.1

Answer 1

super() 的正确用法相当微妙，如果协作方法不都具有相同的签名，则需要小心。 __init__() 方法的通常模式如下：

class A(object):
    def __init__(self, param_a, **kwargs):
        self.param_a = param_a
        super(A, self).__init__(**kwargs)

class B(A):
    def __init__(self, param_b, **kwargs):
        self.param_b = param_b
        super(B, self).__init__(**kwargs)

class C(A):
    def __init__(self, param_c, **kwargs):
        self.param_c = param_c
        super(C, self).__init__(**kwargs)

class D(B, C):
    def __init__(self, param_d, **kwargs):
        self.param_d = param_d
        super(D, self).__init__(**kwargs)

d = D(param_a=1, param_b=2, param_c=3, param_d=4)

请注意，这要求所有方法协作，并且所有方法都需要某种程度兼容的签名，以确保调用该方法的时间点无关紧要。

内置类型的构造函数没有允许参与此类协作的构造函数签名。即使他们确实调用了 super().__init__() ，除非所有构造函数签名都是统一的，否则这也是毫无用处的。所以最终你是对的——它们不适合参与协作构造函数调用。

仅当所有协作方法具有相同的签名（例如 __setattr__()）或使用上述（或类似）模式时，才能使用 super() 。不过，使用 super() 并不是调用基类方法的唯一模式。如果多重继承模式中没有“菱形”，则可以使用显式基类调用，例如 B.__init__(self, param_a)。具有多个基类的类只需调用多个构造函数。即使有钻石，有时您也可以使用显式调用，只要您注意 __init__() 可能会被多次调用而不会造成任何损害。

如果您无论如何都想对构造函数使用 super()，那么您确实不应该在多个继承层次结构中使用内置类型的子类（object 除外）。进一步阅读：

• Raymond Hettinger 的 Python 的 super() 被认为是超级的！
• James Knight 的 Python 的 Super 很漂亮，但你不能使用它