Умовні типи та висновок

Умовні типи дозволяють виражати нетривіальні рішення щодо типів на основі зв’язків успадкування. Синтаксис нагадує тернарний оператор JavaScript:

T extends U ? X : Y

Якщо тип T можна призначити U, тоді результуючий тип буде X, інакше він буде Y.

Основні умовні типи

Умовний тип оцінює умову під час компіляції:

type IsNumber<T> = T extends number ? true : false;

type A = IsNumber<number>; // true
type B = IsNumber<string>; // false

Цей шаблон є надзвичайно потужним у поєднанні з універсалами для створення гнучких і динамічних типів утиліт.

Введіть вилучення за допомогою infer

Всередині пропозиції extends умовного типу ми можемо використовувати ключове слово infer, щоб оголосити змінну типу, яка буде виведена компілятором.

Наприклад, якщо ми хочемо отримати тип повернення функції:

type GetReturnType<T> = T extends (...args: any[]) => infer R ? R : never;

type ExampleFunction = () => string;
type Return = GetReturnType<ExampleFunction>; // string

У цьому прикладі infer R повідомляє TypeScript автоматично визначати тип повернення функції та робити його доступним як R в позитивній гілці умови.

Спробуйте самі

Вправа 1: тип IsString

Вправа 2: Вилучення типу з масиву за допомогою infer