python - 如何在 Python 的抽象基类中合并类型检查

Question

当我定义一个类时，我喜欢包括输入变量的类型检查(使用 assert)。我现在正在定义一个“专用”类 Rule，它继承自抽象基类 (ABC) BaseRule，类似于以下内容:

import abc

class BaseRule(object):
    __metaclass__ = abc.ABCMeta

    @abc.abstractproperty
    def resources(self):
        pass


class Rule(BaseRule):
    def __init__(self, resources):
        assert all(isinstance(resource, Resource) for resource in resources)    # type checking
        self._resources = resources

    @property
    def resources(self):
        return self._resources


class Resource(object):
    def __init__(self, domain):
        self.domain = domain


if __name__ == "__main__":
    resources = [Resource("facebook.com")]
    rule = Rule(resources)

Rule 类的__init__ 函数中的assert 语句确保resources 输入是一个列表(或其他可迭代的)Resource 对象。但是，对于从 BaseRule 继承的其他类也是如此，因此我想以某种方式将此断言合并到 abstractproperty 中。我该怎么做？

Answer 1

请参阅有关使用 mypy-lang 的 abc 类型注释的文档 https://mypy.readthedocs.io/en/latest/class_basics.html#abstract-base-classes-and-multiple-inheritance