Ну и вообще если через __bases__ идти по дереву, то там нигде не будет типа Number
Выяснил причину такого поведения: 1) bool наследует (расширяет) тип int - по историческим причинам. bool.__mro__ содержит (bool, int, object). 2) В numbers определены абстрактные типы, самый базовый из них Number, остальные являются его наследниками в разных поколениях: Complex происходит от него непосредственно, Real от Complex, Rational от Real и т. д. Дедка за репку, бабка за дедку… :). Последний в цепочке наследования Integral. 3) Абстрактные типы имеют реестр, в котором перечисляются виртуальные типы наследники - при проверке issubclass(some_type, abstract_type) абстрактный тип посмотрит в свой реестр и если найдёт там some_type, то ответит TRUE, даже без реального наследования. 4) В реестре абстрактного типа Integral (последнего в цепочке) присутствует тип int, добавленный туда методом register(). 5) issubclass(bool, numbers.Number) означает - определи, является ли bool прямым или отдалённым наследником Number. Ответ на этот вопрос даёт сам Number при помощи магического метода __subclasscheck__. Эту же проверку можно сделать и так: numbers.Number.__subclasscheck__(bool). Если прямого наследования между bool и Number нет, рекурсивно проверяются все наследники Number до последнего колена - Complex, Rational, Real, Integral. А у Integral в реестре есть тип int, см. пункт № 4. Поэтому и получем TRUE - bool тоже имеет в своей цепочке int, следовательно является наследником Number. Скрипт для просмотра цепочки наследования абстрактного типа Number (работает в Python 3.6, но не в Python 3.8). Небольшая статья по теме - Interfaces in Python: Protocols and ABCs.
Обсуждают сегодня