5

後続の各サブクラスでオーバーライドする関数を持つ抽象基本クラスを検討してください。abc モジュールと ABCMeta を使用します。デコレーターによって指定されたタイプの関数を作成するために実装するサブクラス/開発者を使用して装飾する@abstractpropertyか、@abstractmethod実際に強制しますか? 私の実験から、メソッドで抽象プロパティをオーバーライドし、サブクラスのプロパティで抽象メソッドをオーバーライドできます。

この考えは間違っていますか？

4

1 に答える 1

6

その考えは正しいです。コードは aと a をABCMeta区別しません。abstractpropertyabstractmethod

これらのデコレーターは両方とも、装飾されたアイテム に属性を追加します.__isabstractmethod__。これは、定義した ABC に属性 (a )ABCMetaを追加するために使用します。この型は、リストされている名前のいずれにも具体的な実装がないクラスのインスタンスを作成しないように保護します。そこでは、関数とプロパティのチェックは行われません。.__abstractmethods__frozensetobject.__abstractmethods__

説明する：

>>> from abc import *
>>> class C:
...     __metaclass__ = ABCMeta
...     @abstractmethod
...     def abstract_method(self): pass
...     @abstractproperty
...     def abstract_property(self): return 'foo'
... 
>>> C.__abstractmethods__
frozenset(['abstract_method', 'abstract_property'])

サブクラスでこれらの新しいオーバーライドを作成することにより、ABCMetaクラスは属性を持つメソッドまたはプロパティをより少なく見つけ. __isabstractmethod__、結果として得られる__abstractmethods__セットをより小さくします。セットが空になると、そのようなサブクラスのインスタンスを作成できます。

これらのチェックはABCMeta.__new__コンストラクターで行われ、記述子の型と一致するチェックは行われません。

cls = super(ABCMeta, mcls).__new__(mcls, name, bases, namespace)
# Compute set of abstract method names
abstracts = set(name
             for name, value in namespace.items()
             if getattr(value, "__isabstractmethod__", False))
for base in bases:
    for name in getattr(base, "__abstractmethods__", set()):
        value = getattr(cls, name, None)
        if getattr(value, "__isabstractmethod__", False):
            abstracts.add(name)
cls.__abstractmethods__ = frozenset(abstracts)

ABCMetaメソッドをオーバーライドするサブクラスを作成__new__し、基本クラスで名前が付けられた抽象メソッドまたはプロパティが、代わりに非抽象メソッドまたはプロパティと実際に一致することを確認する必要がありますcls。

于 2013-01-21T15:17:40.293 に答える