Mypy在联合类型字典映射时报错的解决方法咨询

以下是几种不用Any类型就能处理该错误的可行方法：

1. 使用类型断言（Cast） #

直接通过cast明确告知Mypy目标值的类型，不会影响代码运行时逻辑：

from typing import cast, Union

example: dict[str, Union[str, int]] = {"foo": 1, "bar": "baz"}
res: bool = cast(int, example["foo"]) > 1

适合你完全确定键对应值类型的场景，是最直接的临时解决方案。

2. 使用TypedDict定义固定结构字典 #

如果字典的键是固定的，推荐用TypedDict定义每个键的明确类型，从根源上消除类型歧义：

from typing import TypedDict

class ExampleDict(TypedDict):
    foo: int
    bar: str

example: ExampleDict = {"foo": 1, "bar": "baz"}
res: bool = example["foo"] > 1  # Mypy会自动识别foo的类型为int，不再报错

这种方式更符合类型规范，适合结构固定的字典场景。

3. 自定义类型守卫（Type Guard） #

通过类型守卫函数动态判断值的类型，让Mypy在特定代码块内识别正确类型：

from typing import TypeGuard, Union

example: dict[str, Union[str, int]] = {"foo": 1, "bar": "baz"}

def is_int(value: Union[str, int]) -> TypeGuard[int]:
    return isinstance(value, int)

if is_int(example["foo"]):
    res: bool = example["foo"] > 1  # 此代码块内Mypy会识别foo为int类型

适合需要在运行时验证类型的场景，同时保持类型安全。

内容的提问来源于stack exchange，提问作者Тимур Котов