flowtype - 流动。如何根据函数参数指定联合类型

Question

假设我们有两种类型和它们的联合:

type A = {tag: 'a'};
type B = {tag: 'b'};
type U = A | B;

以及返回 A 或 B 的函数，具体取决于提供的标签:

const getSpecificObj = (tag: string) => U;

如何指定返回类型？那么我就可以像这样使用它:

const a: A = getSpecificObj('a');

附言是的，我知道我可以为每种类型或覆盖编写相同的函数。但也许还有其他方法。例如在 TS 我可以写:

type Extract<A, T> = A extends { tag: T } ? A : never;
<T>(tag: T): Extract<U, T>

Answer 1

您需要参数化函数 getSpecificObj，而不是返回类型 A 和 B 的联合。通过其参数的类型，然后返回一个引用该类型参数的对象。这是我将如何做到的:

type A = {tag: 'a'};
type B = {tag: 'b'};

function getSpecificObj<T : string>(tag: T) : { tag: T } {
  return { tag };
}

const a : A = getSpecificObj('a');
const b : B = getSpecificObj('b');

注释 <T : string>在 getSpecificObj确保函数不比您需要的更通用，并且只接受字符串作为标签。您可以将其视为移动 string注释掉 tag参数并进入 tag的泛型类型范围。

你可以在try-flow页面查看示例 here .