typescript - 为什么 typescript 在这种情况下使用联合类型显示错误？

Question

在这种情况下:

type Type = {
    a: string;
    b: string;
} | {
    a: number;
    b: number;
};

const func = ({a, b}: Type): string => {
    if (typeof a === 'string') {
        return b;
    }

    return 'w/e';
}

func({a: 1, b: 'w/e'});

我在 return b; 上遇到错误，声明

Type 'string | number' is not assignable to type 'string'.

  Type 'number' is not assignable to type 'string'.

根据我对错误的理解，Typescript 将 Type 类型解释为

type Type = {
    a: string | number;
    b: string | number;
};

，但即使是这样，为什么我不能用字符串和数字调用 func 函数？

调用状态错误

Argument of type '{ a: number; b: string; }' is not assignable to parameter of type 'Type'.

  Type '{ a: number; b: string; }' is not assignable to type '{ a: number; b: number; }'.

    Types of property 'b' are incompatible.

      Type 'string' is not assignable to type 'number'.

(TS 版本:4.7.2)

Playground link

• 在 UnholySheep 之后编辑的评论:

错误类型的函数调用只是为了检验我关于为什么会出现先前错误的假设。为什么我在 return b; 时出错是我不明白的。

Answer 1

好的，答案是Discriminated Unions。我必须在并集的每个元素中使用一个判别式，一个共同的属性。那，判别式，性质:

1. 必须是原始类型，并且
2. 必须有一个特定的值，而不是该值的类型。例如isPrimary: true，而不是 isPrimary: boolean。

然后我可以检查该属性的值以假定其他属性的类型。

此外，在 Typescript 版本 < 4.6 中，如果我有一个具有上述指定类型的对象，如果我对其进行解构，那么新变量将被视为独立变量，并且我将继续收到类似于初始示例的错误。解构适用于 4.6 或更高版本。

• Playground example (version 4.6)

• Playground example (version 4.5)

有用的链接:

• @Austaras's link to Microsoft's post announcing destructuring support
• Understanding Discriminated Unions
• Typescript's Singleton types

谢谢@Austaras和 @coglialoro