{"type":"doc","content":[{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"🧩 Что такое "},{"type":"text","marks":[{"type":"bold"}],"text":"дистрибутивное поведение union-типов"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"bold"}],"text":"Дистрибутивность (distributive behavior)"},{"type":"text","text":" означает,"},{"type":"hardBreak"},{"type":"text","text":"что когда TypeScript применяет "},{"type":"text","marks":[{"type":"bold"}],"text":"условный тип ("},{"type":"text","marks":[{"type":"code"}],"text":"extends ? :"},{"type":"text","marks":[{"type":"bold"}],"text":")"},{"type":"text","text":" к "},{"type":"text","marks":[{"type":"bold"}],"text":"union-типу"},{"type":"text","text":","},{"type":"hardBreak"},{"type":"text","text":"он "},{"type":"text","marks":[{"type":"bold"}],"text":"автоматически раскладывает"},{"type":"text","text":" выражение "},{"type":"text","marks":[{"type":"bold"}],"text":"по каждому элементу объединения"},{"type":"hardBreak"},{"type":"text","text":"и потом "},{"type":"text","marks":[{"type":"bold"}],"text":"объединяет результаты обратно"},{"type":"text","text":" в "},{"type":"text","marks":[{"type":"code"}],"text":"union"},{"type":"text","text":"."}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"✅ Пример 1. Простая иллюстрация"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"type T = string | number;\n\ntype Box = T extends any ? { value: T } : never;\n"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"📘 Что произойдёт:"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"TypeScript возьмёт "},{"type":"text","marks":[{"type":"code"}],"text":"string"}]}]},{"type":"listItem","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"потом "},{"type":"text","marks":[{"type":"code"}],"text":"number"}]}]},{"type":"listItem","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"применит условие к каждому"}]}]},{"type":"listItem","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"и объединит результаты обратно"}]}]}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"type Result = Box;\n// Раскладывается как:\n// Box | Box\n// → { value: string } | { value: number }\n"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"💡 Итого: "},{"type":"text","marks":[{"type":"code"}],"text":"Box"},{"type":"text","text":" ≡ "},{"type":"text","marks":[{"type":"code"}],"text":"{ value: string } | { value: number }"},{"type":"text","text":"."}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"🧠 Почему это происходит"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Потому что "},{"type":"text","marks":[{"type":"bold"}],"text":"в условных типах"},{"type":"text","text":", когда слева от "},{"type":"text","marks":[{"type":"code"}],"text":"extends"},{"type":"text","text":" стоит "},{"type":"text","marks":[{"type":"bold"}],"text":"параметр-тип"},{"type":"text","text":" ("},{"type":"text","marks":[{"type":"code"}],"text":"T"},{"type":"text","text":"),"},{"type":"hardBreak"},{"type":"text","text":"а не конкретный тип вроде "},{"type":"text","marks":[{"type":"code"}],"text":"{}"},{"type":"text","text":" или "},{"type":"text","marks":[{"type":"code"}],"text":"unknown"},{"type":"text","text":","},{"type":"hardBreak"},{"type":"text","text":"TypeScript "},{"type":"text","marks":[{"type":"bold"}],"text":"раскрывает объединение"},{"type":"text","text":" и применяет условие "},{"type":"text","marks":[{"type":"bold"}],"text":"отдельно к каждому элементу"},{"type":"text","text":"."}]},{"type":"blockquote","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Это особое правило — “distributive conditional types”."}]}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"✅ Пример 2. Проверим недистрибутивное поведение"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Если обернуть "},{"type":"text","marks":[{"type":"code"}],"text":"T"},{"type":"text","text":" в “контейнер”, дистрибутивность "},{"type":"text","marks":[{"type":"bold"}],"text":"исчезает"},{"type":"text","text":":"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"type Boxed = [T] extends [any] ? { value: T } : never;\n\ntype Result = Boxed;\n// Теперь не распределяется!\n// [string | number] не расширяет [any] дистрибутивно\n// Результат: { value: string | number }\n"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"📘 Разница:"}]},{"type":"table","content":[{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Выражение"}]}]},{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Результат"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"T extends any ? X : never"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"X | X"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"[T] extends [any] ? X : never"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"X"}]}]}]}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"💡 Обёртка "},{"type":"text","marks":[{"type":"code"}],"text":"[]"},{"type":"text","text":" отключает дистрибутивность."}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"✅ Пример 3. Реальный кейс — извлечение подтипа"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"type ExtractString = T extends string ? T : never;\n\ntype R = ExtractString;\n// распределяется:\n// string → string\n// number → never\n// boolean → never\n// объединяем: string | never | never → string\n"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"📘 Итого:"},{"type":"hardBreak"},{"type":"text","marks":[{"type":"code"}],"text":"ExtractString"},{"type":"text","text":" → "},{"type":"text","marks":[{"type":"code"}],"text":"string"},{"type":"text","text":"."}]},{"type":"blockquote","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Так работают встроенные утилиты TypeScript вроде "},{"type":"text","marks":[{"type":"code"}],"text":"Extract<>"},{"type":"text","text":", "},{"type":"text","marks":[{"type":"code"}],"text":"Exclude<>"},{"type":"text","text":", "},{"type":"text","marks":[{"type":"code"}],"text":"NonNullable<>"},{"type":"text","text":" и др."}]}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"✅ Пример 4. Использование в Exclude и Extract"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"type Exclude = T extends U ? never : T;\n\ntype R = Exclude<\"a\" | \"b\" | \"c\", \"a\" | \"c\">;\n// распределяется:\n// \"a\" extends \"a\"|\"c\" → never\n// \"b\" extends \"a\"|\"c\" → \"b\"\n// \"c\" extends \"a\"|\"c\" → never\n// => \"b\"\n"}]},{"type":"blockquote","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Вот почему "},{"type":"text","marks":[{"type":"code"}],"text":"Exclude<\"a\" | \"b\" | \"c\", \"a\" | \"c\">"},{"type":"text","text":" даёт "},{"type":"text","marks":[{"type":"code"}],"text":"\"b\""},{"type":"text","text":"."}]}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"✅ Пример 5. Сравнение с “недистрибутивной” версией"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"type NonDistributiveExclude =\n [T] extends [U] ? never : T;\n\ntype R = NonDistributiveExclude<\"a\" | \"b\" | \"c\", \"a\" | \"c\">;\n// [T] не раскладывается\n// => [\"a\" | \"b\" | \"c\"] extends [\"a\" | \"c\"] → false\n// => результат = \"a\" | \"b\" | \"c\"\n"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"📘 Оборачивая "},{"type":"text","marks":[{"type":"code"}],"text":"T"},{"type":"text","text":" в кортеж "},{"type":"text","marks":[{"type":"code"}],"text":"[]"},{"type":"text","text":","},{"type":"hardBreak"},{"type":"text","text":"мы "},{"type":"text","marks":[{"type":"bold"}],"text":"отключаем дистрибутивность"},{"type":"text","text":" и заставляем TypeScript рассматривать объединение как одно целое."}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"✅ Пример 6. Ещё более понятная визуализация"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Представь union как множество:"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"T = {A, B, C}\n\nT extends X ? Y : Z\n"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"— TypeScript делает:"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"(A extends X ? Y : Z)\n| (B extends X ? Y : Z)\n| (C extends X ? Y : Z)\n"}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"⚙️ Ключевые выводы"}]},{"type":"table","content":[{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Особенность"}]}]},{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Поведение"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Работает только в условных типах ("},{"type":"text","marks":[{"type":"code"}],"text":"extends ? :"},{"type":"text","text":")"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"✅"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Активируется, если "},{"type":"text","marks":[{"type":"code"}],"text":"T"},{"type":"text","text":" — naked type parameter (голый параметр)"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"✅"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Можно отключить оборачиванием "},{"type":"text","marks":[{"type":"code"}],"text":"T"},{"type":"text","text":" в "},{"type":"text","marks":[{"type":"code"}],"text":"[]"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"✅"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Основа утилит "},{"type":"text","marks":[{"type":"code"}],"text":"Exclude"},{"type":"text","text":", "},{"type":"text","marks":[{"type":"code"}],"text":"Extract"},{"type":"text","text":", "},{"type":"text","marks":[{"type":"code"}],"text":"NonNullable"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"✅"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Применяется поэлементно к каждому члену union"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"✅"}]}]}]}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"💬 Простой итог"}]},{"type":"blockquote","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"bold"}],"text":"Дистрибутивное поведение union-типов"},{"type":"text","text":" —"},{"type":"hardBreak"},{"type":"text","text":"это когда TypeScript "},{"type":"text","marks":[{"type":"bold"}],"text":"применяет условный тип к каждому элементу объединения по отдельности"},{"type":"text","text":","},{"type":"hardBreak"},{"type":"text","text":"а потом "},{"type":"text","marks":[{"type":"bold"}],"text":"объединяет результаты обратно в union"},{"type":"text","text":"."}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Можно "},{"type":"text","marks":[{"type":"bold"}],"text":"отключить"},{"type":"text","text":" это, обернув тип в кортеж: "},{"type":"text","marks":[{"type":"code"}],"text":"[T] extends [U] ? … : …"},{"type":"text","text":"."}]}]},{"type":"paragraph","attrs":{"textAlign":null}}]}

Что такое дистрибутивное поведение union типов?

Комментарии