mypy项目中PEP 561规范下存根包优先级问题分析

在Python类型检查工具mypy中，存在一个与PEP 561规范相关的存根包优先级问题。这个问题主要影响那些同时提供内置存根文件(.pyi)和独立存根包(stubs-only package)的库，如NumPy等科学计算库。

根据PEP 561规范，当项目中同时存在两种类型的存根时，独立存根包应该优先于内置存根文件被使用。然而，当前mypy的实现却采用了相反的优先级顺序，这导致了一些兼容性问题。

以NumPy及其配套类型项目NumType为例。NumPy本身提供了内置的.pyi存根文件，这些文件与.py源文件存放在同一目录下。而NumType项目则开发了一套全新的、不兼容的存根包numpy-stubs，旨在提供更先进的类型支持功能。

按照PEP 561的设计初衷，当用户同时安装了NumPy和numpy-stubs时，mypy应该优先使用numpy-stubs中的类型定义。但实际情况是mypy仍然使用了NumPy内置的存根文件，这使得NumType项目无法有效地为用户提供其改进的类型支持。

这个问题的技术根源可能在于mypy模块查找器(FindModuleCache._find_module)中的实现逻辑。在该方法的代码中，内置存根文件的检查可能被放在了独立存根包检查之前，导致了优先级顺序的颠倒。

对于依赖此类功能的开发者来说，目前唯一的临时解决方案是手动删除NumPy安装目录中的所有.pyi文件。但这显然不是一个可持续的方案，也不适合要求普通用户执行这样的操作。

这个问题对类型系统生态的影响较大，特别是对于那些希望逐步改进类型定义而不破坏现有代码的库来说。mypy团队已经确认这是一个需要修复的问题，相关修复工作正在进行中。

理解这个问题的本质有助于Python开发者更好地规划他们的类型提示策略，特别是在开发需要提供多种类型定义变体的库时。同时，这也提醒我们类型检查工具与规范之间保持严格一致性的重要性。