Python内核理解

本系列介绍 CPython 内核相关的标准库模块，掌握这些模块有助于理解「Python 如何运行」、排查性能与内存问题，以及做元编程与扩展开发。

📄️ abc

abc 模块提供在 Python 中定义抽象基类-ABC的组件，用于声明抽象方法、约束子类实现，并支持虚拟子类注册。详见 PEP 3119。

📄️ ast

ast 模块帮助 Python 程序处理「Python 抽象语法」对应的树形结构：将源码解析为抽象语法树（AST）、遍历或修改 AST、以及基于 AST 做安全求值。它是理解 CPython 编译流程与做元编程、静态分析的核心工具。

📄️ builtins

builtins 是 Python 标准库中内置名称所在的模块：len、print、open、str、int 等所有内置函数、类型与常量都“挂”在这个模块的命名空间里。解释器在执行任意代码时，会把内置作用域（built-in scope）作为名字查找的最后一层——因此你写的每一段代码默认都在“能看到 builtins”的命名空间下运行，无需 import 即可使用这些名称。

📄️ dis

dis 模块用于反汇编 Python 字节码，将 CPython 在基于栈的虚拟机上执行的指令以可读形式展示。CPython 的编译流程是：源码 → 字节码（bytecode）→ 解释器按指令逐条执行；字节码是实现细节，不同 Python 版本可能增删改指令，dis 让我们在需要时看清「这段 Python 代码实际对应哪些底层操作」，便于调试、性能分析和理解语法编译结果。设计上，该模块面向调试（如配合 traceback 定位异常指令）、性能分析（对比不同写法的指令数与类型）以及语法理解（如 match/case、列表推导、with、装饰器等如何被编译成字节码），以官方文档和 Include/opcode.h 中的定义为准。

📄️ gc

gc 模块提供与 Python 内置可选垃圾回收器的接口。回收器在 CPython 中默认启用，用于检测并回收循环引用；本模块让你可以手动触发回收、查看回收统计、开关自动回收、判断对象是否被跟踪，以及访问回收器发现但无法释放的对象（如放入 gc.garbage 的不可回收对象）。调试内存泄漏时可调用 gc.setdebug(gc.DEBUGLEAK)。

📄️ importlib

importlib 是 Python 标准库中实现 import 语句的包，同时提供一套编程接口：你可以按字符串动态导入模块、重载已加载模块、查找模块规格（ModuleSpec）、以及使查找器缓存失效，从而在运行时发现新创建或安装的模块。它自 Python 3.1 起作为可移植的纯 Python 实现存在，并暴露了导入系统的各个组件，便于编写自定义的查找器（finder）与加载器（loader）参与导入过程。

📄️ inspect

inspect 是 Python 标准库中的自省（introspection）模块，用于在运行时获取“活对象”的详细信息。它可操作的对象包括：模块、类、方法、函数、回溯（traceback）、帧对象（frame）和代码对象（code object）。典型用途包括：类型检查（是否为类/函数/方法/生成器/协程等）、获取源码与文档字符串、格式化参数列表、获取函数签名（参数名、默认值、注解、POSITIONAL_ONLY 等）、以及检查解释器调用堆栈和当前执行帧。官方文档将上述能力归纳为四类服务：类型检查、获取源码、检查类与函数、检查解释器调用堆栈。

📄️ struct

struct 模块用于在 Python 值与「按 C 结构体方式打包的二进制数据」之间转换：通过格式字符串描述如何把多个值打包成一段 bytes，或从一段 bytes 中按同样格式解包出多个值。典型用途包括与 C 代码或外部协议（文件格式、网络报文）交换数据：例如解析二进制文件头、实现网络协议、或与使用相同编译器的 C 结构体内存布局一一对应。

📄️ sys

sys 是 Python 标准库中与解释器及运行时直接打交道的模块：它提供由解释器使用或维护的变量，以及强依赖解释器行为的函数，在任意环境中都可用（always available）。典型用途包括获取命令行参数、模块搜索路径、解释器版本与平台、递归深度限制、标准输入/输出/错误流，以及主动退出进程等。

📄️ traceback

traceback 模块用于提取、格式化和打印 Python 程序的堆栈回溯信息。它与 sys.exc_info() 配合，提供了对异常链和调用栈的完整控制。

📄️ types

types 模块主要做两件事：为解释器内部使用的若干对象类型提供名称常量，以及提供动态创建类型（类、模块等）的工具函数。像 int、str、list 这类内置类型在全局命名空间里就有名字，可直接用于 isinstance() / issubclass()；而函数对象、生成器、模块、代码对象等类型的「类型名」并不作为内置名暴露，若要按类型做判断或元编程，就需要通过 types 获取（如 types.FunctionType、types.ModuleType）。此外，PEP 484 引入的类型提示体系与 PEP 585 在标准库中推广的泛型语法（如 list[int]）在运行时会表现为 types.GenericAlias，联合类型表达式 int | str（PEP 604，Python 3.10+）的类型为 types.UnionType，这些也由 types 提供，便于在运行时做类型内省。设计上，该模块刻意只暴露「实现解释器或类型系统时常用」的类型名，避免把偶然出现的内部类型（如 listiterator）也纳入；动态创建方面则提供 newclass()、prepareclass()、ModuleType 等接口，与元类机制（PEP 3115）及泛型解析（PEP 560）相配合，用于在运行时按需构造类或模块对象。