TypeScript泛型字符串字面量：switch语句穷尽性检查问题

问题描述 #

我有如下简化后的代码片段：

type a = 'a' | 'b';
const fn = <T extends a>(param: T): T => {
  switch(param) {
    case 'a':
      return 'a' as T;
    case 'b':
      return 'b' as T;
  }
};

我无法理解为何编译器会提示缺少返回值，想寻求一种面向未来的修复方式（比如不添加default分支，确保所有分支都被显式处理，未来类型扩展时能触发报错）。移除泛型时代码可正常运行，但我的实际场景中返回类型依赖泛型T。

原因分析 #

编译器报错的核心在于：泛型T extends a表示T可以是a的任意子类型（比如单个字面量'a'或'b'），编译器无法在编译期确认所有可能的T分支都被覆盖。即便你已经处理了'a'和'b'，它仍会认为存在未处理的路径，因此提示缺少返回值。

修复方案 #

方案1：添加穷尽检查断言 #

在switch末尾加入基于never类型的断言代码，既让编译器确认所有分支已覆盖，又能在未来扩展类型时触发报错：

type a = 'a' | 'b';
const fn = <T extends a>(param: T): T => {
  switch(param) {
    case 'a':
      return 'a' as T;
    case 'b':
      return 'b' as T;
  }
  // 穷尽检查：未来扩展a的类型时，此处会触发编译报错
  const _exhaustiveCheck: never = param;
  throw new Error(`Unexpected param: ${_exhaustiveCheck}`);
};

当后续给a添加新类型（比如'c'），编译器会在const _exhaustiveCheck: never = param这一行报错，因为此时param的类型不再是never，强制你添加对应的case分支。

方案2：用类型守卫缩小泛型范围 #

通过自定义类型守卫明确param的类型，让编译器清晰识别所有覆盖分支：

type a = 'a' | 'b';

function isA<T extends a>(param: T): param is Extract<T, 'a'> {
  return param === 'a';
}

function isB<T extends a>(param: T): param is Extract<T, 'b'> {
  return param === 'b';
}

const fn = <T extends a>(param: T): T => {
  if (isA(param)) {
    return 'a' as T;
  }
  if (isB(param)) {
    return 'b' as T;
  }
  // 保留穷尽检查，确保类型扩展时触发报错
  const _exhaustiveCheck: never = param;
  throw new Error(`Unexpected param: ${_exhaustiveCheck}`);
};

这种方式更显式，同样能在类型扩展时触发编译报错，符合面向未来的需求。

关键注意点 #

• 不要添加default分支，否则编译器会认为所有情况已处理，未来扩展a的类型时不会触发报错，违背需求。
• 穷尽检查的核心是利用never类型的特性：只有当param的类型被完全穷尽时，才能赋值给never类型变量。

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