Python Mypy用Mapping[Hashable, str]标注字典参数报错排查

这个类型不匹配错误来自泛型型变规则与里氏替换原则的约束，直觉偏差本质是混淆了「键为某个Hashable子类型」和「键可以是任意Hashable类型」两个概念：

• 当你标注参数为Mapping[Hashable, str]时，等价于声明了一个类型契约：这个映射允许传入任意实现了Hashable协议的类型作为键访问内容——毕竟它的__getitem__方法参数类型是Hashable，你完全可以在函数里写x[123]、x[(1,2)]这类用int、tuple做键的访问逻辑，类型检查不会报错。
• 你实际传入的Dict[str, str]对应的类型是Mapping[str, str]，它的__getitem__只接受str类型的键，不支持其他可哈希类型作为合法的键参数。

按照里氏替换要求，子类型必须完整支持父类型的所有操作，显然Mapping[str, str]满足不了「接受任意Hashable键访问」的契约，因此mypy会直接抛类型不兼容错误。
补充说明：Mapping的值类型是协变的，比如Dict[str, int]可以正常传给Mapping[str, object]，因为返回值int是object的子类型，符合替换规则；但键是作为访问方法的入参存在的，遵循逆变规则，不能直接用上层父类Hashable接具体的子类型键。

使用绑定了Hashable边界的类型变量标注键类型即可，修改后代码可以正常通过mypy检查：

from typing import Hashable, Mapping, TypeVar

K = TypeVar("K", bound=Hashable)

def f(x: Mapping[K, str]) -> None:
    print(x)
    

_dict = {'hello': 'something'}
f(x=_dict)

这种写法的逻辑是告诉类型检查器：函数接受任意键类型为Hashable子类的Mapping，实际调用时K会自动推导为传入参数的具体键类型，既兼容所有可哈希键的字典/映射，也符合类型安全要求。

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