Python DP代码类型警告求助：Literal[0]无法赋值给slice类型

我用代码[[None]*(n+1) for i in range(m+1)]构建动态规划表，代码能正常运行，但VSCode的Pylance和PyCharm都抛出类型警告：

• Pylance在edelta[0][0] = 0处提示：

Argument of type "Literal[0]" cannot be assigned to parameter "__s" of type "slice" in function "__setitem__"
  "Literal[0]" is incompatible with "slice"PylancereportGeneralTypeIssues

• PyCharm提示：

Unexpected type(s): (int, int) Possible type(s): (SupportsIndex, None) (slice, Iterable[None])

解决方法 #

• 显式添加类型标注：告诉类型检查器列表元素可以是int或None，示例代码：

  from typing import List
  
  # 假设m、n是已定义的整数
  edelta: List[List[int | None]] = [[None]*(n+1) for _ in range(m+1)]
  edelta[0][0] = 0  # 不再触发警告
  

• 统一初始化类型：如果动态规划表最终存储的是整数，直接用整数初始化替代None，避免类型混合：

  # 用0初始化所有位置，后续按需修改
  edelta = [[0]*(n+1) for _ in range(m+1)]
  edelta[0][0] = 0  # 类型完全匹配，无警告
  

• 临时禁用警告（不推荐）：如果只是想快速消除警告，可在赋值行添加注释，仅应急使用：

  edelta[0][0] = 0  # type: ignore  # 针对Pylance
  # 或针对PyCharm
  # noinspection PyTypeChecker
  edelta[0][0] = 0
  

问题原因 #

初始化代码生成的是List[List[None]]类型的二维列表，静态类型检查器认为每个元素只能是None，而赋值0（整数类型）违反了这个类型约束，因此抛出警告。Python本身是动态类型语言，运行时允许这种赋值，但静态检查工具会严格校验类型一致性。

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