如何在Python抽象基类中合理使用子类属性self.sound？

我定义了Duck和Goose两个类，二者存在较多共性，因此创建抽象基类Bird来存放通用方法。两个子类的__init__方法以不同方式初始化self.sound，Bird类的speak方法会使用该属性，但因Bird是抽象类无需编写__init__，导致IDE将self.sound高亮为错误。

我尝试将self.sound声明为@property，但三个类中单个属性的实现代码冗余，若有多个此类属性会更繁琐。请问有没有更简洁自然的方式，无需在Bird中编写“伪”__init__即可在通用方法中使用self.sound？

原始代码示例 #

from abc import ABC

class Bird(ABC):
    def speak(self):
        print(self.sound)

    def fly(self):
        print('flop-flop-flop')


class Duck(Bird):
    def __init__(self, phrase):
        self.sound = phrase

    def dive(self):
        print("pfpfm...")


class Goose(Bird):
    def __init__(self, phrase):
        self.sound = phrase + '!!!'

    def run(self):
        print('stomp stomp stomp')

@property实现示例（冗余版） #

from abc import ABC

class Bird(ABC):
    @property
    def sound(self):
        pass

    def speak(self):
        print(self.sound)

    def fly(self):
        print('flop-flop-flop')


class Duck(Bird):
    def __init__(self, phrase):
        self._sound = phrase

    @property
    def sound(self):
        return self._sound

    def dive(self):
        print("pfpfm...")


class Goose(Bird):
    def __init__(self, phrase):
        self._sound = phrase + '!!!'

    @property
    def sound(self):
        return self._sound

    def run(self):
        print('stomp stomp stomp')

简洁解决方案 #

1. 使用abc.abstractproperty声明抽象属性 #

在抽象基类Bird中用abstractproperty标记sound为必须实现的抽象属性，既符合抽象基类的设计规范，又能让IDE识别该属性会在子类中存在，同时子类无需额外编写@property代码，保持原有__init__的赋值方式即可：

from abc import ABC, abstractproperty

class Bird(ABC):
    @abstractproperty
    def sound(self):
        pass  # 仅作抽象声明，无需具体实现

    def speak(self):
        print(self.sound)

    def fly(self):
        print('flop-flop-flop')


class Duck(Bird):
    def __init__(self, phrase):
        self.sound = phrase  # 直接赋值，无需@property包装

    def dive(self):
        print("pfpfm...")


class Goose(Bird):
    def __init__(self, phrase):
        self.sound = phrase + '!!!'  # 直接赋值

    def run(self):
        print('stomp stomp stomp')

优势：

• 明确告知IDE和开发者，sound是所有子类必须具备的属性
• 子类代码无冗余，保持原有简洁性
• 符合抽象基类设计原则，强制子类实现该属性（子类未定义sound时，实例化会抛出TypeError）

2. 添加类型提示（轻量化消除IDE警告） #

如果不需要强制子类实现属性，仅需消除IDE的语法警告，可以在Bird类中添加类型标注，明确sound属性的类型：

from abc import ABC
from typing import str

class Bird(ABC):
    sound: str  # 仅添加类型提示，无需初始化

    def speak(self):
        print(self.sound)

    def fly(self):
        print('flop-flop-flop')


class Duck(Bird):
    def __init__(self, phrase):
        self.sound = phrase

    def dive(self):
        print("pfpfm...")


class Goose(Bird):
    def __init__(self, phrase):
        self.sound = phrase + '!!!'

    def run(self):
        print('stomp stomp stomp')

这种方法更轻量化，适合不需要严格抽象约束的场景，仅解决IDE高亮问题，不会强制子类实现属性。

3. 利用__init_subclass__做属性检查（可选） #

如果需要在子类定义阶段就检查是否正确初始化sound属性，可以在Bird类中添加__init_subclass__方法，提前发现问题：

from abc import ABC

class Bird(ABC):
    def __init_subclass__(cls):
        # 简单检查子类是否定义了__init__（可根据需求扩展检查逻辑）
        if not hasattr(cls, '__init__'):
            raise TypeError(f"子类{cls.__name__}必须定义__init__并初始化self.sound")

    def speak(self):
        print(self.sound)

    def fly(self):
        print('flop-flop-flop')


class Duck(Bird):
    def __init__(self, phrase):
        self.sound = phrase

    def dive(self):
        print("pfpfm...")


class Goose(Bird):
    def __init__(self, phrase):
        self.sound = phrase + '!!!'

    def run(self):
        print('stomp stomp stomp')

这种方法可以在子类定义时就进行检查，避免运行时才发现缺少属性的问题，但相对前两种方法稍复杂。

内容的提问来源于stack exchange，提问作者True Nerd Of Botva