花下猫语:最近在看模块及import机制相关的内容,看的材料越多,越知道自己对这块内容的无知还挺多。已经写了一篇《Python 中如何实现自动导入缺失的库?》,还有几个话题想写呢。正巧看到明哥也写了一篇探讨 import 机制的文章,6000 多字,很全面,先分享给大家。等过几天,我再把自己感兴趣的几个话题梳理出来。喵~
剧照 | 《浓情巧克力》
所谓的模块导入,是指在一个模块中使用另一个模块的代码的操作,它有利于代码的复用。
也许你看到这个标题,会说我怎么会发这么基础的文章?
与此相反。恰恰我觉得这篇文章的内容可以算是 Python 的进阶技能,会深入地探讨并以真实案例讲解 Python import Hook 的知识点。
当然为了使文章更系统、全面,前面会有小篇幅讲解基础知识点,但请你有耐心的往后读下去,因为后面才是本篇文章的精华所在,希望你不要错过。
1. 导入系统的基础
1.1 导入单元构成
导入单元有多种,可以是模块、包及变量等。
对于这些基础的概念,对于新手还是有必要介绍一下它们的区别。
模块:类似 *.py,*.pyc, *.pyd ,*.so,*.dll 这样的文件,是 Python 代码载体的最小单元。
包还可以细分为两种:
Regular packages:是一个带有 __init__.py 文件的文件夹,此文件夹下可包含其他子包,或者模块
Namespace packages
关于 Namespace packages,有的人会比较陌生,我这里摘抄官方文档的一段说明来解释一下。
Namespace packages 是由多个 部分 构成的,每个部分为父包增加一个子包。各个部分可能处于文件系统的不同位置。部分也可能处于 zip 文件中、网络上,或者 Python 在导入期间可以搜索的其他地方。命名空间包并不一定会直接对应到文件系统中的对象;它们有可能是无实体表示的虚拟模块。
命名空间包的 属性不使用普通的列表。而是使用定制的可迭代类型,如果其父包的路径 (或者最高层级包的 sys.path) 发生改变,这种对象会在该包内的下一次导入尝试时自动执行新的对包部分的搜索。
命名空间包没有 文件。实际上,在导入搜索期间可能找到多个 parent 目录,每个都由不同的部分所提供。因此 parent/one 的物理位置不一定与 parent/two 相邻。在这种情况下,Python 将为顶级的 parent 包创建一个命名空间包,无论是它本身还是它的某个子包被导入。
1.2 相对/绝对对导入
当我们 import 导入模块或包时,Python 提供两种导入方式:
相对导入(relative import ):import foo.bar 或者 form foo import bar
绝对导入(absolute import):from . import B 或 from ..A import B,其中.表示当前模块,..表示上层模块
你可以根据实际需要进行选择,但有必要说明的是,在早期的版本( Python2.6 之前),Python 默认使用的相对导入。而后来的版本中( Python2.6 之后),都以绝对导入为默认使用的导入方式。
使用绝对路径和相对路径各有利弊:
当你在开发维护自己的项目时,应当使用相对路径导入,这样可以避免硬编码带来的麻烦。
而使用绝对路径,会让你模块导入结构更加清晰,而且也避免了重名的包冲突而导入错误。
1.3 导入的标准写法
在 PEP8 中有一条,对模块的导入顺序提出了要求,不同来源模块导入,应该有清晰的界限,使用一空行来分开。
import 语句应当分行书写
import语句应当使用absolute import
import语句应当放在文件头部,置于模块说明及docstring之后,全局变量之前
import语句应该按照顺序排列,每组之间用一个空格分隔,按照内置模块,第三方模块,自己所写的模块调用顺序,同时每组内部按照字母表顺序排列
2. __import__ 的妙用
在 Python 中使用 import 关键字来实现模块/包的导入,可以说是基础中的基础。
但这不是唯一的方法,还有和等。
对于 ,普通的开发者,可能就会比较陌生。
和 import 不同的是, 是一个函数,也正是因为这个原因,使得 的使用会更加灵活,常常用于框架中,对于插件的动态加载。
实际上,当我们调用 import 导入模块时,其内部也是调用了 ,请看如下两种导入方法,他们是等价的。
通过举一反三,下面两种方法同样也是等价的。
上面我说 常常用于插件的动态,事实上也只有它能做到(相对于 import 来说)。
通常会位于某一特定的文件夹下,在使用过程中,可能你并不会用到全部的插件,也可能你会新增插件。
如果使用 import 关键字这种硬编码的方式,显然太不优雅了,当你要新增/修改插件的时候,都需要你修改代码。更合适的做法是,将这些插件以配置的方式,写在配置文件中,然后由代码去读取你的配置,动态导入你要使用的插件,即灵活又方便,也不容易出错。
假如我的一个项目中,有 、、 、 四个插件,这些插件下都会实现一个核心方法 。但有时候我不想使用全部的插件,只想使用 、 ,那我就在配置文件中写我要使用的两个插件。
那我如何使用动态加载,并运行他们呢?
3. 理解模块的缓存
在一个模块内部重复引用另一个相同模块,实际并不会导入两次,原因是在使用关键字 导入模块时,它会先检索 里是否已经载入这个模块了,如果已经载入,则不会再次导入,如果不存在,才会去检索导入这个模块。
来实验一下,在 这个模块里,我 import 两次 这个模块,按逻辑每一次 import 会一次 里的代码(即打印 ),但是验证结果是,只打印了一次。
该现象的解释是:因为有 的存在。
是一个字典(key:模块名,value:模块对象),它存放着在当前 namespace 所有已经导入的模块对象。
运行结果如下,可见在 导入后 json 模块后, 才有了 json 模块的对象。
由于有缓存的存在,使得我们无法重新载入一个模块。
但若你想反其道行之,可以借助 importlib 这个神奇的库来实现。事实也确实有此场景,比如在代码调试中,在发现代码有异常并修改后,我们通常要重启服务再次载入程序。这时候,若有了模块重载,就无比方便了,修改完代码后也无需服务的重启,就能继续调试。
还是以上面的例子来理解, 改写成如下
使用 python3 来执行这个模块,与上面不同的是,这边执行了两次
4. 查找器与加载器
如果指定名称的模块在 找不到,则将发起调用 Python 的导入协议以查找和加载该模块。
此协议由两个概念性模块构成,即 和 。
一个 Python 的模块的导入,其实可以再细分为两个过程:
由查找器实现的模块查找
由加载器实现的模块加载
4.1 查找器是什么?
查找器(finder),简单点说,查找器定义了一个模块查找机制,让程序知道该如何找到对应的模块。
其实 Python 内置了多个默认查找器,其存在于 sys.meta_path 中。
但这些查找器对应使用者来说,并不是那么重要,因此在 Python 3.3 之前, Python 解释将其隐藏了,我们称之为隐式查找器。
由于这点不利于开发者深入理解 import 机制,在 Python 3.3 后,所有的模块导入机制都会通过 sys.meta_path 暴露,不会在有任何隐式导入机制。
观察一下 Python 默认的这几种查找器 (finder),可以分为三种:
一种知道如何导入内置模块
一种知道如何导入冻结模块
一种知道如何导入来自 import path 的模块 (即 path based finder)。
那我们能不能自已定义一个查找器呢?当然可以,你只要:
定义一个实现了 find_module 方法的类(py2和py3均可),或者实现 find_loader 类方法(仅 py3 有效),如果找到模块需要返回一个 loader 对象或者 ModuleSpec 对象(后面会讲),没找到需要返回 None
定义完后,要使用这个查找器,必须注册它,将其插入在 sys.meta_path 的首位,这样就能优先使用。
查找器可以分为两种:
这里需要注意的是,在 3.4 版前,查找器会直接返回 加载器(Loader)对象,而在 3.4 版后,查找器则会返回模块规格说明(ModuleSpec),其中 包含加载器。
而关于什么是 加载器 和 模块规格说明, 请继续往后看。
4.2 加载器是什么?
查找器只负责查找定位找模,而真正负责加载模块的,是加载器(loader)。
一般的 loader 必须定义名为 的方法。
为什么这里说一般,因为 loader 还分多种:
通过查看源码可知,不同的加载器的抽象方法各有不同。
加载器通常由一个 查找器 返回。详情参见 PEP 302。
那如何自定义我们自己的加载器呢?
你只要:
若你想看具体的例子,可以接着往后看。
4.3 模块的规格说明
导入机制在导入期间会使用有关每个模块的多种信息,特别是加载之前。大多数信息都是所有模块通用的。模块规格说明的目的是基于每个模块来封装这些导入相关信息。
模块的规格说明会作为模块对象的 属性对外公开。有关模块规格的详细内容请参阅 。
在 Python 3.4 后,查找器不再返回加载器,而是返回 ModuleSpec 对象,它储存着更多的信息
模块名
加载器
模块绝对路径
那如何查看一个模块的 ModuleSpec ?
这边举个例子
从 ModuleSpec 中可以看到,加载器是包含在内的,那我们如果要重新加载一个模块,是不是又有了另一种思路了?
来一起验证一下。
现在有两个文件:
一个是 my_info.py
另一个是:main.py
在 处,我加了一个断点,目的是当运行到断点处时,我修改 my_info.py 里的 name 为 ,以便验证重载是否有效?
从结果来看,重载是有效的。
4.4 导入器是什么?
导入器(importer),也许你在其他文章里会见到它,但其实它并不是个新鲜的东西。
它只是同时实现了查找器和加载器两种接口的对象,所以你可以说导入器(importer)是查找器(finder),也可以说它是加载器(loader)。
5. 远程导入模块
由于 Python 默认的 查找器和加载器 仅支持本地的模块的导入,并不支持实现远程模块的导入。
为了让你更好的理解 Python Import Hook 机制,我下面会通过实例演示,如何自己实现远程导入模块的导入器。
5.1 动手实现导入器
当导入一个包的时候,Python 解释器首先会从 sys.meta_path 中拿到查找器列表。
默认顺序是:内建模块查找器 -> 冻结模块查找器 -> 第三方模块路径(本地的 sys.path)查找器
若经过这三个查找器,仍然无法查找到所需的模块,则会抛出ImportError异常。
因此要实现远程导入模块,有两种思路。
一种是实现自己的元路径导入器;
另一种是编写一个钩子,添加到sys.path_hooks里,识别特定的目录命名模式。
我这里选择第一种方法来做为示例。
实现导入器,我们需要分别查找器和加载器。
首先是查找器
由源码得知,路径查找器分为两种
MetaPathFinder
PathEntryFinder
这里使用 MetaPathFinder 来进行查找器的编写。
在 Python 3.4 版本之前,查找器必须实现 方法,而 Python 3.4+ 版,则推荐使用 方法,但这并不意味着你不能使用 ,但是在没有 方法时,导入协议还是会尝试 方法。
我先举例下使用 该如何写。
若使用 ,要注意此方法的调用需要带有两到三个参数。
第一个是被导入模块的完整限定名称,例如 。第二个参数是供模块搜索使用的路径条目。对于最高层级模块,第二个参数为 ,但对于子模块或子包,第二个参数为父包 属性的值。如果相应的 属性无法访问,将引发 。第三个参数是一个将被作为稍后加载目标的现有模块对象。导入系统仅会在重加载期间传入一个目标模块。
接下来是加载器
由源码得知,路径查找器分为两种
FileLoader
SourceLoader
按理说,两种加载器都可以实现我们想要的功能,我这里选用 SourceLoader 来示范。
在 SourceLoader 这个抽象类里,有几个很重要的方法,在你写实现加载器的时候需要注意
get_code:获取源代码,可以根据自己场景实现实现。
exec_module:执行源代码,并将变量赋值给 module.dict
get_data:抽象方法,必须实现,返回指定路径的字节码。
get_filename:抽象方法,必须实现,返回文件名
在一些老的博客文章中,你会经常看到 加载器 要实现 ,而这个方法早已在 Python 3.4 的时候就被废弃了,当然为了兼容考虑,你若使用 也是可以的。
当你使用这种旧模式实现自己的加载时,你需要注意两点,很重要:
execute_module 必须重载,而且不应该有任何逻辑,即使它并不是抽象方法。
load_module,需要你在查找器里手动执行,才能实现模块的加载。。
做为替换,你应该使用 和 。由于基类里已经实现了 和 ,并且满足我们的使用场景。我这边可以不用重复实现。和旧模式相比,这里也不需要在设查找器里手动执行 。
查找器和加载器都有了,别忘了往sys.meta_path 注册我们自定义的查找器(UrlMetaFinder)。
所有的代码都解析完毕后,我们将其整理在一个模块(my_importer.py)中
5.2 搭建远程服务端
最开始我说了,要实现一个远程导入模块的方法。
我还缺一个在远端的服务器,来存放我的模块,为了方便,我使用python自带的 模块用一条命令即可实现。
一切准备好,我们就可以验证了。
至此,我实现了一个简易的可以导入远程服务器上的模块的导入器。
6. 参考文档
https://docs.python.org/zh-cn/3/reference/import.html
https://docs.python.org/zh-cn/3/library/importlib.html#module-importlib.abc
https://python3-cookbook.readthedocs.io/zh_CN/latest/c10/p11_load_modules_from_remote_machine_by_hooks.html
领取专属 10元无门槛券
私享最新 技术干货