使用Literal类型提示时，如何仅维护一份有效值列表并实现运行时校验？

你当前的代码中，操作的有效值列表('floor', 'ceil', 'square')同时出现在Literal类型注解和__init__的校验逻辑里，需要两处同步修改，容易出错。以下是两种实用的单源维护方案：

方案一：使用枚举（Enum）统一管理 #

将有效值定义为枚举类型，让静态类型检查和运行时校验都依赖同一个枚举，彻底消除重复：

from enum import Enum
from typing import Literal, cast

# 唯一的有效值维护点
class Operation(Enum):
    FLOOR = "floor"
    CEIL = "ceil"
    SQUARE = "square"

# 基于枚举值动态生成Literal类型，供外部调用时做类型提示
OperationLiteral = Literal[tuple(op.value for op in Operation)]

class Computer:
    def __init__(self, operation: OperationLiteral):
        # 运行时通过枚举构造函数自动校验合法性
        try:
            self._operation = Operation(operation)
        except ValueError as e:
            raise ValueError(f'Invalid operation "{operation}"') from e

    def is_much_larger(self, value: float) -> bool:
        # 直接用枚举成员做判断，避免字符串硬编码出错
        if self._operation is Operation.SQUARE:
            return value > 1
        return False

这个方案的优势：

• 枚举是单一数据源，新增/修改操作只需修改Operation枚举
• 运行时校验无需手动编写成员列表，利用枚举的构造逻辑自动完成
• 业务逻辑中使用枚举成员判断，可读性更强，也避免了字符串拼写错误

方案二：定义常量列表，动态生成Literal类型 #

如果不想引入枚举，也可以通过常量列表+动态生成Literal的方式实现单源维护：

from typing import Literal, Sequence

# 唯一的有效值维护点
VALID_OPERATIONS: Sequence[str] = ("floor", "ceil", "square")
# 基于常量列表动态生成Literal类型
OperationLiteral = Literal[tuple(VALID_OPERATIONS)]

class Computer:
    def __init__(self, operation: OperationLiteral):
        if operation not in VALID_OPERATIONS:
            raise ValueError(f'Invalid operation "{operation}"')
        self._operation = operation

    def is_much_larger(self, value: float) -> bool:
        if self._operation == "square":
            return value > 1
        return False

这个方案更轻量，无需额外依赖枚举类型，所有校验和类型注解都基于VALID_OPERATIONS这个常量列表，修改时只需改动这一处即可。

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