javascript - 如何使受歧视的工会与解构一起工作？

Question

考虑以下三种类型，其中 MainType 是 Type1 和 Type2 的并集。如果 kind 为 "kind1"，则 data 的类型应与 相同的 {msg: string}类型2

interface Type1 {
    kind: "kind1";
    data: { msg: string };
}
interface Type2 {
    kind: "kind2";
    data: { msg2: string };
}

type MainType = Type1 | Type2;

这是第一种使用方法。

function func(obj: MainType) {
    switch (obj.kind) {
        case "kind1": return obj.data.msg;
        case "kind2": return obj.data.msg2;
    }
}

上面的代码没有给出错误并显示正确的自动完成。

但是当我们解构obj时，它会给出错误。

function func({kind, data}: MainType) {
    switch (kind) {
        case "kind1": return data.msg;
        case "kind2": return data.msg2;
    }
}

错误是

Property 'msg' does not exist on type '{ msg: string; } | { msg2: string; }'

也许这是非常基本的东西。但我对 ts 很陌生，所以我无法理解解构如何改变类型。请解释原因并告知有什么办法可以解决。

Answer 1

通过在函数参数级别使用解构，我们失去了 kind 和 data 之间的连接。因此，按kind切换并不会缩小data的范围，因为现在它们处于不同的数据结构中。

我可以说，您删除了 kind 和 data 之间的界限，这意味着您实际上引入了两个变量，其中一个变量的类型为 kind1 | kind2 和第二个类型为 { msg: string; } | { 消息2:字符串； }。

结果我们不再有kind形式的判别式。

下面是解构行为的等效代码:

const f = (t: MainType) => {
  const kind = t.kind // "kind1" | "kind2";
  const data = t.data // {msg: string;} | {msg2: string;}
}

是的，从逻辑 Angular 来看，您的代码完全没问题，它应该可以工作，因为我们知道这些字段之间的关系。不幸的是 TS 无法理解边界。

总结 - 不幸的是，除非您不将类型缩小到联合的特定成员，否则您不能使用解构，因为它会破坏字段之间的类型关系。

<小时/>

我们可以考虑通过一些类型保护来解决方法。考虑以下示例:

const isKind1 = (kind: MainType['kind'], data: MainType['data']): data is Type1['data'] 
=> kind === 'kind1'
const isKind2 = (kind: MainType['kind'], data: MainType['data']): data is Type2['data'] 
=> kind === 'kind2'

const f = ({kind, data}: MainType) => {
  if (isKind1(kind, data)) {
    data // is { msg: string }
  }
  if (isKind2(kind, data)) {
    data // is { msg2: string }
  }
}

通过使用类型保护 isKind1 和 isKind2，我们能够在这两个变量之间创建连接。但问题是我们不能再使用 switch 了，我们还有更多的代码，并且字段关系在函数中实现，而不是类型定义，这种方法很容易出错，因为我可以在函数中做与原始关系不同的关系类型正在定义。

需要明确的是，我表明这是可能的，但得不偿失，我建议保留原始实现而不进行解构。