{"type":"doc","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Конструкция вида "},{"type":"text","marks":[{"type":"code"}],"text":"T extends U ? X : Y"},{"type":"text","text":" в TypeScript называется"},{"type":"hardBreak"},{"type":"text","text":"👉 "},{"type":"text","marks":[{"type":"bold"}],"text":"условный тип (conditional type)"},{"type":"text","text":"."}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Она работает "},{"type":"text","marks":[{"type":"bold"}],"text":"похожим образом на оператор "},{"type":"text","marks":[{"type":"code"}],"text":"?:"},{"type":"text","marks":[{"type":"bold"}],"text":" в JavaScript"},{"type":"text","text":","},{"type":"hardBreak"},{"type":"text","text":"но применяется "},{"type":"text","marks":[{"type":"bold"}],"text":"на уровне типов"},{"type":"text","text":", а не значений."}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"🔹 Общая форма"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"T extends U ? X : Y\n"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Можно прочитать как:"}]},{"type":"blockquote","content":[{"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":" (assignable) с типом "},{"type":"text","marks":[{"type":"code"}],"text":"U"},{"type":"text","text":","},{"type":"hardBreak"},{"type":"text","text":"то результатом будет тип "},{"type":"text","marks":[{"type":"code"}],"text":"X"},{"type":"text","text":","},{"type":"hardBreak"},{"type":"text","text":"иначе — тип "},{"type":"text","marks":[{"type":"code"}],"text":"Y"},{"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 IsString = T extends string ? \"yes\" : \"no\";\n\ntype A = IsString; // \"yes\"\ntype B = IsString; // \"no\"\n"}]},{"type":"blockquote","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":"string"},{"type":"text","text":", возвращается "},{"type":"text","marks":[{"type":"code"}],"text":"\"yes\""},{"type":"text","text":", иначе "},{"type":"text","marks":[{"type":"code"}],"text":"\"no\""},{"type":"text","text":"."}]}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"📘 Пример 2: Проверка подтипа"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"type ExtendsExample = T extends number ? number : string;\n\nlet a: ExtendsExample<42>; // number\nlet b: ExtendsExample<\"foo\">; // string\n"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"💡 Здесь TypeScript проверяет:"},{"type":"hardBreak"},{"type":"text","text":"является ли "},{"type":"text","marks":[{"type":"code"}],"text":"T"},{"type":"text","text":" "},{"type":"text","marks":[{"type":"bold"}],"text":"подтипом"},{"type":"text","text":" "},{"type":"text","marks":[{"type":"code"}],"text":"number"},{"type":"text","text":" — если да, возвращает "},{"type":"text","marks":[{"type":"code"}],"text":"number"},{"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 HasId = T extends { id: any } ? \"Has ID\" : \"No ID\";\n\ntype A = HasId<{ id: number; name: string }>; // \"Has ID\"\ntype B = HasId<{ name: string }>; // \"No ID\"\n"}]},{"type":"blockquote","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Работает даже со структурами объектов (структурная проверка типов)."}]}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"📘 Пример 4: Извлечение типа с "},{"type":"text","marks":[{"type":"code"}],"text":"infer"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Условные типы часто комбинируют с "},{"type":"text","marks":[{"type":"code"}],"text":"infer"},{"type":"text","text":", чтобы "},{"type":"text","marks":[{"type":"bold"}],"text":"извлекать"},{"type":"text","text":" вложенные типы:"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"type UnwrapPromise = T extends Promise ? U : T;\n\ntype A = UnwrapPromise>; // string\ntype B = UnwrapPromise; // number\n"}]},{"type":"blockquote","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":"Promise"},{"type":"text","text":", то возвращаем "},{"type":"text","marks":[{"type":"code"}],"text":"X"},{"type":"text","text":", иначе — сам "},{"type":"text","marks":[{"type":"code"}],"text":"T"},{"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 ExcludeString = T extends string ? never : T;\n\ntype Result = ExcludeString;\n// number | boolean\n"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"💡 Здесь TypeScript применяет условие "},{"type":"text","marks":[{"type":"bold"}],"text":"к каждому элементу union-типа"},{"type":"text","text":" ("},{"type":"text","marks":[{"type":"code"}],"text":"string"},{"type":"text","text":", "},{"type":"text","marks":[{"type":"code"}],"text":"number"},{"type":"text","text":", "},{"type":"text","marks":[{"type":"code"}],"text":"boolean"},{"type":"text","text":"),"},{"type":"hardBreak"},{"type":"text","text":"а затем объединяет результаты — это называется "},{"type":"text","marks":[{"type":"bold"}],"text":"дистрибутивное поведение"},{"type":"text","text":" условных типов."}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"📘 Пример 6: Обратный вариант — извлечение только строк"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"type ExtractString = T extends string ? T : never;\n\ntype A = ExtractString;\n// string\n"}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"📘 Пример 7: Применение с "},{"type":"text","marks":[{"type":"code"}],"text":"keyof"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"type PropertyExists = K extends keyof T ? true : false;\n\ntype Obj = { id: number; name: string };\n\ntype A = PropertyExists; // true\ntype B = PropertyExists; // false\n"}]},{"type":"blockquote","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Проверяем, есть ли конкретный ключ "},{"type":"text","marks":[{"type":"code"}],"text":"K"},{"type":"text","text":" в объекте "},{"type":"text","marks":[{"type":"code"}],"text":"T"},{"type":"text","text":"."}]}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"📘 Пример 8: Сравнение с “if” на уровне значений"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"JS:"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"const result = condition ? value1 : value2;\n"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"TS тип:"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"type Result = T extends true ? \"yes\" : \"no\";\n"}]},{"type":"blockquote","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Работает "},{"type":"text","marks":[{"type":"bold"}],"text":"во время компиляции"},{"type":"text","text":", а не при выполнении кода."}]}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"⚙️ Как это работает внутри"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"T extends U"},{"type":"text","text":" — "},{"type":"text","marks":[{"type":"bold"}],"text":"проверка совместимости типов"},{"type":"text","text":" (а не наследования)."}]}]},{"type":"listItem","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Если "},{"type":"text","marks":[{"type":"code"}],"text":"T"},{"type":"text","text":" — union (например "},{"type":"text","marks":[{"type":"code"}],"text":"A | B | C"},{"type":"text","text":"), условный тип применяется "},{"type":"text","marks":[{"type":"bold"}],"text":"к каждому члену объединения"},{"type":"text","text":" по отдельности:"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"(A | B) extends U ? X : Y → (A extends U ? X : Y) | (B extends U ? X : Y)\n"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Это называется "},{"type":"text","marks":[{"type":"bold"}],"text":"дистрибутивное поведение условных типов"},{"type":"text","text":"."}]}]}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"📘 Пример 9: Недистрибутивный вариант"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Чтобы отключить “распределение” по union-типа,"},{"type":"hardBreak"},{"type":"text","text":"оборачивают "},{"type":"text","marks":[{"type":"code"}],"text":"T"},{"type":"text","text":" в кортеж "},{"type":"text","marks":[{"type":"code"}],"text":"[...]"},{"type":"text","text":":"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"type NonDistributive = [T] extends [string] ? \"yes\" : \"no\";\n\ntype A = NonDistributive;\n// \"no\"\n"}]},{"type":"blockquote","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Без скобок результат был бы "},{"type":"text","marks":[{"type":"code"}],"text":"\"yes\" | \"no\""},{"type":"text","text":"."}]}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"📘 Пример 10: Реализация встроенных утилит через условные типы"}]},{"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":"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":"Exclude"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"T extends U ? never : T"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Убирает из T все типы, совместимые с U"}]}]}]},{"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":"Extract"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"T extends U ? T : never"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Оставляет только те типы из T, что совместимы с U"}]}]}]},{"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":"NonNullable"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"`T extends null"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"undefined ? never : T`"}]}]}]},{"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":"ReturnType"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"T extends (...args: any[]) => infer R ? R : any"}]}]},{"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":"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":"bold"}],"text":"Синтаксис"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"T extends U ? X : Y"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"bold"}],"text":"Смысл"}]}]},{"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":"U"},{"type":"text","text":", то "},{"type":"text","marks":[{"type":"code"}],"text":"X"},{"type":"text","text":", иначе "},{"type":"text","marks":[{"type":"code"}],"text":"Y"},{"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":"bold"}],"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","marks":[{"type":"bold"}],"text":"Особенность"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"работает “дистрибутивно” с union-типами"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"bold"}],"text":"Часто используется с"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"infer"},{"type":"text","text":", "},{"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":"text","marks":[{"type":"code"}],"text":"ReturnType"}]}]}]}]},{"type":"paragraph","attrs":{"textAlign":null}}]}

Conditional generics

Комментарии