使用typing.Literal限制函数入参为何未触发TypeError报错

Python标准库中typing模块提供的所有类型标注（包括Literal）都属于静态类型提示，仅用于静态类型检查工具（如mypy、Pyright）、IDE语法提示场景，Python解释器本身在运行代码时不会解析或执行这些类型标注的校验逻辑。你看到PEP 0586示例中标注的"Rejected"指的是静态检查阶段会抛出错误，而非运行时触发异常。

方案1：手动校验（无第三方依赖） #

适合参数校验逻辑简单的场景，直接在函数开头增加校验逻辑即可，可配合typing.get_args提取Literal的允许取值，避免重复编码：

from typing import Literal, get_args

# 单取值Literal校验示例
def accepts_only_four(x: Literal[4]) -> None:
    if x != 4:
        raise TypeError(f"参数x仅允许传入4，实际传入{x}")
    pass

# 多取值Literal校验示例
AllowedColor = Literal["red", "green", "blue"]
def set_color(color: AllowedColor) -> None:
    allowed_values = get_args(AllowedColor)
    if color not in allowed_values:
        raise TypeError(f"参数color仅允许传入{allowed_values}，实际传入{color}")
    pass

方案2：第三方校验库自动校验（适合复杂场景） #

如果项目中有大量带类型标注的函数需要运行时校验，不想手动编写每个函数的校验逻辑，可以使用pydantic、typeguard这类支持类型标注解析的校验库，以pydantic为例：

from typing import Literal
from pydantic import validate_call

@validate_call
def accepts_only_four(x: Literal[4]) -> None:
    pass

accepts_only_four(4)   # 正常执行
accepts_only_four(19)  # 运行时自动抛出校验异常

这类库会自动读取函数的类型标注，在函数被调用时自动执行校验逻辑，无需手动编写判断代码。

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