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)

我们可以使用PositiveInt类型去修饰函数或方法的参数，这样就可以在运行时检查函数或方法的参数是否是正整数

def some_func(a: PositiveInt, b: PositiveInt) -> None:
    pass

注意：TypeGuard 是在运行时检查类型的，所以它不能在编译时检测出类型错误.