【Python】:导入import的底层原理解析,深刻理解导入过程

•   先判断是否为built-in Module(python内置模块)，如os，sys等
•  非内置模块，则按sys.path 路径列表顺序 查找对应文件，找到即停止检索。

补充特性：

• 模块代码仅在首次导入时执行一次，多次导入只会读取缓存

import test as t

from test import A

• 仍会完整加载并缓存test模块；
• 不会创建 test 变量，直接把模块内的对象 A 导入到当前命名空间，并将其赋值给新变量A。

from test import A as ma

import mypackage

• 检索逻辑和普通模块一致；
• 仅会执行包内的 __init__.py（无该文件则不执行任何代码）；
• 不会自动加载包内的子模块 / 子包，无法直接使用包内普通模块，使用会报错，需显式导入子模块，或在 __init__.py 预加载，才能使用。

import mypackage.mymodule

• 逐层加载：先加载外层包 mypackage，再加载子模块 mymodule，均会更新缓存；
• 自动关联：子模块会成为外层包的一个属性；
• 变量赋值：最终仅将最外层包名生成为全局变量，使用方式：mypackage.mymodule。

import mypackage.mymodule as m

执行过程：

1. Python 先查找并加载 mypackage（外层包），存入全局模块缓存 sys.modules；
2. 再顺着包的__path__ 加载 mymodule（子模块），同样存入缓存；
3. 最后只把末尾的mymodule 对象绑定到变量 m。

Python 执行任意导入语句，固定走 5 步：

1. 查缓存（sys.modules）

   先按导入名字去全局模块缓存查找：

• 存在：直接取出对象，不再执行加载逻辑；
• 不存在：进入下一步加载。

2. 检索目标位置

   按sys.path路径从上到下依次查找：

1. 先判断是不是 Python 内置模块；
2. 再遍历sys.path 目录，匹配 .py 文件（模块）/ 文件夹（包）；
3. 找到即停止检索，路径靠前的文件会优先命中（易引发命名冲突）。

3. 加载并运行代码

• 普通模块（.py）：在独立命名空间执行文件全部代码，生成模块对象；
• 包（文件夹）：仅执行__init__.py（无则不执行代码），生成包对象（自带 __path__ 属性）；
• 层级导入 A.B：从左到右逐层加载 A → B。

4. 写入缓存

   把本次加载成功的所有模块 / 包，全部存入 sys.modules，供后续导入复用。

5. 绑定到当前作用域变量

   根据导入语法规则，决定把哪个对象赋值给变量。

语法符号.

# mypackage/mymodule.pyfrom .util import f  # 从同级 util 模块导入 f

__package__是模块 / 包对象自带的内置属性，作用：标识当前模块隶属于哪个包，是 Python 实现相对导入的核心依据。

它的值是字符串：

• 模块属于某个包 → 值为包名
• 模块是顶层脚本（直接运行）/ 不属于任何包 → 值为 None 或空字符串

相对导入的执行流程：

1. 读取当前模块的 __package__，拿到所属包名；
2. 结合 ./.. 拼接成完整绝对导入路径；
3. 再按普通绝对导入规则加载模块。

和 __name__ 区分

• 模块被导入时：值为包名 + 模块名（如 mypackage.mod1），标识该文件是普通模块
• 文件直接运行：固定为字符串 __main__，标识该文件是主程序入口
• 作用：标识当前代码的运行身份
• 最常用场景：if __name__ == "__main__":   区分「直接运行」和「被导入」，实现代码两用

• 只记录直属包名，不包含自身模块名
• 顶层文件 / 独立运行：值为 None
• 作用：标识当前模块隶属于哪个包

# 导入 mypackage.mod1 后print(mypackage.mod1.__name__)     # mypackage.mod1print(mypackage.mod1.__package__)  # mypackage

为什么一定要把主入口放进包？

1) 支持相对导入，代码解耦更方便（最核心）

• 如果入口在根目录、零散文件：只能用绝对导入，路径写死，项目重构、文件夹改名 / 迁移时，到处改导入语句。
• 入口在规范包结构里：包内模块可以用 ./.. 相对导入，模块之间只关心相对位置，整体目录搬迁、外层包改名，内部代码完全不用改。