Python MRO란?
Python MRO란? 다중 상속 시, 검색 순서를 결정하는 MRO
Python에서 MRO(Method Resolution Order)는 다중 상속 시 메서드나 속성을 어떤 순서로 검색할지를 결정하는 규칙을 의미한다. MRO는 Python의 super() 함수와 밀접한 관련이 있으며, 이는 다중 상속에서의 메서드 호출 순서를 명확하게 이해하는 데 필수적이다. Python의 MRO는 C3 선형화(C3 Linearization) 알고리즘을 기반으로 결정된다.
C3 Linearization 알고리즘
C3 Linearization은 객체 지향 프로그래밍에서 클래스의 상속 순서를 결정하는 알고리즘이다. 이 알고리즘은 클래스가 다중 상속을 사용할 때, 메서드 해결 순서를 명확하게 정의해준다. Python에서 클래스가 상속을 통해 메서드나 속성을 상속받을 때, 어떤 순서로 이를 처리할지를 결정하는 데 중요한 역할을 한다.
C3 Linearization의 주요 목적은 모호성을 제거하고, 예측 가능한 메서드 해상도 순서를 제공하는 것이다. 이를 통해 다중 상속 시에 발생할 수 있는 잠재적인 충돌을 예방할 수 있다. 예컨대, 두 개 이상의 부모 클래스가 동일한 이름의 메서드를 가지고 있을 때, 어느 부모 클래스의 메서드를 우선시할지를 명확히 규정한다.
C3 Linearization의 동작 원리는 다음과 같다.
모든 부모 클래스의 리스트를 구한다.
각 리스트를 병합하여 전체 상속 순서를 계산한다. 이때, 각 리스트의 첫 번째 요소가 상속 순서의 앞쪽에 위치하도록 한다.
병합 과정에서 모순이 발생하지 않도록 순서를 유지한다.
C3 Linearization 알고리즘을 cpython에서 어떻게 구현해서 사용하고 있는지 확인해보자. cpython의 functools 코드 중 _c3_mro() 함수를 보면, 알고리즘이 구현되어 있다.
먼저, 현재 클래스(cls) 의 __bases__에 들어있는 클래스에 대해서 _c3_mro() 함수를 수행한다. __bases__는 현재 클래스가 상속하고 있는 부모 클래스를 담고 있다. 즉, 부모 클래스의 c3_mro 결과를 먼저 구하는 과정을 거친다.
그리고 나서, _c3_merge() 과정을 거친다. _c3_merge() 코드를 보면 다음과 같다.
sequences에는 합치고자하는 모든 MRO 값들이 들어있다. 예컨대, A(B, C) 라고 한다면, [class A, class B, class C, object] 와 같은 순서로 되어 있으며, 이러한 리스트가 여러개 들어있는게 바로 sequences이다.
위 예시에서 D의 MRO를 계산하는 과정은 다음과 같다.
위 과정을 자세히 보면, __bases__ 에 어떤 클래스가 먼저 들어가있느냐에 따라서 결과 값이 달라지는 것을 알 수 있다. 즉, 상속할때, 부모 클래스를 상속하는 순서에 따라서 Python이 MRO를 구성한다는 의미이다. 그래서 상속할때는 순서를 정확하게 구성하는 것이 중요하다. 그렇지 않으면 같은 이름으로 되는 함수를 만들었을때 원치않는 결과가 발생할 수도 있다.
Super() 함수의 동작 원리
super() 함수는 파이썬에서 다중 상속을 처리하고, 부모 클래스의 메서드를 호출하는 데 사용되는 내장 함수이다. 이 함수는 메서드 해상도 순서(Method Resolution Order, MRO)를 따르며, 다중 상속 구조에서도 일관된 방식으로 메서드를 찾을 수 있도록 도와준다.
super_getattro() 함수를 보면, MRO를 순회하면서, 호출한 함수가 dict에 있는지를 확인한다. 가장 먼저 매칭되는 함수가 구현되어 있는 Class의 함수를 반환한다. 만약 super(Class, obj) 형태로 호출한다고 하면, obj의 MRO를 순회하면서, Class 다음에 오는 부모 객체를 반환한다.
요컨대, 파이썬은 내부적으로 상속에 대한 일관성을 유지하고, 중복되는 함수에 대한 모호성을 제거하기 위해서 MRO라는 규칙을 사용한다. 클래스에 매핑되는 매서드는 상속 구조에 따라 달라지는데, 이를 확인하기 위해서는 __mro__를 확인해보면 된다. 따라서, 상속을 할때는 반드시 순서에 유의해야 한다.