python - 一个类从一个不是类型的对象继承是什么意思？

Question

我在 Python 3.8 中遇到了一个奇怪的类继承案例。

我可以通过从本身不是类型 的实例继承来创建类。我预计在那种情况下会出现 TypeError，但事实并非如此。

class B:
    def __new__(cls, *args, **kwargs):
        print(args, kwargs)
        return super().__new__(cls)

b = B()  # prints: () {}

class A(b):  # I expected a TypeError here
    x = "foo"
# prints: ('A', (<__main__.B object at 0x7f32bd102390>,),
#         {'__module__': '__main__', '__qualname__': 'A', 'x': 'foo'}) {}

print(A)  # <__main__.B object at 0x7f20556c93d0>
print(isinstance(A, B))  # True
print(isinstance(A, type))  # False

看起来当我将 B() 作为 A 的基础时，B 被用作元类。

我的理解对吗？为什么会这样？而且我似乎找不到任何关于此行为的信息，它是否已记录在案，或者它是否是特定于 cPython 的实现怪癖？

Answer 1

基本上，类型构造函数将检查基类以猜测最派生的元类。然后它将看到 A 的实例，并将其类用作“最派生的元类”。所以，是的，“基础”中的事物类被用作元类。

从那时起，它将调用检索到的“元类”来构建 B 类本身。因为它是一个类，所以它被调用，这会像往常一样触发类的 __new__ 。由于它返回一个“A”的实例，这就是您作为“B”所获得的实例:Python 不会妨碍验证返回的元类可调用对象本身是否是“类”——它可以是任何对象。这使人们可以灵活地滥用 class 语句来构建其他类型的对象，给定适当的父类(super class)或元类。在这种情况下，它恰好没有引发 TypeError 并返回给你一个“A”的实例。 (但是您必须调整类的 __new__ 以避免 TypeError)

In [16]: class A: 
    ...:     def __new__(cls, *args, **kw): 
    ...:         print(args, kw) 
    ...:         return  super().__new__(cls) 
    ...:          
    ...:                

In [17]: class B(A()): pass                     
() {}
('B', (<__main__.A object at 0x7f26862395b0>,), {'__module__': '__main__', '__qualname__': 'B'}) {}

In [18]: type(B)        
Out[18]: __main__.A

In [19]: isinstance(B, A)                       
Out[19]: True