为什么 mypy 推断公共基类型而不是所有包含类型的并集？

Question

当迭代异构序列时（例如，包含T1 和T2 类型的元素），mypy 推断目标变量的类型为object（或T1 和T2 之间共享的另一个基本类型, 例如float 如果元素是1 和1.2)：

xs = [1, "1"]
for x in xs:
    reveal_type(x)  # note: Revealed type is 'builtins.object*'

推断类型为Union[T1, T2] 不是更有意义吗？然后，如果T1 和T2 都具有公共基类所缺少的一些公共属性，则允许循环体访问该属性，而不会刺激强制转换或 isinstance 断言。

为什么 mypy 在这里推断单个共享基类型而不是 Union？

Answer 1

选择列表元素的公共基类（选择连接）而不是元素的联合是 mypy 做出的深思熟虑的设计选择。

简而言之，问题在于，无论您选择两种解决方案中的哪一种，最终都会遇到对某人造成不便的极端情况。例如，在您想要修改或添加到列表而不是仅仅读取它的情况下，推断联合将是不方便的：

class Parent: pass
class Child1(Parent): pass
class Child2(Parent): pass
class Child3(Parent): pass

# If foo is inferred to be type List[Union[Child1, Child2]] instead of List[Parent]
foo = [Child1(), Child2()]

# ...then this will fail with a type error, which is annoying.
foo.append(Child3())

mypy 可能会尝试应用一些聪明的启发式方法来确定它是否应该推断出联接或联合，但这可能最终会导致最终用户相当混乱且难以预测。

这也是一个在实践中很容易解决的问题——例如，您可以向变量添加显式注释：

from typing import Union, Sized, List

# If you want the union
xs: List[Union[int, str]] = [1, "1"]

# If you want any object with the `__len__` method
ys: List[Sized] = [1, "1"]

因此，鉴于这两个因素，实施一些奇特的启发式或完全切换到推断联合（并破坏大量现有代码）似乎并不值得。