PyCharm因NoReturn类型提示标记代码不可达，是否为误报？

首先明确：你对NoReturn的理解存在偏差，PyCharm的提示是静态类型分析的合理结果，而实际运行时的代码可达性，暴露了你的函数不符合NoReturn的约定。

关于NoReturn的正确语义 #

NoReturn类型提示的核心是：函数在任何执行路径下都不会正常返回——要么抛出异常，要么进入无限循环，或者直接终止程序（比如sys.exit()）。一旦标注-> NoReturn，类型检查工具（包括PyCharm）会默认调用该函数后的代码永远不会被执行。

你的函数b的问题 #

看你给出的函数代码：

def b(a: int) -> NoReturn:
    if a < 0:
        raise Exception('Negative numbers are not accepted')

当a >= 0时，函数执行完if分支后没有任何抛出或返回逻辑，Python会默认返回None——这直接违反了NoReturn的约定，因为函数存在正常返回（返回None）的路径。

PyCharm提示的原因 #

PyCharm基于你标注的NoReturn做静态分析，它认为调用A.b()后，程序要么抛出异常被pytest.raises捕获，要么函数不会返回（按NoReturn约定）。但静态分析无法感知测试框架的逻辑和运行时传入的参数，所以直接判定assert行不可达。而实际调试时，若你传入的参数触发了抛出异常的分支，pytest.raises会捕获异常，后续的assert自然会执行——这属于静态分析无法覆盖的运行时场景。

修复方案 #

• 修正函数b，符合NoReturn约定：确保所有执行路径都不会正常返回，比如在if分支后添加兜底的抛出逻辑：

  def b(a: int) -> NoReturn:
      if a < 0:
          raise Exception('Negative numbers are not accepted')
      raise ValueError('Non-negative numbers are not supported')  # 兜底抛出，确保无正常返回路径
  

  这样函数在任何情况下都会抛出异常，严格符合NoReturn语义，PyCharm的静态分析也会更准确。
• 移除NoReturn类型提示：如果函数确实存在不抛出异常的场景（哪怕是返回None），不要用NoReturn，改用-> None或者根据实际逻辑标注合适的返回类型。

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