在Python3中，是否可以为一个具有多个基的类动态创建元类？

Question

在Python2中，使用一个技巧可以创建一个具有多个基类的类，尽管这些基类的元类互为而不是子类。在

诀窍在于这些元类本身有一个元类（将其命名为“元元类”），并且该元元类为元类提供了一个调用方法，该方法可以在必要时动态创建基元类的公共子元类。最终，一个类的结果是其元类是新的子元类。代码如下：

>>> class MetaMeta(type):
...     def __call__(mcls, name, bases, methods):
...         metabases = set(type(X) for X in bases)
...         metabases.add(mcls)
...         if len(metabases) > 1:
...             mcls = type(''.join([X.__name__ for X in metabases]), tuple(metabases), {})
...         return mcls.__new__(mcls, name, bases, methods)
... 
>>> class Meta1(type):
...     __metaclass__ = MetaMeta
... 
>>> class Meta2(type):
...     __metaclass__ = MetaMeta
... 
>>> class C1:
...     __metaclass__ = Meta1
... 
>>> class C2:
...     __metaclass__ = Meta2
... 
>>> type(C1)
<class '__main__.Meta1'>
>>> type(C2)
<class '__main__.Meta2'>
>>> class C3(C1,C2): pass
... 
>>> type(C3)
<class '__main__.Meta1Meta2'>

这个例子（当然将语法改为class C1(metaclass=Meta1)等）在python3中不起作用。在

问题1:我是否正确地理解，在Python2中，第一个C3是使用第一个基的元类构造的，并且只有当{}不是{}和{}的普通子类时，才会出现错误，而在python3中，错误会提前出现？在

问题2：（如何）使上述示例在Python3中工作？我确实尝试过使用abc.ABCMeta的子类作为元元类，但是即使使用自定义的__subclasscheck__使issubclass(Meta1, Meta2)返回{}，C3的创建仍然会导致错误。在

注意：当然，我可以通过静态定义Meta1Meta2并显式地将其作为C3的元类来让Python3高兴起来。然而，这不是我想要的。我希望公共子元类是动态创建的。在

Answer 1

在95%的情况下，应该可以使用python3.6中引入的机制，因为PEP 447可以使用特殊的新钩子来完成元类的大部分工作。在这种情况下，您不需要组合元类，因为您的钩子可以调用super，并且它们的行为是由于继承而组合的。在

至于你的一般情况，我相信梅森是对的，你可能把事情搞得太复杂了。我还没有看到pep447没有涉及到的组合元类的情况。在