TypeScript中如何优雅处理穷尽switch的运行时意外值？

你遇到的这个问题很典型——TypeScript的编译时类型推断认为你的switch已经覆盖了所有可能的Circle | Rectangle分支，所以最后一行的shape被推断为never类型，但运行时可能存在用户输入的意外值，导致你需要访问shape.shape却被编译器阻止。

下面分享几种比any或下标运算符更优雅的解决方案：

方法一：提前提取shape类型到变量 #

这是最简洁的方案之一，在switch之前就把shape.shape提取到一个变量中。因为变量的类型会被推断为"circle" | "rectangle"，但运行时它可以是任意字符串，所以后续throw语句访问变量时不会有类型问题：

type Circle = { shape: "circle", radius: number };
type Rectangle = { shape: "rectangle", length: number, width: number };

function area(shape: Circle | Rectangle): number {
  const shapeType = shape.shape; // 类型为 "circle" | "rectangle"，运行时可接受任意string
  switch (shapeType) {
    case "circle":
      return Math.PI * shape.radius * shape.radius;
    case "rectangle":
      return shape.length * shape.width;
  }
  throw new Error(`Unexpected shape '${shapeType}'`); // 无类型错误
}

方法二：用类型断言保留never语义同时允许访问属性 #

如果你不想提前提取变量，可以给shape添加一个类型断言，让编译器知道它可能包含一个shape属性，同时保留never的语义（表示这是意外情况）：

throw new Error(`Unexpected shape '${(shape as never & { shape: string }).shape}'`);

这种方式既不会破坏TypeScript的穷尽检查（如果后续新增了形状类型，编译器仍会提示你更新switch分支），又能合法访问shape.shape。

方法三：封装穷尽检查辅助函数 #

如果你的代码中有多处类似场景，可以封装一个专门处理意外形状的辅助函数，既复用逻辑又保持代码整洁：

function throwUnexpectedShape(value: never): never {
  throw new Error(`Unexpected shape '${(value as { shape: string }).shape}'`);
}

// 在area函数中使用：
function area(shape: Circle | Rectangle): number {
  switch (shape.shape) {
    case "circle":
      return Math.PI * shape.radius * shape.radius;
    case "rectangle":
      return shape.length * shape.width;
  }
  return throwUnexpectedShape(shape); // 编译器仍会做穷尽检查
}

这个辅助函数的优势在于，只要你新增了Shape联合类型的成员，编译器会立即提示你更新switch分支，否则shape无法传入throwUnexpectedShape（因为参数要求是never），完美兼顾了编译时检查和运行时容错。

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