python - mypy 在参数化泛型中 isinstance 和 issubclass 从 python 3.5 到 3.6 的差异

Question

在我从 python 3.5 升级到 python 3.6 之前，这有效：

import typing
issubclass(list, typing.List[int])  # returns True
isinstance([1, 2 ,3], typing.List[int]) # returns True

现在在 python 3.6 中，这两个都引发了以下异常：

TypeError: Parameterized generics cannot be used with class or instance checks

这是新的预期行为还是错误？如果打算如何执行上面的代码在 python 3.6 中执行的检查？

Answer 1

这是故意的，您不应该将类与 中定义的类型混合typing，至少，这是我所理解的要点。对此进行了大量讨论的问题#136 Kill __subclasscheck__也包含在引入此更改的问题中。提交消息还引用了isinstance/subclass检查将如何引发s TypeError：

几乎所有事情都使用isinstance()或issubclass()加注TypeError。有例外：[...]

您可以在不指定泛型类型的包含类型的情况下进行比较，即：

isinstance(list, typing.List[int])

但这是你能做的最好的事情。

Answer 2

如果您想在 python 中获得更好的类型安全性，您的选择会受到一定限制。我采用的一种技术是在不覆盖任何属性、方法等的情况下对list或dict进行子类化。

class ListInts(list):
    pass

new_obj = ListInts()
new_obj += [1, 2, 3, 4, 5, 6]
print(isinstance(new_obj, ListInts)