为何TypedDict继承时不允许修改字段类型（含子类型）？

TypedDict的严格限制本质是由它的结构类型特性和设计目标决定的，和NamedTuple、dataclass的名义类型设计有核心区别：

• 结构类型 vs 名义类型
  TypedDict是基于结构匹配的类型系统——只要两个字典的字段集合和类型完全一致，就被视为同一类型，继承的核心意义是"子类包含父类的所有字段，并且可以新增字段"，以此保证子类实例完全兼容父类的使用场景。如果子类修改父类字段的类型，就会破坏这种结构兼容性：比如一个接受ParentTD类型的函数，预期x是字符串，传入修改了x类型的ChildTD实例就会导致类型不匹配，直接违背了里氏替换原则。

  而NamedTuple和dataclass属于名义类型，它们的类型身份由类本身的定义和继承关系决定，而非字段结构。子类重写父类字段类型时，本质是定义了一个同名的新属性，类型检查器会基于类的继承关系来处理兼容性，只要重写的类型符合类型规则，就会被允许。

• PEP 589的设计初衷
  PEP 589明确规定TypedDict子类必须严格继承父类的字段类型，目的是模拟常规字典的行为逻辑——字典的键值类型一旦被约定，就不应该在"子类"结构中随意修改，否则会导致字典结构的一致性被破坏，让静态类型检查失去意义。

举个直观的代码对比：

from typing import TypedDict, NamedTuple

# TypedDict子类修改父类字段会报错
class ParentTD(TypedDict):
    x: str

class ChildTD(ParentTD):
    x: int  # Mypy触发错误：Overwriting TypedDict field 'x' while extending

# NamedTuple子类修改父类字段被允许
class ParentNT(NamedTuple):
    x: str

class ChildNT(ParentNT):
    x: int  # 无类型错误

简单来说，TypedDict的严格限制是为了保证字典结构的可替换性，而NamedTuple和dataclass作为面向对象的结构，允许子类在继承关系下灵活调整属性类型。

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