Erzwingen ABCs method decorators?

Question

Ich versuche herauszufinden, wie sichergestellt werden kann, dass eine Methode einer Klasse, die von einem ABC erbt, mit dem entsprechenden Decorator erstellt wird. Ich verstehe (hoffentlich), wie ABCs im Allgemeinen funktionieren.

from abc import ABCMeta, abstractmethod 

class MyABC(metaclass=ABCMeta): 
    @abstractmethod 
    def my_abstract_method(self): 
     pass 

class MyClass(MyABC): 
    pass 

MyClass() 

Das gibt "Typeerror: nicht abstrakte Klasse MyClass mit abstrakten Methoden my_abstract_method instanziiert Can". Großartig, macht Sinn. Erstellen Sie einfach eine Methode mit diesem Namen.

class MyClass(MyABC): 
    def my_abstract_method(self): 
     pass 

MyClass() 

Boom. Sie sind fertig. Aber was ist mit diesem Fall?

Der MyClass() -Aufruf funktioniert, obwohl my_attribute keine Eigenschaft ist. Ich denke, am Ende stellen alle ABCs sicher, dass eine Methode mit einem bestimmten Namen existiert. Das ist es. Wenn Sie mehr davon möchten, müssen Sie sich den Quellcode von MyABC ansehen und die Dokumentation lesen. Die Dekoratoren und Kommentare dort werden Sie darüber informieren, wie Sie Ihre Unterklasse konstruieren müssen.

Habe ich es richtig oder fehle ich hier etwas?

Answer 1

Sie haben Recht, dass ABCs das nicht erzwingen. Es gibt keine Möglichkeit, etwas wie "hat einen bestimmten Dekorateur" durchzusetzen. Dekoratoren sind nur Funktionen, die Objekte zurückgeben (z. B. property gibt ein Eigenschaftsobjekt zurück). ABCMeta tut nichts, um sicherzustellen, dass die definierten Attribute in der Klasse etwas Bestimmtes sind; es stellt nur sicher, dass sie da sind. Dieses „Werk“ ohne Fehler:

class MyABC(metaclass=ABCMeta): 
    @abstractmethod 
    def my_abstract_method(self): 
     pass 

class MyClass(MyABC): 
    my_abstract_method = 2 

MyClass() 

Das heißt, ABCMeta nicht einmal sicher, dass die abstrakte Methode, wie auf der Unterklasse vorgesehen überhaupt ein Verfahren ist. Es muss nur ein Attribut irgendeiner Art mit diesem Namen sein,

Sie könnten sicherlich Ihre eigene Metaklasse schreiben, die ausgeklügelter prüft, um sicherzustellen, dass bestimmte Attribute bestimmte Arten von Werten haben, aber das ist außerhalb des Bereichs von ABCMeta.