Python类型检查报错：无法向字典赋值的问题排查

原因分析 #

这是VSCode Python扩展默认类型检查器（Pylance）的类型推断逻辑问题，代码本身在Python运行时完全可以正常执行：

• 第一段代码中，reqDict初始仅包含字符串类型的值，Pylance会自动推断它的类型为dict[str, str]（键为字符串，值必须是字符串）。后续给"params"键赋值字典类型的params，自然触发类型不兼容报错。
• 第二段代码中，reqDict初始包含字符串和整数类型的值，Pylance会推断值的类型为str | int的联合类型，此时类型检查器会放松对后续添加值的类型限制，允许加入字典类型的params，因此不会报错。

修复方案 #

方案1：显式指定字典类型（推荐） #

通过类型注解明确告知类型检查器，字典的值可以是字符串或字典类型：

from typing import Dict, Optional, Union

async def notify(self, method: str, params: Optional[dict] = None):
    reqDict: Dict[str, Union[str, dict]] = {"jsonrpc": "2.0", "method": method}
    if params is not None:
        reqDict["params"] = params

如果是符合JSON-RPC规范的固定结构，更推荐用TypedDict定义结构化类型，类型检查会更严格准确：

from typing import TypedDict, Optional

class JSONRPCRequest(TypedDict, total=False):
    jsonrpc: str
    method: str
    params: dict
    id: int

async def notify(self, method: str, params: Optional[dict] = None):
    reqDict: JSONRPCRequest = {"jsonrpc": "2.0", "method": method}
    if params is not None:
        reqDict["params"] = params

方案2：初始化时引入多类型值（临时解决） #

如果不想引入类型注解，可以在初始化时加入一个非字符串的临时值，让类型检查器自动推断联合类型：

async def notify(self, method: str, params: Optional[dict] = None):
    reqDict = {"jsonrpc": "2.0", "method": method, "temp": 0}
    del reqDict["temp"]
    if params is not None:
        reqDict["params"] = params

方案3：使用dict()构造函数初始化 #

用dict()构造函数创建字典，类型检查器会默认推断值为Any类型，允许后续添加任意类型的值：

async def notify(self, method: str, params: Optional[dict] = None):
    reqDict = dict(jsonrpc="2.0", method=method)
    if params is not None:
        reqDict["params"] = params

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