python - 使用 typing 模块时如何检查类型兼容性？

Question

我正在使用 Python PEP484 类型提示为我用 Python 编写的 DSL 编写类型检查器。如果我有一个函数，其参数之一需要 T 类型，并且使用 S 类型的表达式调用它，我如何检查调用是否有效？使用 issubclass(S, T) 就够了吗？如果是这样，为什么 mypy 有这么复杂的 is_subtype 检查？或者我应该只使用 mypy 版本？

编辑:这里有一个例子来阐明我的意思。 DSL 的函数定义为:

T = TypeVar('T', float, str)
def op_add(operand1: T, operand2: T) -> T:
    "Number addition or string concatenation."
    # In this DSL, `+` cannot be used with lists
    return operand1 + operand2  # Rely on Python overloading of `+`

然后用户输入一个表达式，该表达式被解析为语法树，分支可能是:node = OperatorNode('+', Literal([5.0]), Variable("abc")) 。我们还不知道 abc 变量的值，但是列表永远不能与 + 一起使用，所以我想引发一个 TypeError提醒用户。

如果我执行 issubclass(typing.List[float], var)，这会给出 False，因此我可以立即引发错误。我的问题是，在我构建 DSL 时，是否可以保证此检查适用于各种情况，或者我是否需要使用更复杂的检查，如 mypy

Answer 1

issubclass 如果 issubclass 的参数都不包含来自 typing 模块的构造，例如 Union，Callable、Any、泛型等

typing 构造作为其真实形式的影子存在于 python 运行时中，即它们不支持许多在概念上有意义的操作:

issubclass(List[int], List[int])  # runtimem error
issubclass(List[int], List) # True (as expected)
issubclass(str, Union[str]) # runtime error
issubclass(Union[str], str) # True (as expected)
issubclass(Union[int, str], str) # runtime error

有时 issubclass 将与 typing 结构一起使用，但一般来说，它可能会引发异常或给出不正确的答案；您需要根据具体情况弄清楚该怎么做。

mypy 有一个更复杂的 is_subtype 因为它确实需要处理所有的 typing 结构，即便如此仍然有一些工作要做在那里完成。