MRO: линеаризация в Python | OTUS

Курсы

Программирование
Java Developer. Professional Highload Architect C++ Developer. Basic Специализация C++ Developer C++ Developer. Professional Java Developer. Basic Kotlin Developer. Basic Microservice Architecture JavaScript Developer. Basic Cloud Solution Architecture Team Lead C# Developer. Professional Алгоритмы и структуры данных Rust Developer C# Developer. Basic NoSQL Выбор профессии в IT
-99%
Python Developer. Basic Python Developer. Professional Базы данных iOS Developer. Professional React.js Developer Scala-разработчик Специализация iOS Unity Game Developer. Basic MS SQL Server Developer Kotlin Backend Developer Node.js Developer Symfony Framework PHP Developer. Basic Буткемп Java Groovy Developer
Специализации Курсы в разработке Подготовительные курсы Подписка
+7 499 938-92-02

MRO: линеаризация в Python

Python_Deep_06.06_Site.png

Допустим, есть следующая иерархия классов:

class X(object): pass
class Y(object): pass
class A(X, Y): pass
class B(Y, X): pass

И в ней, вообще говоря, ничего криминального нет. Но если вы захотите отнаследоваться от A и B, то вас ждёт разочарование. Выражение: class C(A, B): pass выдаст весьма интересную ошибку.

В чем же дело?

Всему причиный алгоритм MRO (method resolution order), который используется в Python с версии 2.3. Он актуален только для new-style классов (наследуются от object), для classic-классов никаких ошибок не будет в данном случае.

Под MRO некого класса «C» понимается его линеаризация – список предков класса, включая сам класс, отсортированный в порядке «удалённости». Так, линеаризацией класса «B» из примера выше будет [B, Y, X, object]. Таким образом MRO определяет, как в случае множественного наследования будет осуществляться поиск вызванного метода в данной иерархии классов.

Для конструирования линеаризации класса в Python используется C3 linearization алгоритм. В своё время этот алгоритм разрабатывался для языка Dylan, но с тех пор был принят в Python и ещё, например, в Perl 6. Линеаризацией данного класса называется слияние линеаризацией его родителей.

Финальный список формируется так: сначала добавляется данный класс, потом рассматривается первый класс из линеаризации первого родителя, если он не встречается в других списках, то добавляется в финальный и так далее. Если участвует, то переходим к рассмотрению следующего родителя.

Как мы видели, не все классы поддаются линеаризации данным алгоритмом. Кстати, для classic-классов MRO реализуется через поиск в глубину, слева-направо.

Есть что добавить или остались вопросы? Напишите в комментариях!

Не пропустите новые полезные статьи!

Спасибо за подписку!

Мы отправили вам письмо для подтверждения вашего email.
С уважением, OTUS!

Автор
0 комментариев
Для комментирования необходимо авторизоваться