Pants构建系统中Mypy类型检查对无扩展名Python文件的处理问题

在Python项目构建工具Pants中，存在一个关于Mypy类型检查的边界情况处理问题。当项目中存在没有.py扩展名的Python源文件时，Pants的check命令会忽略这些文件，导致类型检查不完整。

问题现象

在Pants 2.22.0版本中，当项目配置如下BUILD文件时：

python_sources(
    name="python-scripts",
    sources=[
        "python-script-without-extension",
    ],
)

执行pants check ::命令不会对python-script-without-extension文件进行Mypy类型检查。然而，格式化工具却能正确处理这类文件，表明问题出在检查阶段而非Python后端本身。

技术分析

通过深入调试和分析Pants源码，发现问题根源在于Mypy后端处理文件时的逻辑。Pants在准备Mypy检查时会生成一个包含待检查文件列表的临时文件__files.txt，而当前实现仅包含带有.py扩展名的文件。

具体来说，相关代码位于pants/backend/python/typecheck/mypy/rules.py文件中。determine_python_files函数负责确定哪些文件需要被Mypy检查，但当前实现仅通过文件扩展名来判断Python文件，忽略了无扩展名的情况。

影响范围

这一问题会影响以下场景：

1. 使用无扩展名Python脚本的项目
2. 遵循某些特殊命名约定的Python文件
3. 需要与特定工具或环境兼容的无扩展名脚本

虽然Python标准实践推荐使用.py扩展名，但在某些特殊场景下（如系统脚本、可执行文件等），开发者可能会选择省略扩展名。

解决方案

修复方案相对直接：修改determine_python_files函数，使其在无法通过扩展名判断时，仍然将文件包含在检查列表中。具体实现可以添加一个else分支无条件包含所有指定文件。

这种修改保持了向后兼容性，同时解决了无扩展名文件被忽略的问题。由于Pants的构建系统已经正确识别这些文件为Python源文件（否则它们不会被包含在python_sources目标中），因此直接包含它们是安全的。

最佳实践建议

虽然此问题将被修复，但从项目维护角度考虑，建议开发者：

1. 尽可能为Python文件添加.py扩展名，遵循社区惯例
2. 如果必须使用无扩展名文件，确保在CI中验证类型检查是否覆盖这些文件
3. 考虑使用shebang(#!/usr/bin/env python3)来明确无扩展名文件的解释器

总结

Pants构建系统对Mypy类型检查的文件过滤逻辑存在一个小但重要的边界情况处理问题。通过理解这一问题的本质和影响范围，开发者可以更好地规划自己的项目结构，同时在等待官方修复期间采取适当的变通方案。这也提醒我们，在构建工具的设计中，需要全面考虑各种文件命名约定的可能性。