如何让 mypy 识别或忽略动态导入的类型？

Question

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

src/
  __init__.py
  m/
    __init__.py
    a.py
    b.py

src/m/__init__.py的内容是

exec_str = 'A = type("A", (object,), {"x": 1})'

src/m/a.py的内容是

from src.m import exec_str
exec(exec_str)

src/m/b.py的内容是

from src.m.a import A

当我针对这段代码运行 mypy 时，我得到了

错误：模块“src.m.a”没有属性“A”

我不确定是否有办法让 mypy 识别这个模块。我知道我正在动态创建和导入一个类型，所以我不一定希望 mypy 在这里工作，但我也不知道如何让 mypy 忽略它。我尝试添加# type: ignore，但mypy 说misplaced type annotation。

此时，我根本无法让mypy 成功通过。我能做些什么来解决这个问题？

我还应该说，如果可能的话，我真的不想忽略所有 b.py。那里（实际上）有相当数量的代码可以很好地进行类型检查。

Answer 1

不幸的是，这里没有太多好的选择——mypy 不能真正处理动态构造的类型。

您的选择包括：

1. 修改exec_str，使其仅读取exec_str = 'exec("A", (object,), {"x": 1})'，然后在模块a或b中执行A = exec(exec_str)。

   这样，您至少会为模块 b 中的实际变量分配一些东西（尽管“某物”的类型只是 Any）。

2. 将# type: ignore 注释专门添加到导入中。 from src.m.a import A # type: ignore 也是如此。

3. 重组您的代码以降低所需的动态量或使用不同的元编程工具来完成相同的任务。例如，Mypy 对元类有基本的了解。 （我假设您已经考虑过这个选项，但为了完整起见，我认为我应该提及它。