Wenn isinstance(obj, cls) aufgerufen wird, überprüft Python, ob type(cls) __instancecheck__(self, instance) definiert. Wenn vorhanden, bestimmt diese Metaklassenmethode die Mitgliedschaft, die "virtuelles Unterklassen" ohne Vererbung ermöglicht. Die Gefahr entsteht, wenn die Implementierung hasattr() oder den Zugriff auf Attribute auf obj verwendet; wenn obj __getattr__ oder Deskriptoren implementiert, die isinstance()-Überprüfungen auslösen, tritt die Metaklassenmethode erneut ein und verursacht eine unbegrenzte Rekursion.
Wir haben ein Validierungsframework entworfen, bei dem Plugins Schnittstellen erfüllen mussten, ohne explizite Vererbung. Wir definierten ein Processor ABC und wollten, dass isinstance(plugin, Processor) erfolgreich ist, wenn plugin eine process-Methode bereitstellt, die Duck-Typing für externe Bibliotheken unterstützt.
Der erste Ansatz erforderte, dass alle Plugins von Processor erben oder Processor.register() aufrufen mussten. Dies war typensicher, aber für unseren Anwendungsfall unpraktisch; es verbot zur Laufzeit generierte Klassen und erforderte Änderungen an drittanbieter Code, den wir nicht ändern konnten. Folglich unterstützte es nicht die dynamische Pluginentdeckung aus unsicheren Quellen.
Der zweite Ansatz implementierte __instancecheck__ auf der Processor-Metaklasse unter Verwendung von hasattr(candidate, 'process'). Während flexibel, führte dies zu einem RecursionError, wenn ein Plugin einen Property-Dekorator verwendete, der seinen Rückgabewert über isinstance validierte und die Metaklassenmethode erneut aufrief, bevor der erste Aufruf zurückgegeben wurde.
Wir nahmen eine dritte Lösung an: die Implementierung von __instancecheck__ unter Verwendung von object.__getattribute__, um die Deskriptorlogik zu umgehen. Durch die Überprüfung von type(candidate).__dict__.get('process') und der Verifizierung, dass es aufrufbar ist, vermieden wir das Auslösen von benutzerdefinierten __getattr__ oder Nebeneffekten von Eigenschaften. Dadurch beseitigten wir das Rekrisionsrisiko bei gleichzeitiger Erhaltung des dynamischen Duck-Typings, was dem Framework ermöglichte, Tausende von heterogenen Plugins ohne Quellcodeänderungen sicher zu integrieren.
class MetaProcessor(type): def __instancecheck__(cls, candidate): # Sicher: umgeht __getattr__ und Deskriptoren try: attr = type(candidate).__dict__.get('process') return callable(attr) except Exception: return False class Processor(metaclass=MetaProcessor): pass
Warum konsultiert isinstance() die Metaklasse des zweiten Arguments und nicht des ersten?
Das Protokoll weist der überprüften Typen (cls) die Autorität zu, nicht dem Kandidatenobjekt (obj). Indem __instancecheck__ auf type(cls) platziert wird, stellt Python sicher, dass nur die Klassendefinition die Mitgliedschaftssemantik steuert. Dies verhindert, dass Objekte Instanzüberprüfungen fälschen; der Typ definiert einseitig, was seine Instanz ausmacht, und erhält die Integrität in sicherheitsrelevante Typprüfungen.
Wie steht das Verhältnis zwischen __instancecheck__ und __subclasscheck__, und warum müssen sie konsistent bleiben?
__instancecheck__ validiert Objekte für isinstance(), während __subclasscheck__ Typen für issubclass() validiert. Wenn __instancecheck__ virtuelle Instanzen akzeptiert (Objekte, die nicht von der Klasse erben), muss __subclasscheck__ typischerweise die entsprechenden virtuellen Unterklassen akzeptieren, um die Invarianz zu bewahren, dass isinstance(obj, cls) issubclass(type(obj), cls) impliziert. Dies zu verletzen, führt dazu, dass generischer Containercode fehlschlägt, wenn er nach instanzprüfungen Unterklassenbeziehungen überprüft.
Wie führt die Verwendung von getattr() innerhalb von __instancecheck__ insbesondere zu unbegrenzter Rekursion im Vergleich zu object.__getattribute__?
getattr(obj, 'name') ruft das vollständige Deskriptorprotokoll auf und kann obj.__getattr__('name') aufrufen, wenn das Attribut fehlt. Wenn obj.__getattr__ Lazy-Loading, Protokollierung oder Typumwandlung implementiert, die intern isinstance(obj, OurClass) aufruft, tritt die Metaklassen-__instancecheck__-Methode erneut ein, bevor der erste Aufruf zurückgegeben wird. Im Gegensatz dazu umgeht object.__getattribute__(obj, 'name') (oder die Überprüfung von type(obj).__dict__) __getattr__ und benutzerdefinierte Deskriptoren vollständig und greift auf die Rohimplementierungsdetails zu, ohne Benutzer-Code auszulösen, der rekursiv sein könnte.