基于现代Python语言服务器，能否枚举代码路径中可能抛出的异常类型？

由于Python的动态特性，确实无法做到100%枚举所有可能的异常，但有不少工具能通过静态或动态分析推测出大部分潜在异常类型：

静态分析类工具 #

• mypy：作为静态类型检查器，它能基于类型注解和代码逻辑推断异常。比如识别内置函数参数不匹配时的异常（如int("abc")会提示ValueError），或是检测到函数内明确的raise语句时标注对应异常类型。
• pyright：VSCode默认Python语言服务器的核心，擅长追踪代码路径，能识别AttributeError（访问不存在的属性）、IndexError（索引越界）等常见异常，结合类型信息给出精准的异常推测。
• pylint：除了风格检查，它会标记出可能触发异常的代码，比如访问未定义变量时提示NameError，对None调用方法时提示AttributeError。

动态分析类工具（补充静态分析的盲区） #

• 内置traceback模块：配合测试用例运行代码，可捕获实际抛出的异常。若测试覆盖足够多的代码路径，能收集到真实出现的异常类型。
• coverage结合测试：通过高覆盖率的测试，搭配异常捕获日志，记录代码执行过程中实际遇到的异常，作为潜在异常的参考。

需要注意的是，所有工具都无法覆盖Python动态特性带来的所有极端场景（比如运行时动态修改对象属性、动态导入未知模块），但上述工具能提供具有参考价值的异常类型枚举。

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