mro命令深度优先还是广度优先？

Question

来自Python中的Nutshell

在类中查找属性名称主要是通过从左到右,深度优先顺序访问祖先类来实现的

然而,

>>> class A(object): x = 'a'
... 
>>> class B(A): pass
... 
>>> class C(A): x = 'c'
... 
>>> class D(B, C): pass
... 
>>> D.x
'c'
>>> D.__mro__
(<class '__main__.D'>, <class '__main__.B'>, <class '__main__.C'>, 
    <class '__main__.A'>, <type 'object'>)

D.__mro__列出的类不是深度优先顺序,而是广度优先顺序.所以我误解了什么？谢谢.

Answer 1

忽略经典类,Python使用类及其父类的C3线性化解析方法和属性查找.在复杂的多重继承层次结构中,C3线性化既不是深度优先也不是广度优先.在某种意义上,它是:

深度优先,直到遇到将共享父级的类,然后是广度优先级

虽然这是一个非常松散的表征.

然而,特别是在不共享父级的简单多继承层次结构中,它是深度优先的(object当然,方便地忽略,总是共享)

简单示例 - 深度优先

>>> class a_0(object): pass
>>> class a_1(object): pass
>>> class b_0(a_0): pass
>>> class b_1(a_1): pass
>>> class c(b_0, b_1): pass

然后

>>> [x.__name__ for x in c.__mro__]
['c', 'b_0', 'a_0', 'b_1', 'a_1', 'object']

共享基础示例 - 深度然后广度优先

请注意,在您的示例中,您有一个共享父(A),它以宽广的第一种方式导致B和C遍历.如果你有一个更复杂的层次结构:

>>> class A(object): pass
>>> class B(A): pass
>>> class C(A): pass
>>> class D_0(B, C): pass
>>> class D_1(B, C): pass
>>> class E_0(D_0): pass
>>> class E_1(D_1): pass
>>> class F(E_0, E_1): pass

然后

>>> [x.__name__ for x in F.__mro__]
['F', 'E_0', 'D_0', 'E_1', 'D_1', 'B', 'C', 'A', 'object']

并且您将观察到搜索是深度的,F, E_0, D_0直到它达到遇到共享基类的点(B并且C这也是基点D_1,此时深度首先横向于E_1并且再次从那里开始深度.