如何在TypeScript中翻转联合的分布性？

Question

在下面的代码中，SomeMagic的类型必须是反转Y的发布性？

type X<A> = { value: A };
type Y = X<number> | X<string>;
type Z = SomeMagic<Y>;  // <-- what SomeMagic should be to get Z of X<number | string>?

Answer 1

您可以反转Y.value的类型并将其用作X的参数：

type X<A> = { value: A };
type Y = X<number> | X<string>;
type Z = X<Y['value']>;

结果：

type Z = {
  value: string | number;
};