Python은 버전 2.6에서 abc 모듈을 도입하여 추상 기본 클래스를 공식화하고 전통적인 덕 타이핑을 넘어서는 구조적 서브타이핑을 가능하게 했습니다. 핵심 메커니즘은 클래스 메서드인 __subclasshook__로, ABC의 MRO에서 후보를 찾지 못할 때 abc 기계가 호출합니다. 이 메서드는 후보 클래스를 수신하고 True, False 또는 NotImplemented를 반환하여 상속 없이 가상 등록을 허용합니다.
문제는 __subclasshook__가 종종 후보가 특정 메서드 또는 속성을 구현하는지 확인해야 한다는 것입니다. 보호 조건이 없으면 후크가 내부적으로 issubclass() 또는 비슷한 체크를 호출하여 다시 동일한 ABC로 돌아가는 경우 무한 재귀가 발생합니다. 필수 보호 장치는 메서드 시작 부분에서 if cls is MyABC를 확인하여 후크가 해당 후크를 정의하는 특정 ABC만 검증하고 그 ABC의 서브클래스를 검증하지 않도록 합니다.
from abc import ABC, abstractmethod class Drawable(ABC): @abstractmethod def draw(self): pass @classmethod def __subclasshook__(cls, C): # 재귀 방지: Drawable만 직접 처리 if cls is not Drawable: return NotImplemented # 구조적 검사: Drawable처럼 걷고 말하는가? if hasattr(C, "draw") and callable(getattr(C, "draw")): return True return NotImplemented class Circle: def draw(self): print("원이 그려짐") # 상속 없이 가상 서브클래스 검증 assert issubclass(Circle, Drawable)
우리 팀은 여러 데이터베이스 백엔드를 지원해야 하는 통합 분석 플랫폼을 구축하고 있었습니다. 우리는 connect(), execute(), close()와 같은 메서드를 가진 DatabaseDriver ABC를 정의했습니다. 그러나 우리는 기존의 서드파티 데이터베이스 라이브러리(psycopg2 또는 pymongo와 같은)를 포크하거나 보일러플레이트 어댑터 클래스로 감싸지 않고 지원하고 싶었습니다.
우리가 고려한 첫 번째 솔루션은 엄격한 어댑터 패턴 상속이었습니다. 우리는 서드파티 연결을 캡슐화하는 래퍼 클래스 Psycopg2Adapter(DatabaseDriver)를 만들겠다고 하였습니다. 이는 완벽한 타입 안전성과 정적 분석 지원을 제공했습니다. 그러나 모든 메서드 위임에 대한 상당한 유지 관리 오버헤드를 초래하고 런타임에서 이중 간접 호출 오버헤드를 발생시켰습니다.
두 번째 접근 방식은 런타임 속성 검사를 사용한 순수 덕 타이핑이었습니다. 우리는 단순히 connect 및 execute 메서드를 가진 객체가 유효한 드라이버라고 가정하였습니다. 이는 최대한의 유연성과 제로 보일러플레이트를 제공했지만, 메서드 서명이 호환되지 않을 때 조용히 실패했습니다. 게다가 mypy와 같은 정적 타입 검사기는 이러한 계약을 검증할 수 없었고, 생산 환경에서 오류 탐지 시간을 지연시켰습니다.
우리는 세 번째 솔루션을 선택했습니다: 가상 서브클래스를 등록하기 위해 DatabaseDriver ABC에서 __subclasshook__를 구현하는 것이었습니다. 이를 통해 래퍼 클래스를 만들 필요가 없어지면서 엄격한 isinstance 검증을 유지하고 서드파티 클래스가 수정 없이 타입 검사를 통과할 수 있었습니다. 보호 조건은 DatabaseDriver의 서브클래스가 스스로를 체크할 때 무한 루프를 유발하지 않도록 보장했습니다.
결과적으로 어댑터 보일러플레이트 코드가 40% 줄어들고 IDE 자동 완성 지원이 원활해졌습니다. 시스템은 이제 ABC에 대해 전혀 알지 못하는 라이브러리로부터 원시 데이터베이스 연결을 수용할 수 있으면서도 엄격한 런타임 검증 및 구조적 타이핑 보장을 유지할 수 있었습니다.
왜 __subclasshook__가 구조적 검사를 수행하기 전에 if cls is MyABC를 확인해야 하며, 이 보호가 누락되면 무슨 일이 발생합니까?
이 보호가 없으면 issubclass(SubClass, MyABC)를 호출하면 MyABC.__subclasshook__(SubClass)가 발생합니다. 후크가 내부적으로 상속을 확인하기 위해 issubclass(SubClass, MyABC)를 체크하면 즉시 무한 재귀가 발생합니다. Python의 abc 기계는 후크가 정의된 정확한 클래스에 대해서만 호출하지만, 구조적 체크는 종종 동일한 쿼리로 돌아가게 됩니다. 보호 장치 없이 스택이 빠르게 오버플로우됩니다.
성능과 변경 가능성 측면에서 register()를 통한 가상 서브클래싱과 __subclasshook__는 어떻게 다릅니까?
register()는 클래스를 내부 캐시(_abc_cache)에 즉시 추가하여 이후 체크를 O(1)로 만듭니다. 반면 __subclasshook__는 캐시되지 않는 한 매번 issubclass 호출 시 임의의 Python 코드를 실행하여 계산 오버헤드를 생성합니다. 게다가 register()는 프로세스 수명 동안 영구적이며, list와 같은 내장 타입에서도 작동합니다. 한편 __subclasshook__는 런타임 기능에 기반한 동적이고 조건부 로직을 가능하게 하지만 사용자 정의 ABC에 대해서만 기능합니다.
사용자 정의 메타클래스에서 __subclasshook__와 __instancecheck__ 메서드 간의 상호작용은 무엇입니까?
isinstance(obj, MyABC)가 호출될 때, Python은 먼저 인스턴스의 메타클래스 __instancecheck__를 조회합니다. 사용 가능하지 않거나 결론이 내리지 못하면 issubclass(type(obj), MyABC)로 되돌아가며, 이는 __subclasshook__를 유발합니다. 후보자들은 종종 __subclasshook__가 클래스 검사만 참여하고 직접 인스턴스 검사는 하지 않는다는 점을 간과합니다. 그들은 또한 NotImplemented를 반환함으로써 체크가 MRO를 통해 계속 진행되도록 할 수 있으며, 복잡한 계층 구조에서 협력적인 다중 분산을 가능하게 한다는 점을 간과합니다.