Kas yra template literal types?

Question

Accepted Answer

**Template literal types** leidžia jums sukurti naujus string literal types, įterpiant kitus types į šabloną — string manipuliacija *type* lygyje. ```ts type Greeting = `Hello, ${string}`; const a: Greeting = "Hello, world"; // ✅ const b: Greeting = "Hi there"; // ❌ doesn't match the pattern ``` ## Derinimas su unions — jie pasiskirstomi ```ts type Color = "red" | "blue"; type Shade = "light" | "dark"; type Variant = `${Shade}-${Color}`; // "light-red" | "light-blue" | "dark-red" | "dark-blue" — all combinations ``` Kompiliatorius išplėtoja kiekvieną unions derinį — naudinga automatiškai generuoti galimuosius string raktus (CSS klases, įvykių vardus, maršruto šablonus). ## Realaus pasaulio pavyzdys: typed event names ```ts type Entity = "user" | "post"; type Event = `${Entity}:${"created" | "deleted"}`; // "user:created" | "user:deleted" | "post:created" | "post:deleted" function on(event: Event, cb: () => void) {} on("user:created", () => {}); // ✅ on("user:updated", () => {}); // ❌ not a valid event ``` ## Su key remapping ir intrinsic helpers ```ts type Getters = { [K in keyof T & string as `get${Capitalize}`]: () => T[K]; }; // { name: string } → { getName: () => string } ``` `Uppercase`, `Lowercase`, `Capitalize`, `Uncapitalize` yra įmontuoti intrinsic helpers. ## Kodėl tai svarbu Template literal types daro string pagrįstas APIs type-safe: route params, event systems, CSS-in-JS, ORM column names. Vietoj to, kad priimtumėte bet kurią `string`, galite apriboti iki tikslaus, sugeneruoto galiojančių strings rinkinio — išlipę typos kompiliavimo metu vietose, kurios paprastai buvo stringly-typed.