javascript - Er det mulig å utlede generisk type fra inne i strengmal-literal

Følgende kode gjør nøyaktig det jeg har tenkt å vite, med ett forbehold, jeg ønsker å unngå å måtte eksplisitt angi generikken den trenger.

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

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

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

Jeg vil at Typescript skal slutte seg til at:

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

Hvilket er hva denne koden gjør, men med en eksplisitt generisk.

Svar #1

Du kan gjøre det med en kartlagt type, som du deretter tar en union av verdiene fra:

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

Testing gyldigheten av typen:

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

Lekerom lenke

Det er to deler av det, først den kartlagte typen:

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

som evalueres som:

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

Deretter bruker vi [keyof EventGroup] på slutten for å hente ut bare verdiene av actions og other som en union.

Relaterte artikler