为何TypeScript有时无法智能推断函数返回值类型？

你写的这段代码里，虽然if (true)在运行时永远只会走true分支，但TypeScript的类型检查器不会对这种常量字面量条件做死代码消除的类型推断——它只会基于代码结构里存在的所有分支，合并各返回路径的类型，所以最终得到string | number的推断结果。

关于你提到的“TS明明有执行流程分析能力却不这么做”，原因在于：

• TS的控制流分析主要用于变量的类型收窄（比如在判断变量类型后，在分支里把变量类型缩小到更具体的范围），但对于常量布尔值的分支，TS默认不会将else分支标记为不可达。这是为了保持类型检查的一致性和可预测性：如果对true这种字面量做特殊处理，那动态条件（比如if (Math.random() < 0.5)）就没法统一规则，而且后续修改条件时，提前的死代码推断反而可能隐藏潜在的类型问题。
• 另外，TS是静态类型系统，它不执行代码，仅做静态分析。if (true)在静态分析时只是一个布尔表达式，TS不会将其认定为“绝对不可达”的分支，自然不会忽略else分支的返回类型。

如果要让TS正确推断返回类型为string，可以用这两种方法：

• 直接删除else分支，毕竟逻辑上它永远不会执行；
• 用never类型标记不可达分支，让TS吸收这个分支的类型：

function test(val: { bar: string, foo: number }): string {
  if (true) {
    return val.bar
  } else {
    const unreachable: never = val.foo;
    throw new Error("此分支永远不会执行");
  }
}

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