启用--strict-optional时Mypy报Any类型赋值错误的咨询

首先我得先还原一下你大概的代码场景，应该是类似这样的：

from typing import Dict, Any

def get_str_dict() -> Dict[str, str]:
    return {"status": "success", "message": "done"}

def get_mixed_dict() -> Dict[str, Any]:
    mixed = {"name": "Alice", "is_active": True, "age": None}
    mixed["details"] = get_str_dict()  # 这里触发Mypy报错
    return mixed

报错原因分析 #

你可能以为函数标注了返回Dict[str, Any]，局部变量mixed就会被当成Dict[str, Any]处理，但Mypy的局部变量类型推断规则是：它会优先根据初始化语句的内容，推断出更精确的类型。

在这个例子里，mixed初始化为包含str、bool、None值的字典，Mypy会自动把它的类型推断为Dict[str, Union[str, bool, None]]，而不是你期望的Dict[str, Any]。当你把Dict[str, str]类型的值赋值给这个字典的键时，Dict[str, str]并不属于Union[str, bool, None]的成员，所以Mypy就抛出了类型不兼容的错误。

解决办法 #

这里有几种靠谱的方案，按推荐度排序：

1. 显式指定局部变量的类型为Dict[str, Any]

直接给mixed加上类型标注，强制Mypy使用你想要的类型，而不是它自己推断的窄类型：

def get_mixed_dict() -> Dict[str, Any]:
    mixed: Dict[str, Any] = {"name": "Alice", "is_active": True, "age": None}
    mixed["details"] = get_str_dict()  # 现在不会报错了
    return mixed

这是最直接也最规范的做法，明确告诉Mypy这个字典的值可以是任意类型。

2. 直接构建返回字典，跳过中间变量的类型推断

如果不需要中间变量做额外处理，可以直接在返回语句里把所有内容组合起来，这样Mypy会直接用函数的返回类型标注来校验：

def get_mixed_dict() -> Dict[str, Any]:
    return {
        "name": "Alice",
        "is_active": True,
        "age": None,
        "details": get_str_dict()
    }

这种方式也能避免局部变量的类型推断冲突，代码更简洁。

3. 临时用类型忽略注释（不推荐）

如果只是临时绕开报错（不建议长期这么做，会掩盖潜在类型问题），可以在赋值行加上# type: ignore注释：

mixed["details"] = get_str_dict()  # type: ignore

但这个方法相当于关闭了该行的类型检查，除非万不得已，尽量不用。

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