子类的元类是如何确定的？

Question

对于下面的代码：

class TestMeta(type):
    def __init__(cls, classname, bases, dict_):
        print(f'In TestMeta, class {cls}')
        type.__init__(cls, classname, bases, dict_)

class Parent(metaclass=TestMeta):
    pass

class Child(Parent, metaclass=type):
    pass

输出是：

In TestMeta, class <class '__main__.Parent'>
In TestMeta, class <class '__main__.Child'>

在我看来，在创建类 Parent 时，TestMeta.__init__ 会运行，但是为什么在创建类时又运行>Child 我已将其元类更改为 type？继承和传递元类时，元类是如何确定的？

Answer 1

来自文档：

类定义的适当元类确定为
如下：

• 如果没有给出基类和显式元类，则<使用代码>type()；

• 如果给出了显式元类，并且它不是 type()，则直接作为元类使用；

• 如果type()作为显式元类给出，或者定义了基类，然后使用最派生的元类。

  





从显式指定的元类中选择最派生的元类
元类（如果有）和全部的元类（即type(cls)）
指定的基类。最派生的元类是
所有这些候选元类的子类型。

在上面的例子中，第三个项目符号成立，因为 type 被作为显式元类给出，并且存在基类。

根据最派生元类的定义，候选者是：TestMeta和type。由于TestMeta继承了type，因此它是最派生的元类，并且确实是Child的元类。

为了演示差异，以下代码展示了我们如何“强制” Child 获取指定的元类而不是继承的元类

class TestMeta(type):
    def __init__(cls, classname, bases, dict_):
        print(f'In TestMeta, class {cls}')
        type.__init__(cls, classname, bases, dict_)

class OtherMeta(TestMeta):
    def __init__(cls, classname, bases, dict_):
        print(f'In OtherMeta, class {cls}')
        type.__init__(cls, classname, bases, dict_)

class Parent(metaclass=TestMeta):
    pass

class Child(Parent, metaclass=OtherMeta):
    pass

： 。

In TestMeta, class <class '__main__.Parent'>
In OtherMeta, class <class '__main__.Child'>

再次注意，根据最派生元类的定义，只有当 OtherMeta 本身是 TestMeta 的子类时，这才有效 删除这个继承关系会报错：

TypeError: metaclass conflict: the metaclass of a derived class must be a (non-strict) subclass of the metaclasses of all its bases