条件联合类型开关类型中的打字稿类型安全

Question

我有一个简单的函数，将联合类型和 boolean 作为参数，但无法让它由 Typescript 键入。

我有这个代码 (playground here)：

type A = 'a' | 'A';

function f(a: A, b: boolean): string {
    if (b) {
        switch (a) {
            case 'a': return '';
            case 'A': return '';
        }
    } else {
        switch (a) {
            case 'a': return '';
            case 'A': return '';
        }
    }
}

编译器（启用strictNullChecks 时）告诉我Function lacks ending return statement and return type does not include 'undefined'.

我真的不想添加default 案例，因为这里的目标是确保当我在A 中添加新类型时，我在f 中正确处理它们。而且我没有看到我缺少哪个分支。

我可以通过写作来解决它（请参阅链接的游乐场）：

function g(a: A): string {
    switch (a) {
        case 'a': return '';
        case 'A': return '';
    }
}

function f2(a: A, b: boolean): string {
    if (b) {
        return g(a);
    } else {
        return g(a);
    }
}

（当然在现实生活中我需要两个不同的 g 函数，但对于打字问题这并不重要）。

如何让 typescript 编译 f 而不引入像 g 这样的中间函数？

Answer 1

您可以添加 default 案例来修复它，例如

function f(a: A, b: boolean): string {
    if (b) {
        switch (a) {
            case 'a': return '';
            case 'A':
            default: return '';
        }
    } else {
        switch (a) {
            case 'a': return '';
            case 'A':
            default: return '';
        }
    }
}

您还可以使用 never 类型通过返回它来修复它，例如

function f(a: A, b: boolean): string {
    if (b) {
        switch (a) {
            case 'a': return '';
            case 'A': return '';
            default:
                const _exhaustiveCheck: never = a;
                return _exhaustiveCheck;
        }
    } else {
        switch (a) {
            case 'a': return '';
            case 'A': return '';
            default:
                const _exhaustiveCheck: never = a;
                return _exhaustiveCheck;
        }
    }
}