Реализация максимально простая: ```typescript // Встроенная реализация type NonNullable = T & {}; // Или эквивалентно: // type NonNullable = Exclude; ``` ```typescript type MaybeString = string | null | undefined; type DefiniteString = NonNullable; // string type MaybeNumber = number | null; type DefiniteNumber = NonNullable; // number type Complex = string | number | null | undefined | boolean; type Clean = NonNullable; // string | number | boolean ``` ## 📌 Реальные кейсы **Безопасное извлечение значений из Map:** ```typescript function getOrThrow(map: Map, key: K): NonNullable { const value = map.get(key); if (value === null || value === undefined) { throw new Error(`Ключ ${String(key)} не найден`); } return value as NonNullable; } const cache = new Map(); cache.set("token", "abc123"); const token = getOrThrow(cache, "token"); // string, не string | null | undefined ``` **Фильтрация массива от null/undefined:** ```typescript function compact(arr: Array): NonNullable[] { return arr.filter((item): item is NonNullable => item != null); } const raw = ["hello", null, "world", undefined, "!"]; const cleaned = compact(raw); // string[] — без null и undefined console.log(cleaned); // ["hello", "world", "!"] ``` **Типизация обязательных параметров из опциональных:** ```typescript interface UserProfile { id: string; name?: string; bio?: string; avatar?: string; } type CompleteProfile = { [K in keyof UserProfile]-?: NonNullable; }; // { // id: string; // name: string; // bio: string; // avatar: string; // } ``` **Props после проверки defaultProps:** ```typescript interface ButtonProps { label: string; size?: "small" | "medium" | "large"; variant?: "primary" | "secondary"; disabled?: boolean; } type ResolvedButtonProps = { [K in keyof Required]: NonNullable; }; function resolveProps(props: ButtonProps): ResolvedButtonProps { return { label: props.label, size: props.size ?? "medium", variant: props.variant ?? "primary", disabled: props.disabled ?? false, }; } ``` ## NonNullable + assertion function ```typescript function assertNonNullable( value: T, name: string, ): asserts value is NonNullable { if (value === null || value === undefined) { throw new Error(`${name} не должен быть ${value}`); } } function processOrder(orderId: string | null, userId: string | undefined) { assertNonNullable(orderId, "orderId"); assertNonNullable(userId, "userId"); // Оба сужены: orderId — string, userId — string console.log(`Заказ ${orderId} для пользователя ${userId}`); } ``` ## Частые ошибки ❌ Думать, что NonNullable убирает `0`, `""` или `false`: ```typescript type Falsy = string | number | boolean | null | undefined; type NotNull = NonNullable; // string | number | boolean — 0, "" и false остаются! ``` ❌ Использовать NonNullable без проверки в runtime: ```typescript function bad(val: string | null) { const safe = val as NonNullable; // опасно! safe.toUpperCase(); // может упасть, если val === null } ``` ✅ Всегда проверяй в runtime перед сужением типа: ```typescript function good(val: string | null) { if (val != null) { // TypeScript сам сузит до string val.toUpperCase(); } } ``` ## Резюме `NonNullable` удаляет `null` и `undefined` из типа. Это `Exclude` в одну строку. Используется при фильтрации массивов, assertion functions, создании "обязательных" версий типов. Не забывай: сужение на уровне типов без runtime-проверки не защищает от ошибок. ---

Что такое NonNullable<T>?