查看所有Python依赖版本

首先让我们从from import在python中的工作方式开始：

首先让我们看看字节代码：

>>> def foo():
... from foo import bar
>>> dis.dis(foo)
2 0 LOAD_CONST 1 (-1)
3 LOAD_CONST 2 (('bar',))
6 IMPORT_NAME 0 (foo)
9 IMPORT_FROM 1 (bar)
12 STORE_FAST 0 (bar)
15 POP_TOP
16 LOAD_CONST 0 (None)

19 RETURN_VALUE嗯有趣:)，所以from foo import bar被翻译成第一个IMPORT_NAME foo，相当于import foo，然后是IMPORT_FROM bar。

现在IMPORT_FROM做了什么？

让我们看看当他发现IMPORT_FROM时python做了什么：

TARGET(IMPORT_FROM)
w = GETITEM(names, oparg);
v = TOP();
READ_TIMESTAMP(intr0);
x = import_from(v, w);
READ_TIMESTAMP(intr1);
PUSH(x);
if (x != NULL) DISPATCH();

break;好吧，基本上他得到要导入的名称，在我们的foo()函数中将是bar，然后他从帧堆栈弹出值v，这是执行的最后一个操作码的返回，即IMPORT_NAME，然后调用函数import_from()有这两个论点：

static PyObject *
import_from(PyObject *v, PyObject *name)
{
PyObject *x;
x = PyObject_GetAttr(v, name);
if (x == NULL && PyErr_ExceptionMatches(PyExc_AttributeError)) {
PyErr_Format(PyExc_ImportError, "cannot import name %S", name);
}
return x;

}正如您所看到的，import_from()函数很容易安静，它首先尝试从模块v获取属性name，如果它不存在则提升ImportError否则返回此属性。

现在这与相对导入有什么关系？

像from . import b这样的相对导入是相同的，例如在OP问题中的from pkg import b。

但是这怎么发生？为了理解这一点，我们应该特别看一下python的import.c模块到get_parent()函数。正如你所看到的那样，函数很安静很长，但是一般来说，当它看到相对导入时它会尝试用父包替换点.取决于__main__模块，这又是来自OP问题的是包pkg。

现在让我们将所有这些放在一起，并试图弄清楚为什么我们最终得到OP问题中的行为。

为此，如果我们可以看到python在进行导入时会做什么，它将对我们有所帮助。好吧，我们的幸运日python已经具备了这个功能，可以通过在额外的详细模式-vv中运行它来启用。

所以使用命令行：

python -vv -c 'import pkg.b'：
Python 2.6.5 (r265:79063, Apr 16 2010, 13:57:41)
[GCC 4.4.3] on linux2
Type "help", "copyright", "credits" or "license" for more information.
import pkg # directory pkg
# trying pkg/__init__.so
# trying pkg/__init__module.so
# trying pkg/__init__.py
# pkg/__init__.pyc matches pkg/__init__.py
import pkg # precompiled from pkg/__init__.pyc
# trying pkg/b.so
# trying pkg/bmodule.so
# trying pkg/b.py
# pkg/b.pyc matches pkg/b.py
import pkg.b # precompiled from pkg/b.pyc
# trying pkg/a.so
# trying pkg/amodule.so
# trying pkg/a.py
# pkg/a.pyc matches pkg/a.py
import pkg.a # precompiled from pkg/a.pyc
# clear[2] __name__
# clear[2] __file__
# clear[2] __package__
# clear[2] __name__
# clear[2] __file__
# clear[2] __package__
...
Traceback (most recent call last):
File "", line 1, in 
File "pkg/b.py", line 1, in 
from . import a
File "pkg/a.py", line 2, in 
from . import a
ImportError: cannot import name a
# clear __builtin__._嗯ImportError之前发生了什么？

首先调用pkg/b.py中的from . import a，如上所述将其翻译为from pkg import a，其再次在字节码中等同于import pkg; getattr(pkg, 'a')。但等一下a也是一个模块？！

好吧，如果我们有像from module|package import module这样的东西，那么这就是有趣的部分，在这种情况下会发生第二次导入，这是导入子句中模块的导入。所以再次在OP示例中我们现在需要导入pkg/a.py，并且如您所知，首先我们在sys.modules中设置新模块的键，该模块将是pkg.a，然后我们继续解释模块pkg/a.py，但在模块之前pkg/a.py完成导入后调用from . import b。

现在来到第二部分，pkg/b.py将被导入，在它转向它将首先尝试import pkg，因为pkg已经导入，所以在我们的sys.modules中有一个键pkg它将只返回该键的值。然后它将import b设置pkg.b中的PLACEHOLDER_FOR_CODE_48并开始解释。我们到达此行from . import a！

但是请记住pkg/a.py已导入，这意味着('pkg.a' in sys.modules) == True，因此将跳过导入，只会调用getattr(pkg, 'a')，但会发生什么？ python没有完成导入pkg/a.py！因此，只会调用getattr(pkg, 'a')，这将在import_from()函数中引发AttributeError，该函数将转换为ImportError(cannot import name a)。

不言而喻：这是我自己努力理解翻译中发生的事情，我远没有成为专家。

EDIt：这个答案被改写了，因为当我再次尝试阅读时，我说我的答案是如何制定的，希望现在它会更有用:)