Pylance类型检查报错：Literal['k']无法分配给__setitem__的slice参数

代码示例 #

from typing import Union, Any, Dict, List, Tuple

def myFunc() -> Union[Dict, List, str,
                      int, float, bool, None]:
  something = { 'prop': 123}
  return something

obj = myFunc()
obj['k'] = isinstance(obj, Dict) and 321

报错信息 #

(variable) obj: object | List | str | int | float | bool | Dict | None
"__setitem__" method not defined on type "object"PylancereportGeneralTypeIssues
"__setitem__" method not defined on type "str"PylancereportGeneralTypeIssues
"__setitem__" method not defined on type "int"PylancereportGeneralTypeIssues
"__setitem__" method not defined on type "float"PylancereportGeneralTypeIssues
"__setitem__" method not defined on type "bool"PylancereportGeneralTypeIssues
Argument of type "Literal['k']" cannot be assigned to parameter "__s" of type "slice" in function "__setitem__"
  "Literal['k']" is incompatible with "slice"PylancereportGeneralTypeIssues

核心原因 #

1. 函数返回类型注解过度宽泛：
   myFunc的返回类型标注了多种类型，但实际代码里只返回Dict类型。静态类型检查器（Pylance）会严格按照注解的类型集合校验后续操作，不会自动推断实际返回的类型。

2. 联合类型中多数成员不支持字典式赋值：
   你声明的返回类型里，str、int、float、bool都没有__setitem__方法，None更是无法进行任何属性/索引操作。类型检查器必须覆盖所有可能的类型情况，因此会逐一提示这些类型不支持该操作。

3. List类型的赋值规则不匹配：
   就算obj是List类型，它的__setitem__方法只接受整数索引或切片（slice）作为参数，你传入的字符串'k'完全不符合List的赋值要求，因此触发类型不匹配报错。

4. 类型守卫未正确缩小类型范围：
   你虽然用了isinstance(obj, Dict)做判断，但这个判断和后续赋值没有放在同一个代码块里。静态类型检查器无法将这个运行时判断关联到赋值语句，所以仍然会把obj当成联合类型处理，而非缩小为Dict类型。

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