如何在Python中通过Pylance实现可被字面量覆盖的类型安全抽象属性？

问题核心在于：父类通过@property+@abstractmethod定义的是实例级属性访问器，类型为property；而子类直接赋值的title = "Test"是类级字符串字面量，类型为Literal['Test']，两者类型不匹配导致Pylance报错。

以下提供两种可行解决方案：

方案1：子类实现对应的@property getter #

保持父类的实例属性抽象定义，子类通过@property实现getter方法返回字面量，完全匹配类型要求：

from abc import ABC, abstractmethod

class Abstract(ABC):
    @property
    @abstractmethod
    def title(self) -> str:
        ...

class Concrete(Abstract):
    @property
    def title(self) -> str:
        return "Test"

这种方式严格遵循抽象类的实例属性契约，类型检查器不会报错，同时保留了@property的扩展性（后续可添加逻辑）。

方案2：将抽象属性定义为类属性 #

若需求是让title作为类属性存在，可通过__abstract_attributes__标记必须实现的类属性，并添加类型注解，子类直接赋值字面量即可通过检查：

from abc import ABC

class Abstract(ABC):
    __abstract_attributes__ = {'title'}
    title: str

class Concrete(Abstract):
    title = "Test"

__abstract_attributes__是ABC元类的特殊属性，用于标记子类必须实现的类属性；类型注解title: str告知Pylance该属性类型为str，而Literal['Test']是str的子类型，因此不会触发类型不兼容报错。

注意：这种方式下title是类属性，需通过Concrete.title或self.__class__.title访问。

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