如何强制Python抽象基类中抽象属性的类型？

针对你的需求，我们可以通过两种常见方式在抽象基类中强制子类属性的类型，以示例中要求的list类型为例：

方法一：在属性访问时验证类型 #

这种方式会在实例化子类或访问目标属性时触发类型检查，适合需要动态验证的场景：

from abc import ABC, abstractmethod

class A(ABC):
    @property
    def my_abstract_property(self):
        # 获取子类的类属性值
        prop_value = self.__class__.my_abstract_property
        # 验证类型是否为list
        if not isinstance(prop_value, list):
            raise TypeError("my_abstract_property 必须是 list 类型")
        return prop_value

# 符合要求的子类
class B(A):
    my_abstract_property = ["a", "b", "c"]

# 不符合要求的子类（实例化时会报错）
class C(A):
    my_abstract_property = "这不是列表"

if __name__ == "__main__":
    b = B()
    print(b.my_abstract_property)  # 输出: ['a', 'b', 'c']
    # c = C()  # 取消注释会触发 TypeError

方法二：在子类定义阶段提前验证类型 #

使用__init_subclass__钩子，可以在子类被定义时就完成类型检查，更早发现错误，避免等到实例化才暴露问题：

from abc import ABC, abstractmethod

class A(ABC):
    def __init_subclass__(cls):
        super().__init_subclass__()
        # 先检查子类是否定义了目标属性
        if not hasattr(cls, "my_abstract_property"):
            raise NotImplementedError("子类必须定义 my_abstract_property 属性")
        # 验证属性类型
        if not isinstance(cls.my_abstract_property, list):
            raise TypeError(f"my_abstract_property 必须是 list 类型，当前为 {type(cls.my_abstract_property).__name__}")

# 符合要求的子类
class B(A):
    my_abstract_property = ["a", "b", "c"]

# 不符合要求的子类（定义时直接报错）
# class C(A):
#     my_abstract_property = 123

if __name__ == "__main__":
    b = B()
    print(b.my_abstract_property)

适配子类用@property实现属性的场景 #

如果子类不是用类属性，而是通过@property实现抽象属性，可通过抽象方法+包装检查的方式实现：

from abc import ABC, abstractmethod

class A(ABC):
    @property
    def my_abstract_property(self):
        value = self._get_my_prop()
        if not isinstance(value, list):
            raise TypeError("my_abstract_property 必须是 list 类型")
        return value

    @abstractmethod
    def _get_my_prop(self):
        pass

class B(A):
    def _get_my_prop(self):
        return ["x", "y", "z"]

class C(A):
    def _get_my_prop(self):
        return "非法类型"

if __name__ == "__main__":
    b = B()
    print(b.my_abstract_property)  # 输出: ['x', 'y', 'z']
    # c = C()
    # print(c.my_abstract_property)  # 取消注释触发 TypeError

总结 #

针对你示例中用类属性实现抽象属性的场景，使用__init_subclass__的方式最为高效，能在子类定义阶段就拦截不符合类型要求的情况，避免后续运行时出错。

内容的提问来源于stack exchange，提问作者glpsx