使用mypy检查将整数列表映射为float类型时出现类型不兼容错误的原因

你贴出的两行代码本身完全符合Python类型规范，单独用mypy检查不会触发该报错，报错是额外上下文触发mypy反向类型推断逻辑导致的，核心原因分为两类：

• 后续代码对变量b的使用限定了它必须是字符串迭代器类型。比如你后续调用了str.join(b)、或者遍历b时调用了.upper()/.strip()等仅字符串支持的方法。此时mypy会从使用场景反向推导b的类型必须是Iterable[str]，进而推导map的返回值为字符串迭代器，因此要求map的第一个参数是接收字符串、返回字符串的可调用对象，和实际传入的float类型不匹配，触发报错。
• 你的代码或者依赖的第三方库中，重写了内置的float、map标识符的定义，或者你安装的内置类型存根文件存在错误，导致mypy识别到的float、map的类型和实际内置实现不符。

代码运行正常是因为Python是动态类型语言，静态类型检查的结果不会影响实际运行逻辑。只要你后续没有真的对float转换后的浮点数值执行字符串专属操作，运行时就不会抛出异常，该报错属于静态检查误报。

如果是反向推断导致的误报，你可以给变量添加明确的类型标注来规避：

a: list[int] = [1,2,3]
b: map[float] = map(float, a)

如果是标识符被重写导致的，检查代码中是否有自定义的float、map命名，修正命名冲突即可。

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