5

以下是我的问题的最小示例：

[test/__init__.py]
from test.test1 import Test1
from test.test2 import Test2

[test/test1.py]
class Test1:
    pass

[test/test2.py]
from test import Test1

class Test2:
    pass

模块或 __init__.py 的 Mypy 输出：

test/test2.py:1: error: Module 'test' has no attribute 'Test1'

代码本身在 Python 2 和 Python 3 上运行良好。

4

1 回答 1

4

这是因为你的代码有一个导入周期——为了让 mypy 解析test/__init__.py，它需要准确地理解是什么Test2。（毕竟，如果您决定Test2稍后在该文件中使用/调用其中一种方法怎么办？那么 mypy 需要知道输出是什么）。

因此，它点击了那个导入，有效地暂停，然后跳转到试图理解test/test2.py正在做什么*。

但是在 中test/test2.py，我们遇到了完全相同的问题——我们看到了导入，并且需要跳回test/__init__.py以了解什么Test1是......但是我们还没有完成对该文件的解析！

这是 mypy 与 Python 运行时不同的地方，fyi - mypy 一次只能解析整个文件，但 Python 运行时实际上会暂停执行以运行test/test2.py. 这意味着，当您这样做时from test import Test1，test模块有一个部分完整的符号空间，该符号空间恰好当前只包含Test1，而不是两者Test1和Test2，这就是您的代码在运行时工作的原因。

在这种情况下，修复方法是将导入修改test/test2.py为：

from test.test1 import Test1

这打破了导入周期。

*这实际上并不是 mypy 所做的——它实际上所做的是尝试通过首先识别所有强连接组件(SCC) 来解决导入周期——每个 SCC 基本上都是一个导入周期。

然后它会应用一些启发式方法来确定 SCC 中文件的处理顺序，但这是一个不完美的过程，无法解决所有导入周期。

例如，在您的情况下，无论是我们处理test还是test.test2首先处理，我们都会遇到问题。

-v您可以通过使用标志（对于详细模式）重新运行 mypy 来查看 mypy 标识的 SCC 。

您可以在此处的源代码中找到有关 mypy 使用的算法的更多详细信息。关于导入循环解析算法的具体细节可以在下面找到，这里。

（我怀疑这整个评论有点过时/不完整，仅供参考——还有其他一些与 mypy 的静默导入机制及其增量模式机制相关的问题并没有得到真正的解释。）

可以在此处找到有关 mypy 用于订购 SCC 的确切启发式方法的信息。（基本上，我们用于导入某些东西的确切语法可以给出一些关于 SCC 应该如何排序的提示）。

于 2017-06-03T16:23:23.580 回答