为什么TypeGuard无法正确处理子联合类型？MyPy类型守卫相关报错咨询

这个问题其实是MyPy对自定义TypeGuard的穷尽性检查逻辑限制导致的，咱们一步步来拆解原因和解决办法：

核心问题分析 #

你的valid函数能通过检查，是因为MyPy对内置的isinstance有特殊优化：它能直接识别出isinstance(x, A) + isinstance(x, B) or isinstance(x, C)已经完全覆盖了ABC = A | B | C的所有分支，所以确认函数总有返回值。

而invalid函数里，虽然逻辑上isinstance(x, A)排除了A类型，isBorC(x)又覆盖了B和C类型，但MyPy的联合类型穷尽性检查目前不支持通过自定义TypeGuard来推导剩余分支已完全覆盖——它只会在isBorC(x)为True的时候正确缩小x的类型（比如你在该分支调用B/C独有的方法不会报错），但不会反向结合前面的条件，判断所有可能的类型都已经被处理了。因此MyPy会认为存在未覆盖的分支，抛出Missing return statement错误。

可行的解决办法 #

这里有几个常见的处理方式：

• 添加不可达断言：在函数最后加上assert False, "Unreachable code"，明确告诉MyPy这个分支不可能到达，这样就能消除报错：

  def invalid (x: ABC) -> str:
      if isinstance(x, A):
          return 'a'
      if isBorC(x):
          return 'b or c'
      assert False, "This line should never be reached"
  

• 直接使用类型强制转换（不推荐）：如果不想加断言，可以用cast强制标记剩余类型为NoReturn，但这种方式会绕过类型检查，不如断言直观：

  from typing import cast, NoReturn
  
  def invalid (x: ABC) -> str:
      if isinstance(x, A):
          return 'a'
      if isBorC(x):
          return 'b or c'
      cast(NoReturn, x)
  

• 复用TypeGuard同时手动补全分支：如果你想保留isBorC的复用性，也可以在最后加一个针对剩余类型的判断（虽然逻辑上冗余，但能让MyPy满意）：

  def invalid (x: ABC) -> str:
      if isinstance(x, A):
          return 'a'
      if isBorC(x):
          return 'b or c'
      # 冗余但能通过检查的分支
      isinstance(x, (B, C))
      return 'b or c'
  

补充说明 #

你提到在ifBorC的分支里调用B/C独有的方法没问题，这是因为TypeGuard确实在True分支正确完成了类型缩小——MyPy知道此时x是BorC类型，所以允许调用对应方法。只是在判断函数返回的穷尽性时，MyPy还没有把自定义TypeGuard纳入到分支覆盖的推导逻辑里，这是当前版本MyPy的一个已知限制。

备注：内容来源于stack exchange，提问作者Nathan Kronenfeld