Почему атрибуты атрибутов экземпляров не проверяются атрибутами metaclass?

Question

Согласно документации Python 2.7.12, 3.4.2.3. Вызов Descriptors¶:

поведение по умолчанию для доступа к атрибутам, чтобы получить, набор или удалить атрибут из словаря объекта. Например, a.x имеет поисковую цепочку, начиная с a.__dict__['x'], затем type(a).__dict__['x'] и продолжающуюся через базовые классы type(a)исключая метаклассами.

Но почему метаклассы исключены?

Если вы постоянно звоните type(self), независимо от того, какой объект self является объектом экземпляра или объектом типа, вы в конечном итоге получите <type 'type'>. Поэтому я не могу понять, почему метаклассы пользуются этой «привилегией».

---

Кстати, я немного смущен этой цитаты: Для объектов экземпляра, object.__getattribute__ используются, так что я думаю, что поиск цепь должна выглядеть следующим образом:

• a.__dict__['x']
• type(a).__dict__['x']
• b.__dict__[x] для b в type(a).__mro__
• type(b).__dict__[x] дляв type(a).__mro__
• c.__dict__[x] для c в type(b).__mro__
• ......

Я прав?

Answer 1

Это происходит потому, что поиск атрибута ищет все баз из type(a) (type(a).__mro__), а не всех типов из type(a) (type(type(a))).

Кроме того, type(self) не вызывается непрерывно, поэтому поиск цепи выглядит следующим образом:

• a.__dict__['x']
• type(a).__dict__['x']
• b.__dict__[x] for b in type(a).__mro__
• raise AttributeError

Как @jsbueno мудро указал в комментарии, вторая ep фактически включен в третью. Это потому, что для любого класса, скажем, класс C, C сам по себе является первым элементом в C.__mro__.