为何CPython运行时加载的模块远超文档所述最小初始化环境？

官方文档描述的「仅sys、builtins和__main__初始化」是理论上的最小化抽象场景，实际CPython 3.10启动时，哪怕加上-S选项（跳过site模块初始化），仍会加载一批核心依赖模块，原因如下：

• 核心底层模块预加载：CPython解释器启动过程中，会自动加载支撑核心功能的C实现模块，比如_abc、_bisect、_collections等，这些模块是Python类型系统、内置数据结构的底层基础，属于解释器启动的必要环节，不受-S选项控制。
• sys模块的隐式依赖加载：sys模块初始化时，会触发关联模块的加载。比如sys.stdin/stdout/stderr的初始化依赖io模块，而io又会引入_io、textwrap等子模块，这些是标准I/O功能的必备组件。
• 版本实现细节差异：不同CPython版本的初始化逻辑有迭代，3.10相比早期版本，在核心启动阶段新增了部分预加载模块，用于优化性能或支撑新特性，官方文档的描述偏概括性，未覆盖每个版本的具体细节。
• 运行代码的间接触发：当你执行查看sys.modules的代码时，__main__模块的执行环境可能隐式触发少量模块加载，比如使用内置函数时涉及的关联依赖，但这部分占比极小。

你可以通过以下命令验证这些模块：

python3.10 -S -c "import sys; print([m for m in sys.modules if m not in ('sys', 'builtins', '__main__')])"

这些加载的模块均为CPython核心运行的必要依赖，不属于site模块初始化带来的额外加载。

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