为什么 Python 的 `from` 形式的 import 语句会绑定模块名称？

Question

我有一个 Python 项目，其结构如下：

testapp/
├── __init__.py
├── api
│   ├── __init__.py
│   └── utils.py
└── utils.py

除了testapp/api/__init__.py，所有模块都是空的，它的代码如下：

from testapp import utils

print "a", utils

from testapp.api.utils import x

print "b", utils

和定义x的testapp/api/utils.py：

x = 1

现在我从根目录导入testapp.api：

$ export PYTHONPATH=$PYTHONPATH:.
$ python -c "import testapp.api"
a <module 'testapp.utils' from 'testapp/utils.pyc'>
b <module 'testapp.api.utils' from 'testapp/api/utils.pyc'>

导入的结果让我吃惊，因为它表明第二个import 语句已经覆盖了utils。然而文档声明from statement will not bind a module name:

from 表单不绑定模块名称：它通过列表 标识符，在步骤中找到的模块中查找它们中的每一个 (1)，并将本地命名空间中的名称绑定到对象，从而 找到了。

确实，当我在终端中使用from ... import ... 语句时，不会引入任何模块名称：

>>> from os.path import abspath
>>> path
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
NameError: name 'path' is not defined

我怀疑这与 Python 有关，在第二个 import 语句时，尝试导入引用 testapp.utils 的 testapp.api.utils 并失败但我不确定。

这里发生了什么？

Answer 1

来自import system documentation：

当使用任何机制加载子模块时（例如importlib API， import 或 import-from 语句，或内置 __import__()) 绑定被放置在父模块的命名空间到子模块 目的。例如，如果包spam 有一个子模块foo，则在 导入spam.foo、spam 将有一个属性foo，即 绑定到子模块。假设您有以下目录 结构：

spam/
    __init__.py
    foo.py
    bar.py

而spam/__init__.py 中包含以下几行：

from .foo import Foo
from .bar import Bar

然后执行以下将名称绑定到foo 和bar spam 模块：

>>> import spam
>>> spam.foo
<module 'spam.foo' from '/tmp/imports/spam/foo.py'>
>>> spam.bar
<module 'spam.bar' from '/tmp/imports/spam/bar.py'>

鉴于 Python 熟悉的名称绑定规则，这可能看起来令人惊讶， 但它实际上是导入系统的一个基本特征。这 不变的持有是，如果你有sys.modules['spam'] 和 sys.modules['spam.foo']（就像您在上述导入后所做的那样）， 后者必须作为前者的foo 属性出现。

如果您执行from testapp.api.utils import x，则导入语句不会将utils 加载到本地命名空间中。但是，导入机制将将utils 加载到testapp.api 命名空间中，以使进一步的导入正常工作。碰巧在您的情况下，testapp.api 也是本地命名空间，所以您会感到惊讶。