关于子类化typing.TypedDict的两大核心原理疑问咨询

针对你提出的两个核心问题，结合Python底层特性和TypedDict的设计细节逐一解释：

1. 为何可以子类化一个函数？实现机制是什么？ #

Python 3.6引入的PEP 560定义了__mro_entries__特殊方法，这是让"子类化函数"成为可能的核心：

• 当Python解释器处理类定义的基类列表时，如果某个基类不是类（比如是函数、实例等），会自动检查该对象是否实现了__mro_entries__方法。
• 若存在这个方法，解释器会调用它，将原基类列表（包括附带的关键字参数）传入，再用该方法返回的结果替代原基类，参与后续的类构建流程。

TypedDict本质是一个函数，但它实现了__mro_entries__方法。当你写class A(TypedDict):时，Python会调用TypedDict.__mro_entries__((TypedDict,))，这个方法会返回一个包含TypedDict元类构造器的元组——最终你定义的A类，其实是基于这个返回的元类/合法基类创建的，而非直接继承那个函数本身。

简单来说，__mro_entries__相当于一个"转接器"，把看似继承函数的操作，转换成了合法的类继承流程。

2. total关键字参数是如何传递给TypedDict构造器的？ #

类定义基类列表中的关键字参数（比如total=False），会被Python解释器收集后直接传递给__mro_entries__方法：

• 当你写class A(TypedDict, total=False):时，解释器会把total=False打包成字典，作为第二个参数传给TypedDict.__mro_entries__。
• TypedDict.__mro_entries__接收到这个参数后，会用它配置要生成的TypedDict类的行为：比如total=True时所有键默认必填，False时默认可选。
• 最终这个参数会被传递到TypedDict的元类构造逻辑中，在创建你的A类时直接生效。

参考文档 #

• PEP 560 -- Core Support for typing module and generic types：定义了__mro_entries__方法的行为与用途，是理解这一机制的核心依据。
• PEP 589 -- TypedDict: Type Hints for Dictionaries with a Fixed Set of Keys：在"Specification"部分提到了TypedDict利用__mro_entries__实现类定义语法的细节，以及total参数的作用规则。

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