为何Python中Class_4(D,A)的MRO在PyCharm正常运行却违反C3线性化？

先看实际可运行的代码：

class A:
    pass

class B(A):
    pass

class C(A):
    pass

class D(B):
    pass


class Class_4(D, A): pass # 实际运行无报错
print(Class_4.__mro__) # 输出: (<class '__main__.Class_4'>, <class '__main__.D'>, <class '__main__.B'>, <class '__main__.A'>, <class 'object'>)

ChatGPT曾错误判定这个类定义违反C3线性化规则，给出的理由是：

在Python的C3线性化中，如果类A是D的父类，同时又在D之后被显式列出，MRO无法一致地排列A的位置。具体来说，A必须在D的MRO（[D, B, A, object]）中排在B之后，但在Class_4(D, A)中将A列在D之后，在某些解读中意味着A应该排在B之前，从而导致冲突。

实际符合规则的原因 #

C3线性化的核心原则是同时满足两个顺序要求：

• 必须保留每个父类自身的MRO顺序
• 必须遵循当前类显式继承列表的顺序

对于Class_4(D, A)：

1. D的MRO是[D, B, A, object]，C3规则要求这个链的顺序不能被打破——D必须在B前，B必须在A前。
2. 显式继承列表[D, A]仅要求D的位置在A之前，这和D的MRO顺序完全兼容。

因为A已经存在于D的MRO链中，显式列出A不会改变原有链的顺序，最终合并后的MRO自然是[Class_4, D, B, A, object]，完全符合C3线性化的所有约束，所以不会报错。

ChatGPT的错误在于误解了显式继承列表的含义：显式列出父类只是要求该类在MRO中的位置不早于列表中前面的类，而非要打破已有父类的继承链顺序。这里A本来就在D的继承链中处于B之后，显式把A写在D后面并没有要求A排在B之前，因此不存在冲突。

内容的提问来源于stack exchange，提问作者munish