Python：抽象实例变量？

问题描述

有没有办法在python中为类声明抽象实例变量？

例如，我们有一个抽象基类Bird，其中抽象方法fly使用abc包实现，抽象实例变量feathers(我正在寻找的)实现为属性。

from abc import ABCMeta, abstractmethod

class Bird(metaclass=ABCMeta):

    @property
    @abstractmethod
    def feathers(self):
        """The bird's feathers."""

    @abstractmethod
    def fly(self):
        """Take flight."""

问题是，从Bird派生的类Eagle需要将feathers实现为属性方法。因此，以下类不是可接受的，但我希望它是

class Eagle(Bird):

    def __init__(self):
        self.feathers = 'quill'

    def fly(self):
        print('boy are my arms tired')

可能有问题，因为要求在实例本身上，并且在它实例化之后，所以我不知道像abc包这样的东西是否还能工作。

是否有处理此问题的标准方法？

---

解决方案

abc系统不包括声明抽象实例变量的方法。确定类是具体的还是抽象的代码必须在任何实例存在之前运行；它可以非常容易地检查类的方法和属性，但它无法判断实例是否将具有任何特定的实例属性。

最接近的可能是变量注释：

class Bird(metaclass=ABCMeta):
    feathers : str
    ...

abc不会对该注释做任何事情，但它至少向读者和静态类型检查器表明，Bird的实例应该有一个feathers实例变量。(我不知道静态类型检查器是否会理解此实例变量应该来自子类。)