Python except块隐式返回None为何未触发返回类型提示校验？

这是Python主流静态类型检查器（比如mypy、pyright）默认校验规则的设计边界导致的，和检查器的控制流分析深度、校验范围直接相关：

• 只要是显式写了return语句的分支，检查器一定会逐句匹配return的返回值和函数标注的返回类型：第一段代码except分支明写了return None，检查器直接就能识别到None和标注的str类型不匹配，抛出报错，这个行为完全符合预期。
• 对于没有显式写return的分支，检查器默认不会做全路径的隐式返回穷尽校验，这也是第二段代码漏报的核心原因：
  1. Python本身的规则是如果函数执行完所有分支都没命中return，会隐式返回None，但这类隐式返回的校验属于严格模式下的可选检查项，默认是关闭的。毕竟这类检查误报率很高——很多场景下except块的逻辑本来就是抛出其他异常、直接终止流程，根本不会走完分支落到函数末尾隐式返回，默认开启会产生大量无效报错。
  2. 检查器默认不会做高成本的深度可达性分析：第二段代码try块里raise ValueError()之后的return "None"逻辑上完全不可达，但检查器默认不会顺着执行流逐句判定代码是否能跑到，只要扫到函数体内存在一个返回值为str类型的显式return语句，就会初步判定函数满足返回类型标注，不会继续往下校验except块只写了pass、没有任何return语句、走完就直接落出函数体隐式返回None的问题。

如果需要捕获这类问题，可以手动开启类型检查器的缺失返回值严格校验规则，就能抓到这类隐式返回导致的类型不匹配问题。

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