在参数化泛型中，isinstance和issubclass中的mypy差异从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检查将如何引发TypeError ：

使用isinstance()或issubclass()几乎可以引发TypeError 。 有例外：[...]

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

isinstance(list, typing.List[int])

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

Answer 2

如果你想在python中拥有更好的类型安全性，你的选择有些限制。 我使用的一种技术是子类列表或字典而不覆盖任何属性，方法等。

class ListInts(list):
    pass

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