嵌套Sequence类型检查的困惑：mypy类型推断是否存在bug？

这不是mypy的bug，而是它的类型推断系统在不同场景下的保守且符合预期的行为。我们一步步拆解你的问题：

为什么append场景会报错？ #

当你执行x = []时，mypy最初会推断x的类型为list[Any]。当你调用x.append(...)后，mypy会尽可能推断最精确的类型——它看到你添加的字典值类型是OrderedSet[AOIdx]，所以会把x的类型窄化为list[dict[MotifIdx, OrderedSet[AOIdx]]]。

问题核心在类型兼容性规则：mypy中字典的值类型是不变的（invariant）。也就是说，dict[MotifIdx, OrderedSet[AOIdx]]不能直接赋值给dict[MotifIdx, Sequence[AOIdx]]，哪怕OrderedSet是Sequence的子类。这是因为Python的字典是可变的——如果允许这种赋值，后续你可能给字典的键赋值一个普通Sequence（比如list），而原来的代码可能依赖OrderedSet的特性，从而破坏类型安全。

当你把x赋值给y（类型为Sequence[dict[MotifIdx, Sequence[AOIdx]]]）时，mypy会检查每个嵌套层级的兼容性：外层的list是Sequence的子类没问题，但内层的字典类型不兼容，因此抛出错误。

为什么显式标注x的类型能解决问题？ #

当你显式声明x: list[dict[MotifIdx, Sequence[AOIdx]]] = []时，你给mypy明确了预期：这个列表中的字典值可以是任何Sequence[AOIdx]的子类。此时你appendOrderedSet实例的操作是合法的——因为OrderedSet是Sequence的子类，完全符合你标注的类型约束。

此时x的类型是list[dict[MotifIdx, Sequence[AOIdx]]]，和y的类型完全兼容，因此赋值时不会报错。

为什么直接初始化x能解决问题？ #

当你直接用x = [{MotifIdx(1): OrderedSet([AOIdx(1), AOIdx(2)])}]初始化时，mypy会触发上下文类型推断（contextual typing）：它看到你后续要把x赋值给类型为Sequence[dict[MotifIdx, Sequence[AOIdx]]]的y，因此会自动调整x的推断类型——从最精确的list[dict[MotifIdx, OrderedSet[AOIdx]]]放宽为符合上下文的list[dict[MotifIdx, Sequence[AOIdx]]]，从而和y的类型完美匹配。

总结 #

这完全是mypy类型推断的预期行为：

• 无标注的append场景：mypy优先推断最精确的类型，导致后续赋值时内层字典类型不兼容
• 显式标注：你主动约束了类型，让mypy接受更泛的类型范围
• 直接初始化：mypy利用上下文信息自动调整推断类型，匹配目标变量的类型

如果你想在append场景下不写显式标注，也可以用类型转换临时解决（但显式标注更推荐）：

from typing import cast
y = cast(Sequence[dict[MotifIdx, Sequence[AOIdx]]], x)

备注：内容来源于stack exchange，提问作者mcocdawc