TypeScript：逻辑或类型守卫后无法推断类型非undefined的问题

为什么会报错？ #

TypeScript的控制流分析没办法像人类一样做跨条件的逻辑推导。外层的a || b判断仅能让TS知道“a或b至少有一个为真值”，但进入内层的else分支（即a为假值的场景）时，TS无法自动关联外层条件，推导得出此时b必然是真值，所以依然判定b可能为undefined。

规避错误的几种方法 #

方法1：使用非空断言 #

直接在b后加!，明确告知TypeScript你确定此时b不是undefined：

function test(a: string | undefined, b: string | undefined) {
  if (a || b) {
    if (a) {
      const x = a.length
    } else {
      const y = b!.length
    }
  }
}

注意：非空断言需要开发者自己保证逻辑绝对正确，若逻辑出错，运行时会引发报错。

方法2：重构条件判断，让TS准确识别类型 #

把外层判断拆分为更明确的分支，让TS的类型检查器能清晰识别每个分支里变量的类型：

function test(a: string | undefined, b: string | undefined) {
  if (a) {
    const x = a.length
  } else if (b) {
    const y = b.length
  }
}

这种写法既贴合逻辑，又能让TS精准推导类型，是最推荐的方案。

方法3：在else分支里显式判断b #

如果不想修改外层结构，可以在else分支里添加b存在的判断，用类型守卫让TS确认b的类型：

function test(a: string | undefined, b: string | undefined) {
  if (a || b) {
    if (a) {
      const x = a.length
    } else if (b) {
      const y = b.length
    }
  }
}

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