Python如何实现函数参数的类型检查_利用typing模块与装饰器校验-Python教程-PHP中文网

typechecked装饰器不能只靠get_type_hints，因其仅提取注解而无法执行实际类型校验；必须结合get_origin、get_args递归解析泛型与联合类型，并用isinstance逐层验证值是否满足约束。

python如何实现函数参数的类型检查_利用typing模块与装饰器校验

Python 运行时不强制检查函数参数类型，但开发中常需要提前发现类型错误——typing 本身不执行检查，必须配合运行时校验机制（如装饰器）才能真正生效。

为什么 `type_check` 装饰器不能只靠 `get_type_hints` 就完事

get_type_hints 只能提取注解，无法处理：可选参数（Optional[T]）、联合类型（Union[int, str] 或 int | str）、泛型（List[str]）、以及 Any / Never 等特殊类型。更关键的是，它不检查实际传入值是否满足类型约束。

必须用 isinstance 做基础判断，但 isinstance(val, list) 无法区分 List[str] 和普通 list
typing.get_origin 和 typing.get_args 才能拆解泛型结构，比如从 List[str] 中拿到 list 和 (str,)
Union 类型需逐个尝试 isinstance，且要小心 None 在 Optional[T] 中的特殊处理

如何写一个轻量但可用的 `@typechecked` 装饰器

核心是拦截调用、读取参数注解、对每个实参做类型验证。不依赖第三方库，仅用标准库 typing 和 inspect。

from typing import get_type_hints, get_origin, get_args, Union, Optional
import inspect
<p>def typechecked(func):
sig = inspect.signature(func)
type_hints = get_type_hints(func)</p><pre class="brush:php;toolbar:false;">def wrapper(*args, **kwargs):
    # 绑定参数，获得实际传入值与形参名的映射
    bound = sig.bind(*args, **kwargs)
    bound.apply_defaults()

    for name, value in bound.arguments.items():
        if name not in type_hints:
            continue
        expected_type = type_hints[name]

        if not _is_instance(value, expected_type):
            raise TypeError(
                f"Argument '{name}' of {func.__name__} expects {expected_type}, got {type(value).__name__}"
            )
    return func(*args, **kwargs)
return wrapper

def _is_instance(val, typ): origin = get_origin(typ) args = get_args(typ)

if origin is Union:
    return any(_is_instance(val, arg) for arg in args)
if origin is Optional:
    return val is None or _is_instance(val, args[0])
if origin in (list, dict, tuple, set):
    if not isinstance(val, origin):
        return False
    if not args:
        return True
    # 简单泛型校验：只检查第一层元素类型（如 list[str]）
    elem_type = args[0]
    if origin is list:
        return all(_is_instance(x, elem_type) for x in val)
    # 其他容器类型可依此类推，此处略
return isinstance(val, typ)