TypeScript 动态联合

Question

我正在尝试创建一个类型“helper”，它将转换为一个联合，也许最好通过以下代码片段来表达:

type emailResponse = {
  email: string
}
NetworkActions<"EMAIL", emailResponse>
// translating to a union
{type: 'EMAIL_LOADING'} | {type: 'EMAIL_SUCCESS', payload: emailResponse} | {type: 'EMAIL_ERROR'}

第一个类型变量需要用作联合的三种类型的前缀。第二类型变量需要向下传递给联合体的第二类型。

这可以用 TypeScript 实现吗？怎么办？

Answer 1

虽然目前还不可能，但在 Typescript 4.1 发布时(2020 年 11 月)很快就会成为可能。

type emailResponse = {
  email: string
}
type NetworkActions<P extends string, T> = 
  | { type: `${P}_LOADING` }
  | { type: `${P}_ERROR` }
  | { type: `${P}_SUCCESS`, payload: T }

type R = NetworkActions<"EMAIL", emailResponse>

Playground Link

更多详细信息请参阅 PR