Какой алгоритм используется для построения MRO в современном Python?

Что такое MRO и зачем он нужен?

MRO (Method Resolution Order) определяет порядок, в котором Python ищет методы при наследовании. Это особенно важно при множественном наследовании, когда класс может иметь несколько родителей. Правильный MRO позволяет избежать неоднозначности и гарантирует предсказуемое поведение.

Алгоритм C3 linearization

Начиная с Python 2.3, для построения MRO используется алгоритм C3 linearization. Он основан на трех принципах:

• Соблюдение порядка наследования (precedence) — классы-родители перечисляются в порядке их указания.
• Монотонность — если класс A наследуется от B, то в MRO любого подкласса A будет идти перед B.
• Консистентность — алгоритм гарантирует, что MRO не содержит противоречий.

Пример работы алгоритма

Рассмотрим простой пример:

class A:
    pass

class B(A):
    pass

class C(A):
    pass

class D(B, C):
    pass

print(D.__mro__)
# (, , , , )

Алгоритм C3 строит линеаризацию, объединяя MRO родителей. Для класса D он берет MRO B (D, B, A, object) и MRO C (C, A, object), затем сливает их, сохраняя порядок. Результат: D, B, C, A, object.

Практическое применение

MRO используется при вызове методов через super(). Например:

class A:
    def method(self):
        print("A")

class B(A):
    def method(self):
        print("B")
        super().method()

class C(A):
    def method(self):
        print("C")
        super().method()

class D(B, C):
    def method(self):
        print("D")
        super().method()

d = D()
d.method()
# Вывод: D, B, C, A

super() следует MRO, поэтому сначала вызывается метод D, затем B, C и A. Это позволяет организовать кооперативное множественное наследование.

Вывод

Алгоритм C3 linearization обеспечивает предсказуемый и непротиворечивый порядок разрешения методов в Python. Его понимание необходимо при проектировании сложных иерархий классов с множественным наследованием, особенно в фреймворках и библиотеках.