如何让dict子类支持与原生dict一致的类型提示？

直接继承内置dict并添加泛型时，mypy无法正确检查类型的核心原因是：内置dict的部分方法（如__init__、update）的类型注解未被自定义类正确覆盖，导致mypy无法识别泛型约束；此外，mypy对原生dict子类的泛型处理逻辑相对宽松。

推荐方案：基于MutableMapping实现自定义映射 #

collections.abc.MutableMapping是Python标准库中专门用于自定义映射类型的抽象基类，结合typing.Generic使用，能让mypy完美识别类型约束，同时强制实现核心映射方法，避免遗漏类型检查点。

from typing import Generic, TypeVar, Iterator
from collections.abc import MutableMapping

K = TypeVar('K')
V = TypeVar('V')

class CustomDict(MutableMapping[K, V], Generic[K, V]):
    def __init__(self, *args, **kwargs):
        self._data = dict(*args, **kwargs)
    
    def __getitem__(self, key: K) -> V:
        return self._data[key]
    
    def __setitem__(self, key: K, value: V) -> None:
        # 此处添加你的额外操作
        print(f"修改元素：键={key}，新值={value}")
        self._data[key] = value
    
    def __delitem__(self, key: K) -> None:
        del self._data[key]
    
    def __iter__(self) -> Iterator[K]:
        return iter(self._data)
    
    def __len__(self) -> int:
        return len(self._data)
    
    # 可选：覆盖update方法，添加额外逻辑并确保类型检查
    def update(self, other: dict[K, V] | Iterable[tuple[K, V]], **kwargs: V) -> None:
        print("执行批量更新操作")
        super().update(other, **kwargs)

使用该类时，mypy会严格检查类型兼容性：

# 正确用法
my_dict: CustomDict[str, int] = CustomDict({"foo": 1})
my_dict["bar"] = 2
my_dict.update({"baz": 3})

# 类型不兼容，mypy会抛出错误
my_dict["qux"] = "4"  # 错误：表达式类型为"str"，目标类型为"int"
my_dict.update({"quux": "5"})  # 错误：映射值类型不匹配

若坚持继承内置dict #

如果一定要基于原生dict扩展，需确保覆盖所有可能绕过类型检查的方法，并正确标注类型：

from typing import Generic, TypeVar

K = TypeVar('K')
V = TypeVar('V')

class CustomDict(dict[K, V], Generic[K, V]):
    def __init__(self, __mapping: dict[K, V] | Iterable[tuple[K, V]] = ..., **kwargs: V) -> None:
        super().__init__(__mapping, **kwargs)
    
    def __setitem__(self, key: K, value: V) -> None:
        print(f"修改元素：键={key}，新值={value}")
        super().__setitem__(key, value)
    
    def update(self, other: dict[K, V] | Iterable[tuple[K, V]], **kwargs: V) -> None:
        print("执行批量更新操作")
        super().update(other, **kwargs)

这种方式下，mypy会检查__setitem__、update和__init__的类型，但需注意：原生dict的部分隐式方法（如__ior__即|=操作）若不覆盖，仍可能绕过类型检查，因此更推荐使用MutableMapping方案。

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