python - Python >=3.5：在运行时检查类型注释

Question

模块（或任何其他模块）是否typing展示了在运行时对变量进行类型检查的 API，类似于isinstance()但理解中定义的类型类typing？

我想运行类似于：

from typing import List
assert isinstance([1, 'bob'], List[int]), 'Wrong type'

Answer 1

我正在寻找类似的东西并找到了 library typeguard。这可以在您想要的任何地方自动进行运行时类型检查。也支持直接在问题中检查类型。从文档中，

from typeguard import check_type

# Raises TypeError if there's a problem
check_type('variablename', [1234], List[int])

Answer 2

模块中没有这样的功能typing，而且很可能永远不会有。

检查一个对象是否是一个类的实例——这只意味着“这个对象是由类的构造函数创建的”——是测试一些标记的简单问题。

然而，检查一个对象是否是一个类型的“实例”并不一定是可判定的：

assert isinstance(foo, Callable[[int], str]), 'Wrong type'

虽然很容易检查foo（假设它不是 a lambda）的类型注释，但根据赖斯定理，检查它是否符合它们通常是不可判定的。

即使使用更简单的类型，例如List[int]测试也很容易变得效率太低而无法用于除了最小的玩具示例之外的任何东西。

xs = set(range(10000))
xs.add("a")
xs.pop()
assert isinstance(xs, Set[int]), 'Wrong type'

---

允许类型检查器以相对有效的方式执行此操作的技巧是保守的：类型检查器试图证明foo总是返回int。如果失败，它拒绝程序，即使程序可能是有效的，即这个函数很可能被拒绝，尽管它是完全安全的：

def foo() -> int:
    if "a".startswith("a"):
        return 1
    return "x"

Answer 3

这是我最近发现的，基本上这个装饰器会在运行时进行类型检查，如果某些类型定义不匹配，则会引发异常。它还可以对嵌套类型（字符串的字典等）进行类型检查

https://github.com/FelixTheC/strongtyping

例子：

from strongtyping.strong_typing import match_typing

@match_typing
def func_a(a: str, b: int, c: list):
   ...

func_a('1', 2, [i for i in range(5)])
# >>> True

func_a(1, 2, [i for i in range(5)])
# >>> will raise a TypeMismatch Exception