Python mypyc 扩展模块在 Python 3.13 中的缓存问题解析

在 Python 3.13 版本中，mypyc 编译的扩展模块遇到了一个关键的兼容性问题。这个问题主要出现在包含循环导入的场景中，当 mypyc 将 Python 代码编译为 C 扩展模块时，会导致系统抛出"extension module is already cached"的错误。

mypyc 是 mypy 项目的一部分，它能够将 Python 代码编译成 C 扩展模块，从而显著提高执行性能。在底层实现上，mypyc 生成的代码会使用 Python 的 C API 来创建扩展模块。在 Python 3.13 之前，这种实现方式即使在存在循环导入的情况下也能正常工作。

问题的核心在于 Python 3.13 对模块缓存机制进行了修改。当 mypyc 生成的扩展模块与非原生 Python 模块形成循环导入时，Python 解释器会检测到模块缓存冲突。具体表现为两种情况：在调试构建中会触发断言失败，而在非调试构建中则会抛出"extension module is already cached"的系统错误。

这个问题不仅影响简单的测试用例，更重要的是它直接影响了 mypy 项目本身的编译，因为 mypy 代码库中包含了许多循环导入的结构。这意味着如果不解决这个问题，mypy 将无法在 Python 3.13 上正常编译和运行。

从技术实现角度看，这个问题与 Python 3.13 引入的模块缓存机制变更有关。mypyc 生成的扩展模块使用了传统的单阶段初始化方式，而新的 Python 版本对模块的缓存管理更加严格。虽然理论上使用多阶段初始化可以解决这个问题，但这需要对 mypyc 的代码生成逻辑进行较大改动。

幸运的是，Python 核心开发团队已经确认这是一个回归问题，并在 Python 3.13.0 的最终版本中修复了这个问题。这意味着用户升级到 Python 3.13 的正式版本后，mypyc 编译的扩展模块将能够继续正常工作，包括那些包含循环导入的场景。

对于开发者而言，这个案例提醒我们在使用 Python C API 时需要特别注意模块初始化方式的选择，特别是在涉及复杂导入关系的情况下。同时，它也展示了 Python 生态系统中不同组件之间微妙的依赖关系，以及保持向后兼容性的重要性。