FlowType：類型的繼承（類型A是類型B的子集...）

Question

自Flow 42發布以來，您可以使用對象類型傳播。 type TypeB = { ...TypeA }; 🎉

我想這是關於FlowType的初學者類型的問題，但我真的找不到滿足我的答案。

我們假設我有這種類型

type A = {
 x: number
}

type B = {
 y: string
}

現在我想要另一種基於類型A和B的類型，如下所示：

type C = {
 ...A,
 ...B,
 z: boolean
}

恕我直言應該被解釋為：

type C = {
  x: number,
  y: string,
  z: boolean
}

但這顯然不起作用。

你能給我一些建議或最佳實踐嗎？ 非常感謝。

Answer 1

這是一個常見的功能請求，它實際上正在進行中。 這是一個實現解析類型擴展的提交 。 我不確定這個功能的時間表是什么，但我相信它仍然在進行中。

現在，您可以在某些情況下使用交集類型（盡管它們並非真正針對此用例設計並且可能導致令人困惑的問題）：

type C = A & B & {
  z: boolean
}

當然，您也可以選擇立即復制屬性。 這絕對是最簡單的事情，雖然我同意它有點難吃。

Answer 2

我已經證實傳播正如你所期望的那樣，交叉點讓我到處都是。 這是一個簡短的游樂場，顯示流量類型交叉點未能使道具可選，而傳播有效 。

后代的示例代碼：

// @flow

export type Affiliation = {
  id: string,
}

export type Address = {
  address1: string,
}


export type BaseContact = {
  id?: string,
  addresses: Array<Address>,
  affiliations?: Array<Affiliation>,
}

type C = BaseContact & {
  addresses: Array<Address>,
}

type CC = {
  ...BaseContact,
  addresses?: Array<Address>,
}

type CCI = BaseContact & {
  addresses?: Array<Address>,
}


class X {}

const c: C = new X() // fails
const cc: CC = new X() // fails
const cci: CCI = new X() // works