TypeScript严格模式：if-else枚举穷尽时如何让返回类型推断为number

这是个很典型的TypeScript类型推断细节问题，咱们一步步拆解清楚：

为什么switch能正常推断，if-else却不行？ #

TypeScript对switch和if-else的穷尽性检查逻辑存在差异：

• 对于switch语句，当你用联合类型作为判断值，且每个case都明确覆盖了联合类型的所有成员时，TypeScript会判定default分支是不可达的。这意味着它会忽略default分支可能带来的返回值（比如undefined），直接推断函数的返回类型为所有case分支返回值的联合（也就是你期望的number）。
• 而if-else结构，TypeScript默认不会自动判定最后一个else分支是不可达的，除非你用never类型明确告诉它："所有可能的情况都已经被前面的分支覆盖了，进入这个分支的类型只能是never"。否则，它会保留"可能有未覆盖的分支导致函数没有返回值（即返回undefined）"的可能性，所以返回类型会被推断为1 | undefined。

正确的解决方式：用never类型做穷尽性兜底 #

你之前用else { throw undefined; }的问题在于：这个分支并没有让TypeScript检测到未穷尽的枚举——如果后续新增了联合类型的成员，这个else分支依然能接收它，TypeScript不会报错。而用never类型兜底的话，既能让TypeScript正确推断返回类型，又能在未穷尽枚举时给出错误提示：

// 示例联合类型
type MyEnum = 'option1' | 'option2';

function getResult(val: MyEnum): number {
  if (val === 'option1') {
    return 1;
  } else if (val === 'option2') {
    return 2;
  } else {
    // 这里将val赋值给never类型变量，如果有未覆盖的枚举成员，TypeScript会报错
    const _unreachable: never = val;
    throw new Error(`Unexpected value: ${_unreachable}`);
  }
}

这个方案的好处： #

1. 返回类型正确推断：因为所有可达分支要么返回number，要么抛出错误（不会返回undefined），所以TypeScript会将返回类型推断为number。
2. 自动检测未穷尽枚举：如果后续你给MyEnum新增了成员（比如'option3'），TypeScript会在const _unreachable: never = val;这一行报错，提示你有未覆盖的情况，完美解决了你之前的痛点。

为什么你之前的throw方案不行？ #

当你写else { throw undefined; }时，TypeScript认为这个分支是合法的（任何类型都可以进入这个分支），所以不会检测到未穷尽的枚举。而且，虽然这个分支会抛出错误，但TypeScript在推断返回类型时，依然会考虑"如果函数没有进入任何分支（理论上不可能，但TypeScript没收到明确提示）"的情况，所以保留了undefined的可能性。而用never赋值的方式，相当于给TypeScript一个强提示："如果走到这里，说明有未覆盖的类型，这是错误的"，从而触发类型检查错误。

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