29

我正在使用 Python 3.6 和flask. 我曾经flask-mysqldb连接到MySQL，但每当我尝试mypy在我的程序上运行时，我都会收到此错误：

跳过分析“flask_mysqldb”：找到模块但没有类型提示或库存根。

我尝试mypy使用标志ignore-missing-imports或follow-imports=skip. 然后我没有收到错误。为什么我会收到此错误？如何在不添加任何其他标志的情况下解决此问题？

4

2 回答 2

37

您收到此错误是因为 mypy 并非旨在尝试对您尝试导入的每个模块进行类型检查。这主要是出于三个原因：

  1. 您尝试导入的模块可能以无法进行类型检查的方式编写。例如，如果模块my_list = []在全局范围内执行类似的操作，mypy 将请求类型提示，因为它不知道该列表应该包含什么。

    这类错误超出了使用图书馆的人的控制范围，因此可能会在各处发送垃圾邮件，这将是令人讨厌和破坏性的。

  2. 即使您尝试干净地导入类型检查的库模块，如果它不使用类型提示，您也不会从尝试将它与 mypy 一起使用中获得太多好处。如果库是动态类型的，mypy 可以静默接受实际上在运行时不进行类型检查的代码。

    这可能会让人们感到惊讶/默默地做错事通常是个坏主意。相反，您会收到明确的警告。

  3. 并非所有模块都是用 Python 编写的——有些模块实际上是 C 扩展。Mypy 无法分析这些模块，因此必须实现一些忽略模块的机制。

如果您没有收到此错误，这意味着以下五件事之一：

  1. 您的库的类型提示已经存在于Typeshed中，它与 mypy 预先捆绑在一起。Typeshed 主要包含标准库和少数流行的 3rd 方库的类型提示。

  2. 该库已经在使用类型提示，并声明它希望被 mypy 分析和类型检查。这是通过py.typed在包中包含一个特殊文件来完成的，该文件使其与 PEP 561 兼容。

  3. 您已经安装了第 3 方“仅存根”软件包。这个包可以与库一起安装，让人们无需修改库本身就可以提供类型提示。例如，django-stubs包包含与 PEP 561 不兼容的 Django 库的类型提示。

  4. 您已将 mypy 配置为使用您自己的自定义存根。也就是说，您基本上已经创建了自己的本地“仅存根”包并告诉 mypy 使用它。

  5. 您已决定抑制错误并接受库现在是动态类型的事实——例如，通过使用您找到的命令行标志或# type: ignore在导入中添加 a。

有关如何处理此错误的更多详细信息，请参阅有关处理来自 3rd 方库的缺失类型提示的 mypy 文档。

于 2020-03-18T01:26:45.330 回答
1

以防万一对任何人都有用。我也遇到了found module but no type hints or library stubs错误，原因是我添加了一个带有 python 文件但没有__init__.py文件的新文件夹。所以修复当然是将那个空文件添加到这个新文件夹中。 https://mypy.readthedocs.io/en/latest/running_mypy.html#how-imports-are-found

于 2021-12-20T19:06:33.847 回答