Что такое diamond problem (проблема ромбовидного наследования) при множественном наследовании, и как Python разрешает её при помощи super() и MRO?

Короткий ответ

Diamond problem возникает, когда класс наследуется от двух классов, у которых есть общий предок, и возникает неоднозначность, какую версию метода общего предка должен получить итоговый класс; Python решает это не "напрямую к родителю", а через единый порядок MRO (C3-линеаризацию), благодаря чему super() в каждом классе переходит к следующему классу по этому общему порядку, и общий предок вызывается ровно один раз, а не дважды.

Как это работает подробнее

Если ClassD(ClassB, ClassC), а ClassB и ClassC оба наследуются от ClassA, наивная реализация (вызов родителя "в лоб" по имени класса) привела бы к тому, что метод ClassA может быть вызван дважды — один раз через цепочку B, второй раз через C. MRO выстраивает единый линейный порядок [D, B, C, A, object], и каждый super().method() в B и C переходит не прямо к A, а к следующему классу в этом общем порядке, поэтому A вызывается один раз, независимо от того, сколько путей к нему ведёт.

Пример кода

example.pyКопировать

class A:
    def action(self):
        print("A.action")
class B(A):
    def action(self):
        print("B.action")
        super().action()
class C(A):
    def action(self):
        print("C.action")
        super().action()
class D(B, C):
    def action(self):
        print("D.action")
        super().action()
D().action()
# D.action -> B.action -> C.action -> A.action
# A вызван ровно один раз благодаря единому MRO, а не наивному вызову по дереву

Что использовать на практике

• Практика. Это особенно важно для классов-миксинов, где несколько миксинов совместно дополняют базовое поведение (например, миксин логирования и миксин кеширования, оба модифицирующие один и тот же метод через super()) — именно единый MRO гарантирует, что цепочка вызовов super() пройдёт по всем миксинам ровно один раз в согласованном порядке.

Подводные камни

• Риски. Вызывают родительский метод напрямую через имя класса (ClassA.method(self)) вместо super().method(), что обходит MRO и может привести к повторному вызову общего предка или пропуску промежуточных классов в цепочке. Также строят глубокие и сложные деревья множественного наследования, не проверяя __mro__, из-за чего итоговое поведение становится трудно предсказать при добавлении нового миксина.