在日常 Python 编程中，import 语句简单而优雅。但你是否好奇，当解释器遇到 import collections 或 from os import path 时，底层发生了什么？

答案就在 Python 字节码 (Bytecode) 中。本文将以 Python 3.10 为例，详细剖析驱动 import 机制的两个核心字节码：IMPORT_NAME 和 IMPORT_FROM。

---

一、Python 导入机制的两个阶段

所有的 import 语句都可以分解为两个逻辑步骤：

1. 加载模块 (Module Loading): 找到、执行（如果尚未执行）并获取整个模块对象。
2. 加载属性 (Attribute Loading): 从已加载的模块对象中提取特定的名称或属性。

IMPORT_NAME 和 IMPORT_FROM 这两个字节码正好对应了这两个阶段。

二、核心字节码分析

1. IMPORT_NAME(namei)：加载模块对象

IMPORT_NAME 负责完成第一阶段的工作。它本质上是调用 Python 内置的导入函数 __import__。

特性	描述
功能	导入 co_names[namei] 指定的模块。
对应语句	确定要导入的模块，如 import **sys** 或 from **collections** import ...
栈操作	消费（Pop）栈上的 fromlist 和 level 参数。
结果	模块对象 (<module '...' >) 被推入栈顶 (TOS)。

⚙️ 栈变化演示

在执行 IMPORT_NAME 前，栈上必须准备好 __import__ 函数所需的两个关键参数：

1. level: 相对导入级别（如 0 表示绝对导入）。
2. fromlist: 要导入的名称列表（如 ('path',) 或 ()）。

$$\text{执行前: }[\dots ,\text{fromlist},\text{level}]\stackrel{\text{IMPORT\_NAME(module\_name)}}{\to }\text{执行后: }[\dots ,\text{module\_object}]$$

PVM 内部逻辑： PVM 最终会通过 import_name 函数，发起对 __import__(name, globals, locals, fromlist, level) 的调用，并把返回的模块对象放置在栈顶。

---

2. IMPORT_FROM(namei)：提取指定属性

如果 import 语句使用了 from ... import ... 语法，则在 IMPORT_NAME 之后，解释器会执行 IMPORT_FROM。

特性	描述
功能	从栈顶的模块对象中加载属性 co_names[namei]。
对应语句	提取模块中的成员，如 from os import **path** 中的 path。
栈操作	查看（Peek）栈顶的模块对象，但不弹出。
结果	提取到的属性对象（如函数、类、变量）被推入栈顶。

⚙️ 栈变化演示

在执行 IMPORT_FROM 时，栈顶是上一步 IMPORT_NAME 留下的模块对象。

$$\text{执行前: }[\dots ,\text{module\_object}]\stackrel{\text{IMPORT\_FROM(attr\_name)}}{\to }\text{执行后: }[\dots ,\text{module\_object},\text{attribute\_object}]$$

核心机制： 关键在于 IMPORT_FROM 不会移除栈上的模块对象。这使得如果需要导入多个名称（如 from m import a, b, c），后续的 IMPORT_FROM 字节码可以重复使用同一个模块对象，直到所有名称提取完毕。

---

三、字节码协作案例分析

让我们以 from collections import deque, namedtuple 为例，看看这两个字节码是如何协同工作的。

步骤	字节码	栈顶（TOS）	说明
1	LOAD_CONST 0	0	加载 level
2	LOAD_CONST ('d','n')	('deque', 'namedtuple')	加载 fromlist
3	IMPORT_NAME 'collections'	<module 'collections'>	导入模块，消费 0 和 ('d','n')。
4	IMPORT_FROM 'deque'	<class 'deque'>	提取 deque，模块对象仍在 TOS1。
5	STORE_NAME 'deque'	<module 'collections'>	弹出 deque，绑定到局部变量。
6	IMPORT_FROM 'namedtuple'	<function 'namedtuple'>	提取 namedtuple，再次使用栈上的模块对象。
7	STORE_NAME 'namedtuple'	<module 'collections'>	弹出 namedtuple，绑定到局部变量。
8	POP_TOP	...	最后，弹出栈上残留的模块对象，完成导入。

四、深入理解 PVM 内部宏

在 Python 3.10 的 C 实现中，我们看到了两个关键宏：SET_TOP() 和 DISPATCH()。

🔹 SET_TOP(res)：结果入栈

SET_TOP 负责将运算结果安全地推入操作数栈的顶部。但它与传统的 Push 不同，它执行的是一个**替换（Overwrite）**操作。

由于 IMPORT_NAME 执行前的 POP() 宏已经将栈顶指针移动到了新的空闲槽位，SET_TOP(res) 仅仅是将模块对象 res 写入到该槽位中。这种模式是 PVM 高效利用栈空间的关键。

🔹 DISPATCH()：控制流转

DISPATCH() 是 PVM 主循环的心脏。它意味着“当前字节码已执行完毕，请跳转到下一条字节码继续执行”。它负责递增程序计数器，并将控制权交还给解释器的核心循环，确保指令流的连续执行。

---

总结

IMPORT_NAME 负责宏观的模块加载和初始化，是耗时最长的步骤；而 IMPORT_FROM 则负责微观的属性提取，是完成 from ... import ... 语法的关键。它们在操作数栈上的精确操作，共同构成了 Python 强大而灵活的模块导入系统。

现在，当你下一次按下 import 时，你已经知道了 Python 在幕后为你做了多少工作！