Что такое conditional и mapped типы?

Question

Accepted Answer

Это инструменты **типо-уровневого программирования** TypeScript — они вычисляют новые типы из существующих. ## Почему это важно Mapped типы — трансформируют каждое свойство Маппированный тип перебирает ключи типа и трансформирует каждый: ```ts type ReadonlyAll = { readonly [K in keyof T]: T[K] }; type Optional = { [K in keyof T]?: T[K] }; interface User { id: number; name: string; } type RO = ReadonlyAll; // { readonly id: number; readonly name: string } ``` `[K in keyof T]` проходит по каждому ключу `K`; `T[K]` — это тип значения этого ключа. Именно так реализуются `Partial`, `Readonly` и `Required`. Вы также можете переименовывать ключи и добавлять модификаторы (`-readonly`, `-?` их удаляют). ## Conditional типы — ветвление по условию ```ts type IsString = T extends string ? "yes" : "no"; type A = IsString; // "yes" type B = IsString; // "no" ``` `T extends U ? X : Y` — это if/else на уровне типов. С помощью `infer` вы можете *извлекать* типы внутри условия: ```ts type ElementOf = T extends (infer U)[] ? U : never; type E = ElementOf; // string ``` ## Комбинирование их — практический пример ```ts // Make only the function-valued properties optional type PartialMethods = { [K in keyof T]: T[K] extends Function ? T[K] | undefined : T[K]; }; ``` Маппированные типы также **распределяются** над объединениями в условиях, обеспечивая мощные трансформации. ## Почему это важно Маппированные и conditional типы позволяют библиотекам выразить точные отношения типов — они реализуют утилитарные типы, питают библиотеки форм/валидации, ORM query builders и API клиентов, которые выводят форму ответа. Они сложные, но их понимание объясняет *как* система типов TypeScript может быть столь выразительной, и позволяет вам создавать переиспользуемые трансформации типов вместо ручного написания вариантов.