python - 为什么我不能从模块别名导入？

Question

我刚刚在 python(2.7 和 3.x)中偶然发现了这种意外行为:

>>> import re as regexp
>>> regexp
<module 're' from '.../re.py'>
>>> from regexp import search
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
ImportError: No module named 'regexp'

当然 from re import search 成功了，就像我创建别名之前一样。但为什么我不能使用别名 regexp，它现在是一个已知的模块，作为导入名称的来源？

当一个模块有多个变体时，这会让你大吃一惊:假设我仍在使用 Python 2，并且我想使用 pickle 的 C 版本，cPickle。如果我随后尝试从 pickle 导入名称，它将从简单的 pickle 模块中获取(我不会注意到，因为它不会抛出错误! )

>>> import cPickle as pickle
>>> from pickle import dump
>>> import inspect
>>> inspect.getsourcefile(dump)
'.../python2.7/pickle.py'    # Expected cPickle.dump 

糟糕!

四处寻找，我看到 sys.modules 包含真正的模块名称(re 或 cPickle，但不包含别名 regexp 或 pickle。这解释了 如何 第二次导入失败，但没有解释为什么 python 模块名称解析以这种方式工作，即规则和理由是这样做的。

注意:这被标记为 a question 的副本这与模块别名无关:问题(关于从包中导入子模块)或最佳答案中甚至没有提到别名。虽然该问题的答案提供了与该问题相关的信息，但恕我直言，这些问题本身甚至都不相似。

Answer 1

简而言之:

你可以这样想加载过程:

您可以以变量的形式加载模块到您的程序中。您可以根据需要为使用模块的变量命名。 但是，加载过程是基于模块文件的名称，而不是“模块变量”。

---

长版:

import re创建一个名为 re 的全局变量作为“模块门户”，它提供使用模块操作的能力。

最相似，import re as regex在名为 regex 的变量下创建这样一个“门户” .

但是，当希望创建此类门户并将模块功能加载到其中时，导入程序不会使用此类引用。相反，它会在你的 python \Lib 中寻找模块。目录，或您当前的工作目录，作为名为 re.py 的文件 (或者您导入的模块的名称)。

import指令不针对变量，而是针对文件，例如#include<stdio.h>在 C 中。它们有自己的“自己的语法”和指令集，由解释器结构决定，在这种情况下，解释器结构是 re 的解释。作为文件名而不是变量和 as用于管理模块“门户”的名称。

这就是为什么 regex是re 门户的操作别名 ，但不是模块的导入别名(为此您必须使用文件的名称)。

• 我使用了诸如“模块门户”和“操作别名”之类的术语，因为我没有找到这些术语的任何标准术语。大多数模块和导入器机制都与解释器实现有关。在 CPython 中(C API 在开发人员中很常见)，例如， create_module 使用提供的模块规范和 PyObject 为导入器创建模块(以 PyModule_NewObject s 的形式)和 PyModule_New 具有模块属性的模块实例创建函数。这些可以在 C API modules decumentation 中查看.

• 当我提到术语“门户”作为引用由 import 创建的变量的方式时声明，我的意思是将其称为静态 门户，而不是动态 门户。模块文件中的更改不会反射(reflect)在已经导入它的正在运行的程序中(只要它没有重新加载它)，因为它会加载模块的副本并使用它，而不是向模块文件询问遇到需要就操作。

---

这里几乎是实时加载变量的方式:

>>> import re
>>> re
<module 're' from 'C:\\Programs\\Python35\\lib\\re.py'>
>>> import re as regex
>>> regex
<module 're' from 'C:\\Programs\\Python35\\lib\\re.py'>

你可以看到re是引用的模块，它是从文件C:\Programs\Python35\lib\re.py加载的(可能会根据 python 的安装位置而改变)。