如何使用mypy为importlib导入的Python模块添加类型提示

mypy是静态类型检查工具，所有检查逻辑都在代码运行前执行，无法感知importlib.import_module这种运行时动态导入的模块的内部属性，因此它默认认为动态导入得到的mod对象只有标准模块的通用属性，识别不到你在check模块里自定义的something属性，才会触发attr-defined报错。

方法1：添加类型标注（无需忽略报错） #

如果你的动态导入的目标模块是固定的，可以通过类型标注告诉mypy这个模块的真实类型，即可消除报错：

# check_2.py 修改后代码
from __future__ import annotations
import importlib
from typing import TYPE_CHECKING, cast

# 静态检查阶段导入模块类型，运行时不执行
if TYPE_CHECKING:
    import check  # 此处替换为你实际导入的模块名，如果你实际要导入的是check_1就写import check_1 as check

# 用cast告诉mypy动态导入的mod就是check模块的实例
mod = cast("check", importlib.import_module(
    "check",
    package=None,
))
attribute_name = "a"
if getattr(mod, "something", False):
    if getattr(mod.something, attribute_name, False):
        # 注意你原代码这里有逻辑错误：a是something的属性不是mod的属性，要改
        print(getattr(mod.something, attribute_name))

这种方式可以让mypy正常识别模块的所有自定义属性，不需要加忽略注释，是最优解。

方法2：使用忽略注释 #

如果你的动态导入目标是运行时动态生成的，静态阶段无法确定具体模块类型，就可以用type: ignore[attr-defined]忽略报错，这种情况下静态检查确实无法拿到模块的结构信息，忽略是合理的：

if getattr(mod, "something", False): # type: ignore[attr-defined]

你原代码的打印逻辑存在问题：getattr(mod, attribute_name)是从模块上取a属性，但你的a是something实例的属性，运行时会触发AttributeError，需要改成getattr(mod.something, attribute_name)才能正常输出this is something。

内容的提问来源于stack exchange，提问作者baxx