如何修复lsp-pyright类型提示错误：“int”与“float”不兼容？

问题代码 #

from typing import List
def foo(x: List[float]):
    pass

i = [3]
foo(i)

报错信息 #

[Pyright] Argument of type "list[int]" cannot be assigned to parameter "x" of type "List[float]" in function "foo"
  TypeVar "_T@list" is invariant
    "int" is incompatible with "float" (5:4)

使用的lsp-pyright版本：20220614.1545

PEP 484《类型提示》中明确说明：

无需用户导入numbers模块并使用numbers.Float等类型，本PEP提出一个几乎同样有效的简便方案：当参数被标注为float类型时，传入int类型的参数是可接受的；同理，当参数标注为complex类型时，传入float或int类型的参数均是可接受的。

原因解析 #

PEP 484的规则针对的是单个数值类型的兼容（比如int可以赋值给float类型参数），但不适用于泛型容器。Pyright报错的核心原因是：Python的list是不变类型（invariant），意味着list[int]和list[float]被视为完全不兼容的类型——即便int是float的兼容子类型，容器本身不会继承这种兼容性。

解决方法 #

1. 修正类型标注（推荐） #

如果函数实际可以接受包含int和float的列表，直接更新类型标注：

from typing import List, Union
def foo(x: List[Union[int, float]]):
    pass

或者使用numbers.Real（需导入numbers模块），它涵盖所有实数类型：

from typing import List
import numbers
def foo(x: List[numbers.Real]):
    pass

2. 使用协变的泛型类型 #

如果函数只需要读取列表元素而不修改，可以用Sequence[float]代替List[float]。Sequence是协变类型，list[int]可以兼容Sequence[float]：

from typing import Sequence
def foo(x: Sequence[float]):
    pass

3. 类型转换或断言 #

如果确定列表元素可以安全转为float，显式转换后传入：

foo([float(num) for num in i])

或者使用类型断言（仅在你能确保类型安全时使用）：

foo(i)  # type: ignore
# 或者更严格的断言
foo(i: List[float])

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