本文介绍如何通过 `intenum` 和 `strenum` 替代 `@dataclass(frozen=true)` 定义常量，解决类型提示中动态引用常量值导致的 `variable not allowed in type expression` 错误，并实现自动同步、类型安全、可维护的函数签名。

在 Python 类型系统中，Literal[...] 仅接受编译期确定的字面量（如 200, "kg"），不支持运行时变量引用（如 CONSTANTS.STATUS_SUCCESS）。这是因为类型检查器（如 Pyright/Pylance）需在静态分析阶段解析类型表达式，而 dataclass 字段本质上是可变对象属性——即使设为 frozen=True，其字段值仍可能被绕过保护（例如通过 object.__setattr__ 或 __dict__ 修改），违反类型系统的“不可变假设”。

因此，直接在 Literal 中引用 dataclass 实例属性会导致类型错误，且存在设计缺陷：dataclass 本质用于建模数据容器（如 User(name="Alice", age=30)），而非定义有限、不可变、语义明确的枚举集合。

? 正确解法：使用 Enum 子类（IntEnum / StrEnum）

Enum 是 Python 官方推荐的常量建模方式，具备以下关键优势：

• ? 编译期固定成员，类型检查器可安全推导 Literal 等价类型；
• ? 自动提供 .value（原始值）和 .name（标识符名），支持类型注解与运行时使用统一；
• ? 支持 isinstance() 检查、序列化友好、IDE 友好补全；

? 与 typing.Literal、typing.Union、match 语句天然兼容。

? 进阶技巧：自动生成 Literal 类型（如需显式 Literal 注解）

若某些场景需显式 Literal（如泛型约束或复杂联合类型），可通过 typing.get_args() + typing.Literal 动态构造（注意：仅适用于类型检查器支持的静态场景）：

?? 注意事项：

避免混用 dataclass 和常量定义：dataclass 适合结构化数据实例（如配置对象），Enum 适合离散、命名的常量集；

不要尝试用 @dataclass(frozen=True) 模拟 Enum：无法获得类型系统原生支持，且易引发 RuntimeError 或静默失效；

迁移建议：将原有 CONSTANTS 拆分为多个语义清晰的 Enum 类（如 STATUS, UNIT, HTTP_METHOD），提升可读性与可维护性；

IDE 支持：主流编辑器（VS Code + Pylance、PyCharm）对 Enum 成员有完整补全与跳转支持。

总结：用 IntEnum/StrEnum 替代 frozen dataclass 定义常量，不仅消除类型错误，更使代码符合 Python 类型哲学——让类型系统真正理解你的意图，而非依赖脆弱的字符串/数字硬编码。