Flowtype：所有字段为Maybes的类型的简写

Question

使用 Flow，有时我想表示某种类型的对象，但其中任何字段都可能是 undefined 或 null。

例如，在验证 T 类型的对象时，在验证之前我知道我有一些看起来像 T 但可能缺少一些字段的东西。验证成功后，我知道我有一个T，并且每次使用它们时都不需要对所有字段进行空检查。

type T = { a: number, b: number }
type MaybeT = { a: ?number, b: ?number }

const validate = (candidate: MaybeT): T => {
  if (!candidate.a || !candidate.b) {
    throw 'Invalid'
  }

  return { a: candidate.a, b: candidate.b }
}

const maybeT: MaybeT = getInputFromUser()

const t: T = validate(maybeT)

doStuffKnowingAllFieldsOfTAreDefined(t)

显然，MaybeT 的重新定义很冗长，如果我修改 T，我现在还必须记住修改 MaybeT。

我的问题：

1. 在 Flow 中是否有某种简写形式，例如 $WithAllFieldsMaybe<T>，所以我可以直接从 T 派生 MaybeT 而无需手动操作？

2. 如果没有，是否有更好的模式，无需使用两种单独的类型？据我所知，没有办法让 Flow“知道”validate 之后的所有字段都存在，因为例如，我可以在 validate 运行后将字段设置回 null - 所以我不知道在这里看不到使用单一类型的方法。

Answer 1

允许任何字段为undefined：

type Person = {
  name: string,
  age: number
}

type OptionalPerson = $Shape<Person>

flow.org/try

---

允许任何字段为null：

type Person = {
  name: string,
  age: number
}

type NullablePerson = $ObjMap<Person, <V>(V) => ?V>

flow.org/try

---

允许任何字段为undefined 或null：

type Person = {
  name: string,
  age: number
}

type MaybePerson = $Shape<$ObjMap<Person, <V>(V) => ?V>>

flow.org/try

---

如果您需要大量使用此模式，您可以为自己创建一个可重用的实用程序类型。例如：

type Maybe<T> = $Shape<$ObjMap<T, <V>(V) => ?V>>

type Person = { 
  name: string, 
  age: number 
}

type MaybePerson = Maybe<Person>

flow.org/try

---

参考资料：

$Shape: Flow 文档中未记录。你可以在这里阅读：http://sitr.us/2015/05/31/advanced-features-in-flow.html#shapet

$ObjMap:https://flow.org/en/docs/types/utilities/#toc-objmap