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

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

并且testapp/api/utils.py定义x：

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语句不会绑定模块名称：

从形式不绑定模块名称：它遍历标识符列表，在步骤（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.api.utils引用testapp.utils并失败，但是我不确定。

这是怎么回事

Answer 1

从导入系统文档中：

当使用任何机制（例如importlibAPI，import或， import-from
语句或内置__import__()）加载子模块时，将在父模块的名称空间中放置与子模块对象的绑定。例如，如果packagespam具有一个子模块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']and
sys.modules['spam.foo']（如在上述导入之后一样），则后者必须作为foo前者的属性出现。

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