Python模块mypy类型检查报错：导入类提示无属性的问题咨询

为什么会出现运行正常但类型检查报错的差异？ #

Python运行时是动态执行的，若脚本运行过程中间接加载了MyModule.MyModule子模块（比如其他关联导入逻辑），Python会动态把MyClass这类成员挂载到MyModule包的命名空间下，所以运行时不会报错。但mypy是静态类型检查器，它不会执行代码，只会依据静态文件结构分析：

• 你的MyModule包的__init__.py是空的，mypy默认认为这个包的公共API就是__init__.py里显式定义或导入的内容。
• MyClass和MyOtherClass实际在子模块MyModule.MyModule中，mypy不会自动遍历包内所有子模块来推断包的属性，因此会报错说MyModule没有这些属性。

是否必须把所有接口都加到__init__.py？ #

不是必须，但这是实现简洁包级导入（from MyModule import X）并让mypy识别的标准做法。除此之外还有两种替代方案：

• 直接导入子模块：在脚本里写from MyModule.MyModule import MyClass, MyOtherClass，这样mypy能直接定位到类定义，不需要修改__init__.py。但缺点是导入路径更长，且用户代码会依赖你的内部子模块结构，后续调整内部文件时可能需要同步修改用户代码。
• 使用__all__声明导出列表：在__init__.py中添加__all__ = ["MyClass", "MyOtherClass"]，告诉mypy和Python这是包的公共导出成员。但注意，这种方式仅对from MyModule import *有效，如果你用from MyModule import MyClass这种显式导入，mypy还是会报错——因为__all__只是声明，并没有把成员实际导入到包的命名空间里。

如果希望保持简洁的导入方式，同时明确包的公共API（这也是Python包的最佳实践），在__init__.py里显式导入需要暴露的接口是最优选择。这样既符合mypy的静态检查逻辑，也能让用户不用关心你的内部文件结构，后续维护时调整内部实现也不会影响用户代码。

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