Python模块导入代码执行机制：首次/二次导入、线程与多进程影响探究

核心问题解答 #

1. 首次导入模块时的代码执行逻辑 #

当你第一次导入一个Python模块时：

• 会执行：模块所有顶层可执行代码（也就是不在函数、类定义内部的代码）——比如全局变量赋值、顶层print语句、其他模块的导入语句等，这些代码会按从上到下的顺序逐行运行。
• 不会执行：函数、类内部的代码只会完成定义，不会被触发执行，只有当你主动调用这些函数、实例化类并调用方法时，内部代码才会运行。

2. 重复导入模块时的代码执行逻辑 #

第二次及之后导入同一个模块时：

• 模块的顶层可执行代码完全不会再运行。
• Python只会从全局字典sys.modules中取出已经加载好的模块对象，直接返回给当前的导入语句，相当于复用已经初始化完成的模块实例。

测试代码与运行结果分析 #

结合你提供的测试代码，运行python3 main.py的输出完全符合上面的逻辑：

module2: importing module1
module1: GLOBAL_VAR = orig  # 首次导入module1，执行其顶层的变量赋值和print语句
module2(1): module1.GLOBAL_VAR = orig
module1:init(1): GLOBAL_VAR = orig  # 主动调用init函数，才会执行函数内部代码
module1:init(2): GLOBAL_VAR = changed
module2(2): module1.GLOBAL_VAR = changed
module3: importing module1  # 第二次导入module1，没有触发module1的顶层print
module3(1): module1.GLOBAL_VAR = changed  # 直接复用已经被修改过的module1模块对象

这里能看到两个关键结论：一是重复导入不会重新执行顶层代码，二是模块的全局状态是所有导入者共享的——init函数修改的GLOBAL_VAR值，在module3中也能看到。

深入问题解答 #

1. 底层实现原理 #

你的猜想完全正确！Python的模块导入机制核心就是**sys.modules全局字典**：

• 执行import语句时，Python首先检查sys.modules中是否存在目标模块的名称：
  • 如果存在，直接返回对应的模块对象，跳过加载流程。
  • 如果不存在，才会启动加载流程：找到模块文件、编译为字节码、执行顶层代码生成模块对象，最后将该对象存入sys.modules，供后续导入复用。
• 模块对象本身是一个全局共享的命名空间，所有导入该模块的代码都会引用同一个对象，因此对模块全局变量的修改会被所有导入者感知到。

2. 机制限制与顶层代码多次执行的场景 #

默认的“顶层代码仅执行一次”机制并非绝对，以下场景会让模块顶层代码多次执行：

• 手动删除sys.modules中的模块：如果你执行del sys.modules['module1']，再重新import module1，Python会认为这是首次导入，重新加载并执行顶层代码。
• 使用importlib.reload()：调用importlib.reload(module1)会强制重新加载模块，执行其顶层代码（注意：模块对象还是原来的实例，但顶层代码的执行会覆盖原有全局变量、函数定义等）。
• 不同的模块标识导入：如果同一个模块文件通过不同的名称或路径导入（比如修改sys.path后用不同的包路径导入），Python会将其视为不同的模块，分别加载并执行顶层代码。
• 多进程环境：每个进程有独立的sys.modules和内存空间，每个进程首次导入模块时都会执行顶层代码（下文会详细说明）。

3. 线程场景下导入未初始化模块的情况 #

Python的模块导入过程是线程安全的：

• 当一个线程正在导入模块X时，Python会先在sys.modules中存入一个“正在加载”的占位对象。
• 如果此时另一个线程尝试导入模块X，它会识别到这个占位对象，然后等待第一个线程完成模块加载，之后直接使用加载好的模块对象。
• 需要注意：如果模块X的顶层代码本身不是线程安全的（比如在顶层操作全局变量时没有加锁），可能会因为竞态条件出现问题，但导入过程本身不会重复执行顶层代码。

4. 多进程场景下的模块导入变化 #

多进程环境中，每个进程拥有独立的Python解释器实例和内存空间，因此模块导入机制会有明显变化：

• 父进程中已加载的模块不会共享给子进程。子进程启动时（比如用multiprocessing创建）会复制父进程的sys.modules，但每个进程的模块对象是完全独立的（内存空间隔离）。
• 即使父进程已经导入过某个模块，子进程首次导入该模块时，仍会重新执行其顶层代码，加载属于自己的模块实例。
• 换句话说，多进程下模块的顶层代码会在每个进程中执行一次（首次导入时），各个进程的模块全局状态完全隔离，修改一个进程的模块变量不会影响其他进程。

内容的提问来源于stack exchange，提问作者Zoltan K.