Python中typing模块TypeGuard

typing.TypeGuard 是 Python 中一个类型检查器,用于在运行时检查变量或函数参数是否符合预期的类型.这可以帮助检测类型错误并提高程序的可读性.

你可以使用 TypeGuard 类来实现自己的类型检查器.例如，我们可以定义一个检查参数是否为正整数的检查器:

from typing import TypeGuard

def is_positive_int(x: int) -> bool:
    return isinstance(x, int) and x > 0

PositiveInt = TypeGuard(is_positive_int)