是否可以从字符串模板文字中推断泛型类型

Question

下面的一段代码正是我想要知道的，但有一个警告，我想避免必须明确它需要的泛型。

type EventGroup = {
  actions: "run" | "save"
  other: "bla"
}

export type EventType<T extends keyof EventGroup> = `${T}/${EventGroup[T]}`

const t: EventType<"actions"> = "actions/run"

我希望 Typescript 推断：

`actions/run` -> valid
`actions/save` -> valid
`actions/bla` -> NOT valid
`other/bla` -> valid

这就是这段代码的作用，但带有显式泛型。

Answer 1

您可以使用映射类型执行此操作，然后从中获取值的并集：

export type EventType = {
    [Key in keyof EventGroup]: `${Key}/${EventGroup[Key]}`
}[keyof EventGroup];

正在测试类型的有效性：

const t1: EventType = "actions/run";  // valid
const t2: EventType = "actions/save"; // valid
const t3: EventType = "actions/bla";  // NOT valid
const t4: EventType = "other/bla";    // valid

Playground link

有两个部分，首先是映射类型：

type EventType = {
    [Key in keyof EventGroup]: `${Key}/${EventGroup[Key]}`
}

计算结果为：

type EventType = {
    actions: "actions/run" | "actions/save";
    other: "other/bla";
}

然后我们在最后使用 [keyof EventGroup] 来提取 actions 和 other 的值作为联合。

是否可以从字符串模板文字中推断泛型类型

Is it possible to infer generic type from inside string template literal

javascript

generics

type-inference

typescript

typescript-generics