mypy项目中stubgen工具对PEP 695类型别名的支持现状分析

mypy作为Python类型检查的重要工具，其配套的stubgen工具在生成类型存根文件方面发挥着关键作用。随着Python 3.12引入PEP 695提出的新类型别名语法，mypy项目正在逐步完善对这一特性的支持。

PEP 695为Python带来了更简洁、更强大的类型系统语法，其中类型别名(Type Alias)的声明方式从原先的TypeAlias形式简化为直接使用type关键字。例如，原先需要这样声明：

ListOrSet: TypeAlias = list[T] | set[T]

现在可以简化为：

type ListOrSet[T] = list[T] | set[T]

然而，当前mypy的stubgen工具尚不能正确处理这种新语法。当输入文件包含PEP 695风格的类型别名时，stubgen会生成一个空文件，而不是预期的类型存根输出。这一行为表明stubgen的解析逻辑尚未适配新的语法结构。

从技术实现角度看，stubgen需要更新其AST解析逻辑来识别新的type语句形式。在Python 3.12中，这种语法会被解析为特定的AST节点，stubgen需要能够遍历并处理这些节点，将其转换为等效的类型存根表示。

对于开发者而言，这一限制意味着目前无法使用stubgen自动为包含PEP 695类型别名的代码生成类型存根。在支持完善前，开发者需要手动维护这些类型别名的存根定义，或者等待mypy团队完成相关功能的开发。

mypy团队已经将这一问题标记为功能请求，表明他们正在积极处理PEP 695相关特性的支持工作。随着Python类型系统的演进，mypy及其工具链的持续更新将确保开发者能够充分利用最新的类型注解特性。