Typescript Tagged Unions - 编译器可以警告您错过的分支案例吗？

Question

我是 TypeScript 的新手。我有以下代码：

type Circle = { kind: "circle" }
type Rectangle = { kind: "rectangle" }
type Triangle = { kind: "triangle" }
type Shape = Circle | Rectangle | Triangle

function numberOfSides(shape: Shape) {
    switch (shape.kind) {
        case "circle": return 0;
    }
}

目前编译良好。是否有任何配置或选项，以便编译器可以警告我我的 switch 语句中缺少案例？

Answer 1

是的，您只需要两件事 - 1. 打开 strictNullChecks 或 noImplicitReturns。 2. 将numberOfSides'返回类型标记为Number。那时编译器会发现你没有处理所有情况并给你这个错误：

函数缺少结束返回语句，返回类型不包括“未定义”。