继承IntEnum时PyLance报错：Literal[...]与property类型不兼容

报错原因 #

Python的IntEnum成员是不可变单例实例，其value属性为只读，无法通过赋值修改。你在string setter中尝试修改self.value，违反了枚举的设计原则，因此PyLance在严格模式下触发类型错误。另外原代码还缺失LOW_STRING和HIGH_STRING的常量定义，会导致运行时错误。

解决方案 #

由于枚举实例不可变，推荐通过返回新枚举实例的方式实现字符串转枚举的逻辑，而非修改现有实例：

修改后的代码 #

from enum import IntEnum

class Position(IntEnum):
    LOW = 0
    HIGH = 1
    LOW_STRING = "low"
    HIGH_STRING = "high"

    @property
    def string(self) -> str | None:
        """返回对应的字符串表示"""
        if self is Position.LOW:
            return self.LOW_STRING
        if self is Position.HIGH:
            return self.HIGH_STRING
        return None

    @classmethod
    def from_string(cls, abc: str) -> "Position":
        """从字符串获取对应的枚举实例"""
        if abc == cls.LOW_STRING:
            return cls.LOW
        elif abc == cls.HIGH_STRING:
            return cls.HIGH
        raise ValueError(f"无效的字符串: {abc}")

代码说明 #

1. 补上了缺失的LOW_STRING和HIGH_STRING常量，避免运行时找不到变量的错误。
2. 将字符串转枚举的逻辑改为类方法from_string，符合枚举不可变的特性，调用时直接获取新的枚举实例（如Position.from_string("low")）。
3. string属性的判断改为直接比较枚举实例，比比较value更严谨，也符合枚举的使用习惯。

不推荐的方案（仅作参考） #

如果一定要保留类似setter的写法，只能放弃IntEnum，改用普通类实现，但会失去枚举的单例、类型安全等特性：

class Position:
    LOW = 0
    HIGH = 1
    LOW_STRING = "low"
    HIGH_STRING = "high"

    def __init__(self, value: int):
        self.value = value

    @property
    def string(self) -> str | None:
        if self.value == self.LOW:
            return self.LOW_STRING
        if self.value == self.HIGH:
            return self.HIGH_STRING
        return None

    @string.setter
    def string(self, abc: str):
        if abc == self.LOW_STRING:
            self.value = self.LOW
        elif abc == self.HIGH_STRING:
            self.value = self.HIGH

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