如何让TypeScript在switch语句中校验已知类型的键？

要让TypeScript识别SomeType的合法key（a/b/c）并对非法case抛出错误，核心是解决Object.keys的类型宽泛问题，并添加类型兜底检查，具体步骤如下：

1. 替换原生Object.keys为类型安全的工具函数 #

原生Object.keys默认返回string[]类型，无法关联到SomeType的key集合。我们可以自定义一个函数，让它返回精确的keyof SomeType数组：

function getObjectKeys<T extends object>(obj: T): Array<keyof T> {
  return Object.keys(obj) as Array<keyof T>;
}

这个函数通过类型断言，将返回值限定为目标对象的key集合类型，只要你确定someType严格符合SomeType接口，这个断言是安全的。

2. 替换调用并完善switch逻辑 #

用自定义函数替代Object.keys，再给switch添加never类型的兜底检查，确保非法case和未覆盖的合法key都会触发报错：

interface SomeType {
  a: any;
  b: any;
  c: any;
}

const someType: SomeType = { a: 1, b: 2, c: 3 };

getObjectKeys(someType).map(key => {
  switch(key){
    case 'a':
      // 处理a的逻辑
      break;
    case 'b':
      // 处理b的逻辑
      break;
    case 'c':
      // 处理c的逻辑
      break;
    case 'some key that doesnt exist in SomeType': // 此处TypeScript会直接抛出类型错误
      break;
    default:
      // 用never类型兜底，若有合法key未覆盖或非法key存在，都会触发报错
      const exhaustiveCheck: never = key;
      throw new Error(`Unexpected key: ${exhaustiveCheck}`);
  }
});

关键原理 #

• 自定义函数让key的类型从宽泛的string变为精确的keyof SomeType（即'a' | 'b' | 'c'），TypeScript会自动校验case值是否属于这个集合。
• default分支的never类型变量，会在存在未覆盖的合法key或非法key时触发类型错误，确保逻辑的完整性。

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