Где могут быть полезны Conditional Types?

Question

Conditional Types (условные типы) в TypeScript позволяют определять типы, которые выбираются на основе условия, проверяющего другие типы. Они чрезвычайно полезны для создания общих (generic) утилит, которые динамически адаптируются к переданным им типам. Классические примеры — это типы Exclude, Extract, NonNullable, а также для определения типов возвращаемого значения функций или типов свойств в глубоко вложенных структурах.

YeaHub · Accepted Answer

Условные типы имеют синтаксис T extends U ? X : Y, что читается как "если тип T можно присвоить типу U, то результирующим типом будет X, иначе Y".Основные сценарии применения:Создание общих utility-типов:Многие встроенные в TypeScript утилиты реализованы через условные типы.// Пример: тип Exclude исключает из T все типы, которые можно присвоить U type Exclude = T extends U ? never : T; type T0 = Exclude<"a" | "b" | "c", "a" | "b">; // Результат: "c" // Пример: тип NonNullable исключает null и undefined из T type NonNullable = T extends null | undefined ? never : T; type T1 = NonNullable; // Результат: stringПерегрузка функций в дженериках:Условные типы позволяют выбирать тип на основе входного дженерика.type ApiResponse = T extends { role: 'admin' } ? T & { adminNotes: string } // Если у T есть свойство 'role' со значением 'admin', добавляем поле : T; // Иначе возвращаем исходный тип type User = { id: number; name: string }; type Admin = { id: number; name: string; role: 'admin' }; type UserResponse = ApiResponse; // { id: number; name: string } type AdminResponse = ApiResponse; // { id: number; name: string; role: 'admin'; adminNotes: string }Извлечение типов из сложных структур:Часто используется вместе с infer для "вытаскивания" типа из обертки.// Получаем тип возвращаемого значения функции type MyReturnType = T extends (...args: any[]) => infer R ? R : any; type Fn = (x: number) => boolean; type R = MyReturnType; // type R = boolean // Получаем тип элемента массива type ArrayElementType = T extends (infer U)[] ? U : never; type Item = ArrayElementType; // type Item = numberВывод: Conditional Types — это продвинутый, но невероятно мощный инструмент для создания гибких и выразительных типов, особенно в библиотеках и сложных кодовых базах. Они позволяют типам адаптироваться к условиям, что минимизирует дублирование и повышает безопасность типов.