如何在流中定义具有指定类型的所有可选字段的泛型类型

Question

我们可以很容易地在 typescript 中定义一个泛型类型，它可以让所有字段对于传递的泛型类型都是可选的。这种类型的查询在类型定义中非常有用，可以定义 mongo 查询的结果，因为我们可能不需要获取所有字段，并且可以通过可选的类型规范进行验证。

https://www.typescriptlang.org/docs/handbook/advanced-types.html

interface Person {
    name: string;
    age: number;
}

type Partial<T> = {
    [P in keyof T]?: T[P];
}

const p : Partial<Person> = {
    name:"A"
}

如何使用 Flow 定义相同的事物。我们可以使用 $Keys。但在定义另一种类型时无法获得它的类型，就像我们在类型脚本中所做的那样。 -- [P in keyof T]?: T[P];我们无法在 Flow 中获得 P。 https://flow.org/en/docs/types/utilities/#toc-keys

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

type Partial<T> = {
    [$Keys<T>] : 1;  // doubt here how to get type of prop comes in left
}

const p : Partial<Person> = {
    name:"A"
}

实际我们正在尝试为 Query 编写类型规范。我们也不能为未指定的键提供 null 或 undefined。

type Department = {
    _id : string,
    name : string,
    type : string
}

type Person = {
    _id : string,
    name : string,
    age : number,
    department : Department
}

type Query <T> = {
    [P in keyOf T ]?: 1 | Query<T[P]> 
}

type Document<T> = {
    [P in keyOf T ]?: T[P] | Document<T[P]>     
}

const personDepartments  : Query<Person> = {
    name:1, department :{name:1}
}

这个查询将返回一些结果如下

{_id:"1",name:"abc",department:{name:"xyz"}}

可以是文档类型

const a : Document<Person> = {_id:"1",name:"abc",department:{name:"xyz"}}

所以我们可以编写如下函数

function getResult<T>(query:Query<T>) : Document<t> {
    // code here to query and get result
}

在 TypeScript 中非常简单。所以我想Flow中也应该有解决方法。

Answer 1

您可以使用$Shape 实用程序：

复制所提供类型的形状，但将每个字段标记为可选

type Foo = {
  A: string,
  B: number,
  C: string
};

const t: $Shape<Foo> = {
  A: 'a'
};

另一种方法是“传播”类型（抱歉，除了changelog，找不到任何关于它的文档）：

type Foo = {
  A: string,
  B: number,
  C: string
};

type Partial<T> = { ...T };

const t: Partial<Foo> = {
  A: 'a'
};

现在它确实是部分的，您可以跳过键。

Answer 2

您可以接近$ObjMap<T, F>，它将函数类型F 应用于T 的每个属性。

type Foo = {
  A: string,
  B: number,
  C: string
};

function makeOptional<T>(t: T): ?T {
  return t;
}

type PartialFoo = $ObjMap<Foo, typeof makeOptional>;

const t: PartialFoo = {
  A: 'a',
  B: null,
  C: undefined
};

但是，在这种情况下，您仍然不能跳过键，但可以将 null 或 undefined 添加到它们的值中。