Typescript 接口(interface)一个字段类型依赖于另一个使用接口(interface)交集的字段值 '&'

Question

我正在尝试根据字段“类型”的值推断“数据”类型，但似乎我没有正确...我想使用交集运算符来避免多行条件。

请看下面的代码:

interface IActivityNote {
  type: "note";
  data: {
    title: string;
    content?: string;
  };
}
interface IActivityArchive {
  type: "archive";
  data: { reason: string };
}
type TActivityData = IActivityNote | IActivityArchive;

interface IActivityBase {
  id: string;
  ownerId: string;
}
type TActivity = IActivityBase & TActivityData;

interface IActivityServerBase {
  id: string;
  owner: string;
}
type TActivityServer = IActivityServerBase & TActivityData;

const mapToActivityServer = (activity: TActivity): TActivityServer => ({
  id: activity.id,
  owner: activity.ownerId,
  type: activity.type,
  data: activity.data
});

为什么 TS 不能自己获取它？我是否必须在函数内放置条件以根据类型值指定数据结构？

此处转载:https://codesandbox.io/s/typescript-infering-type-value-with-interface-intersection-svdgsd?file=/src/index.ts

基本上我希望类型是:

{
  id: string
  owner: string
  type: 'note'
  data: { title: string; content?: string }
}

// OR

{
  id: string
  owner: string
  type: 'archive'
  data: { reason: string }
}

但是使用智能交集类型可以避免为每个新的“类型”值复制我想要实现的具有不同“数据”结构的整个对象类型。

Answer 1

这是 TypeScript 中的一个已知错误，请参阅 microsoft/TypeScript#33654 .在 TypeScript 3.5 之前引入 smarter union type checking不可能有这种工作，因为编译器不会费心尝试将它为您的输出推断的类型与带注释的返回类型相关联。公共(public)关系 microsoft/TypeScript#30779改变了一些东西，现在有一些尝试将具有联合属性的对象类型扩展为对象类型的联合，PR 位于 microsoft/TypeScript#36663显然可以使交叉点更好地工作，但显然这些更改都不足以使您的代码正常工作。

尚不清楚何时或是否会修复此错误。目前，解决方法 suggested in ms/TS#33654是传播/解构，以便它确实触发“更智能的联合类型检查”。在您的情况下，它可能看起来像这样:

const mapToActivityServer = (activity: TActivity): TActivityServer => {
    const { ownerId: owner, ...act } = activity;
    return { ...act, owner }; // no error now
} 

Playground link to code