Typy literałów szablonowych: wzorce ciągów znaków

Witamy

Podstawowy typ literału szablonowego

type Greeting = `Hello, ${string}`;
const g: Greeting = 'Hello, World'; // OK
// const bad: Greeting = 'Hi there'; // Error

Łączenie sum typów

type Color = 'red' | 'green' | 'blue';
type Size = 'sm' | 'lg';
type ColorSize = `${Color}-${Size}`;
// 'red-sm' | 'red-lg' | 'green-sm' | ...

Wzorzec nazw zdarzeń

type Entity = 'user' | 'product';
type EventName = `on${Capitalize<Entity>}Created`;
// 'onUserCreated' | 'onProductCreated'

Capitalize i inne typy wewnętrzne

type T = Capitalize<'hello world'>; // 'Hello world'
type U = Uppercase<'hello'>;        // 'HELLO'
type L = Lowercase<'WORLD'>;        // 'world'

Wzorzec generowania getterów

type Getters<T> = {
  [K in keyof T as `get${Capitalize<string & K>}`]: () => T[K]
};

Typowane parametry tras

type RouteParams<T extends string> =
  T extends `${infer _Start}:${infer Param}/${infer Rest}`
    ? Param | RouteParams<Rest>
    : T extends `${infer _Start}:${infer Param}`
    ? Param
    : never;

Nazewnictwo właściwości CSS

type CSSVar = `--${string}`;
const color: CSSVar = '--primary-color'; // OK

Literał szablonowy w parametrach funkcji

function emit<E extends `on${string}`>(event: E): void {
  console.log('Emitting:', event);
}
emit('onClick'); // OK
// emit('click'); // Error — must start with 'on'

Wyodrębnianie części za pomocą infer

type GetSuffix<T extends string> =
  T extends `${infer _Prefix}_${infer Suffix}` ? Suffix : never;
type S = GetSuffix<'user_created'>; // 'created'

Przecięcie z Record

type Handlers<T extends string> = Record<`on${Capitalize<T>}`, () => void>;

Szybki sprawdzian

Podsumowanie