为何Mypy在带约束泛型场景下使用列表解构时无法推断类型

这个报错是Mypy在带约束泛型的作用域下，处理列表解包构造语法时的已知边界问题，具体原因如下：

• 你提供的代码本身逻辑没有问题，报错完全是Mypy的类型推断逻辑缺陷导致的。如果把这段代码放到没有使用带约束TypeVar的普通函数里，不会触发任何报错。
• 问题触发的核心是：当函数作用域内存在带边界的TypeVar（你定义的T约束为int或str）时，Mypy处理[*a]这类解包构造新列表的语法时，类型推断逻辑会错误地优先从当前泛型上下文里匹配类型，而没有读取本地变量a已经确定的类型信息：
  • a被显式赋值为[1,2,3]，正常场景下Mypy可以直接推断出a的类型是list[int]
  • 写[a]时，是直接将a作为元素放入新列表，Mypy直接读取a的已知类型即可完成推导，因此校验正常
  • 写print(*a)时，Mypy处理函数参数解包的逻辑走单独分支，也能正确识别a的类型
  • 唯独[*a]的列表解包构造逻辑在泛型作用域下存在优先级bug，Mypy没有优先读a的确定类型，反而尝试从泛型T的上下文里推导元素类型，找不到对应绑定就抛出了“无法确定a的类型”的错误
• 该问题属于Mypy的未修复已知bug，同类问题也会出现在泛型作用域下的字典{**d}解包构造场景中。

临时解决方案 #

你可以通过两种方式规避这个问题：

• 给本地变量加显式类型标注：a: list[int] = [1,2,3]，显式标注后Mypy就能正确识别类型
• 用list()构造方法代替解包构造：将[*a]替换为list(a)，也可以避开这个推断缺陷

内容的提问来源于stack exchange，提问作者Robin Gugel