C3-линеаризация

C3-линеаризация суперкласса (англ. C3 superclass linearization) — алгоритм, используемый преимущественно для получения устойчивой линеаризации иерархии множественного наследования в объектно-ориентированном программировании. Данная линеаризация используется для определения порядка, в котором должны наследоваться методы, что часто в англоязычной литературе обозначается как «MRO» (сокращение от «Method Resolution Order», то есть «порядок разрешения метода»). C3 в названии указывает на три главные особенности итоговой линеаризации: устойчивый и расширяющийся (по старшинству) граф, сохранение локального порядка старшинства, а также монотонность. Данная теория впервые была представлена в 1996 году в рамках конференции OOPSLA, в документе, озаглавленном «Монотонная линеаризация суперкласса для языка Dylan»^[1]. Впоследствии данный алгоритм был выбран как алгоритм по умолчанию для разрешения методов в языке программирования Python 2.3 (и последующих версиях), Perl 6 и виртуальной машине Parrot. Он также доступен в виде альтернативы (не являясь MRO по умолчанию) в ядре Perl 5, начиная с версии 5.10.0. Расширенная реализация для более ранних версий Perl 5 носит название Class::C3 и существует в CPAN.

Примечания

1. ↑ (1996-06-28) "A Monotonic Superclass Linearization for Dylan". OOPSLA '96 Conference Proceedings: 69–82, ACM Press. DOI:10.1145/236337.236343. ISBN 0-89791-788-X. 

Ссылки

• Использование C3 MRO в Python 2.3  (англ.)
• Perl 6 будет использовать C3 MRO  (англ.)
• Parrot использует C3 MRO  (англ.)
• C3 MRO доступна в Perl 5.10  (англ.)
• Расширение Perl 5 для C3 MRO в CPAN  (англ.)