如何将父类dict类型窄化为子类TypedDict并解决类型兼容问题？

要实现仅约束键值类型、不指定具体字段的超类型，让TypedDict子类能被父类的dict类型参数接受，推荐用Protocol来定义结构兼容的超类型，具体方案如下：

方案1：用Protocol定义键值约束的超类型 #

Protocol是Python类型系统中用于定义"结构类型"的工具，它不要求继承，只要类型实现了协议规定的方法/属性，就会被视为兼容。我们可以用它定义一个仅约束键为str、值为str|int的超类型：

from typing import Protocol, TypedDict

# 定义仅约束键值类型的协议
class StringIntDict(Protocol):
    def __getitem__(self, key: str) -> str | int: ...
    def __setitem__(self, key: str, value: str | int) -> None: ...
    # 按需添加dict的其他常用方法（比如get、keys），提升类型检查的完整性

# 子类TypedDict，键值类型完全符合超类型的子集
class Implementation_t(TypedDict):
    name: str
    age: int

# 父类使用Protocol作为参数类型
class Parent:
    def __init__(self, data: StringIntDict):
        self.data = data

# 测试赋值，类型检查器不会报错
impl: Implementation_t = {"name": "Alice", "age": 30}
parent = Parent(impl)

方案2：临时用cast强制类型转换（不推荐） #

如果只是想快速绕过类型检查，也可以用typing.cast强制将TypedDict转为目标dict类型，但这种方式会跳过静态类型检查的校验，可能隐藏潜在问题，仅适合临时场景：

from typing import TypedDict, cast

class Implementation_t(TypedDict):
    name: str
    age: int

class Parent:
    def __init__(self, data: dict[str, str|int]):
        self.data = data

impl: Implementation_t = {"name": "Alice", "age": 30}
parent = Parent(cast(dict[str, str|int], impl))

为什么直接用dict不行？ #

TypedDict虽然运行时本质是dict，但静态类型检查器会将它视为有固定键结构的特殊类型，而普通dict[str, str|int]允许任意符合键值类型的键，两者的类型约束并不完全匹配，因此直接赋值会触发类型错误。而Protocol只关注键值的类型约束，不限制具体键的数量和名称，完美适配TypedDict的场景。

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