TypeScript 怎么用 never 实现穷尽检查防止遗漏分支？

Question

仓乃文 · Accepted Answer

switch 处理联合类型时，新增成员后容易忘记添加对应分支，导致逻辑遗漏。将 default 分支赋值给 never 类型，如果联合类型新增了成员但 switch 没处理，编译时就会报错，强制补全分支。

穷尽检查函数：
```typescript
function assertNever(x: never): never {
  throw new Error("未处理的类型: " + x);
}
```

在 switch 中使用：
```typescript
type Shape =
  | { kind: "circle"; radius: number }
  | { kind: "square"; size: number }
  | { kind: "triangle"; base: number; height: number };

function getArea(shape: Shape): number {
  switch (shape.kind) {
    case "circle": return Math.PI * shape.radius ** 2;
    case "square": return shape.size ** 2;
    case "triangle": return 0.5 * shape.base * shape.height;
    default: return assertNever(shape);  // 如果 Shape 新增成员，这里报错
  }
}
```

如果新增 { kind: "hexagon" } 到 Shape：
```typescript
// default 分支中 shape 的类型是 { kind: "hexagon" }
// 不能赋值给 never，编译报错
```

补充说明：
- never 是底层类型，任何类型都不能赋值给它（除了 never 自身）
- 穷尽检查确保 switch/if 覆盖所有可能的分支
- 适合 Redux reducer、状态机、事件处理等场景
- 也可以用 never 检查 if-else 链的完整性
- TypeScript 严格模式下效果最好