来自<模块>; import ... in __init__.py 使模块名称可见？

Question

采取以下代码示例：

文件 package1/__init__.py：

from moduleB import foo
print moduleB.__name__

文件 package1/moduleB.py：

def foo(): pass

然后从当前目录：

>>> import package1
package1.moduleB

此代码在 CPython 中运行。令我惊讶的是，__init__.py 语句中的 from ... import 使 moduleB 名称可见。根据 Python 文档，情况不应该是这样：

from表单不绑定模块名称

有人可以解释一下为什么 CPython 会这样工作吗？有没有详细描述这一点的文档？

Answer 1

该文档误导了您，因为它是为了描述从包含该模块的父包外部导入模块的更常见情况而编写的。

例如，在我自己的代码中使用“from example import submodule”，其中“example”是一些与我自己的代码完全无关的第三方库，不会绑定名称“example”。它仍然导入 example/__init__.py 和 example/submodule.py 模块，创建两个模块对象，并将 example.submodule 分配给第二个模块对象。

但是，子模块中名称的“from..import”必须在父包对象上设置子模块属性。考虑一下是否没有：

1. package/__init__.py 在导入包时执行。

2. __init__ 执行“从子模块导入名称”。

3. 在稍后的某个时刻，其他完全不同的代码执行“import package.submodule”。

在步骤 3 中，要么 sys.modules["package.submodule"] 不存在，在这种情况下再次加载它会为您提供两个不同作用域中的不同模块对象；或 sys.modules["package.submodule"] 将存在，但 "submodule" 不会是父包对象 (sys.modules["package"]) 的属性，并且 "import package.submodule" 将不执行任何操作。但是，如果它什么都不做，那么使用 import 的代码就无法将子模块作为包的属性来访问！

---

从理论上讲，如果导入机制的其余部分进行了更改以匹配，则可以更改导入子模块的工作方式。

如果您只需要知道从包 P 导入子模块 S 会做什么，那么简而言之：

1. 确保导入 P，否则导入它。 （此步骤递归处理“import ABCD”。）
2. 执行 S.py 以获取模块对象。 （跳过 .pyc 文件的详细信息等）
3. 将模块对象存储在 sys.modules["PS"] 中。
4. setattr(sys.modules["P"], "S", sys.modules["PS"])
5. 如果导入的形式为“import PS”，则在本地范围内绑定“P” 。

Answer 2

这是因为 __init__.py 在运行时将自身表示为 package1 模块对象，因此每个 .py 文件都将被定义为子模块。并重写 __all__ 没有任何意义。您可以创建另一个文件，例如 example.py 并在 __init__.py 中填充相同的代码，它将引发 NameError。

我认为 CPython 运行时在 __init__.py 寻找与其他 python 文件不同的变量时采用特殊算法，可能是这样的：

looking for variable named "moduleB"
if not found:
   if __file__ == '__init__.py': #dont raise NameError, looking for file named moduleB.py
         if current dir contains file named "moduleB.py":
                      import moduleB
         else:
                    raise namerror