为何dict[int, int]与dict[int, int | str]不兼容？如何传参？

一、为什么会出现类型不兼容提示？ #

1. dict的类型参数是**不变（invariant）**的 #

dict是可变容器，它的键（_KT）和值（_VT）类型参数都是不变的。这意味着dict[int, int]和dict[int, int | str]是完全独立的类型，不能互相赋值。

原因是类型安全：如果允许把dict[int, int]赋值给dict[int, int | str]，后续代码可能会通过后者往字典里插入str类型的值，这会破坏原字典只能存储int值的约定，导致运行时类型错误。

2. Mapping的类型参数规则 #

typing.Mapping是只读的抽象容器类型，它的类型参数规则不同：

• 值类型参数（_VT）是**协变（covariant）**的：允许值类型从更具体的类型（比如int）转换为更宽泛的类型（比如int | str），因为只读容器不会修改内部值，不会破坏类型安全。所以c: typing.Mapping[int, int | str] = a能通过检查。
• 键类型参数（_KT）仍是**不变（invariant）**的：int和int | str不是同一类型，原字典a只能接受int类型的键，而Mapping[int | str, int]允许使用str类型的键，这会导致类型不安全（比如通过d访问str键，原字典根本没有对应条目），所以d的赋值会报错。

二、如何向声明为dict[int, int | str]的函数参数传入dict[int, int]对象？ #

有三种可行方案，按推荐优先级排序：

1. 修改函数参数为Mapping[int, int | str]（最安全） #

如果函数不需要修改传入的字典，直接把参数类型改为Mapping[int, int | str]。这样既能通过类型检查，又能保证类型安全，因为Mapping是只读抽象类型，不会允许修改操作破坏原字典的类型约定。

示例：

from typing import Mapping

def process_data(data: Mapping[int, int | str]) -> None:
    # 仅读取操作，不修改data
    for k, v in data.items():
        print(k, v)

a: dict[int, int] = {1: 10, 2: 20}
process_data(a)  # 正常通过类型检查

2. 转换为新的dict[int, int | str] #

创建一个新字典，复制原字典的内容，新字典的类型会被推断为dict[int, int | str]。这种方式完全隔离了原字典，不用担心后续修改影响原数据。

示例：

def process_data(data: dict[int, int | str]) -> None:
    data[3] = "hello"  # 允许修改

a: dict[int, int] = {1: 10, 2: 20}
process_data(dict(a))  # 传入新字典

3. 使用类型断言（绕过检查，需谨慎） #

用typing.cast告诉类型检查器强制转换类型，这种方式会跳过类型检查，只有在你确认后续代码不会向字典插入不符合原类型的值时才使用，否则会导致运行时类型错误。

示例：

from typing import cast

def process_data(data: dict[int, int | str]) -> None:
    # 确认不会插入str类型值，仅读取或修改为int值
    data[3] = 30

a: dict[int, int] = {1: 10, 2: 20}
process_data(cast(dict[int, int | str], a))

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