Базовые conditional-типы

Принципы

• Условный тип можно использовать для удаления значений (RemoveNullable<T> убирает null | undefined).
• TypeScript вычисляет тип по принципу «если подходит» — в примере RemoveNullable<string | null> даёт string.
• Результат нельзя присваивать исключённому значению: компилятор предупредит об ошибке.

Пример

type NullableString = string | null | undefined;

type RemoveNullable<T> = T extends null | undefined ? never : T;

let firstName: NullableString = 'Bob';
let s: RemoveNullable<NullableString> = 'Alice';
// s = undefined; // Ошибка: тип не содержит undefined

Практика

• Создавайте утилиты наподобие NonEmptyArray<T> на базе условных типов.
• Используйте conditional-типы в generic-функциях, чтобы выводить разные результаты для разных входов.
• Проверяйте, как утилита ведёт себя на объединениях: условие применяется к каждому элементу объединения отдельно.