실전에서의 T extends U ? X : Y
실용적인 조건부 타입을 작성하고, 유니온에 대한 분배와 필요할 때 분배를 해제하는 방법을 배웁니다.
실전에서의 T extends U ? X : Y은(는) CoddyKit의 무료 TypeScript Academy 강의입니다. 이것은 3개 중 1번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 TypeScript Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. TypeScript Academy 강의에는 총 3개의 강의가 포함되어 있습니다.
소개
목표: 조건부 타입으로 타입 시스템 안에서 논리를 표현하고, 조건부 타입이 유니언에 대해 언제 분배되는지 이해합니다.
- 패턴:
T extends U ? X : Y - 분배: 유니언의 각 구성원에 분기를 적용합니다
기본 패턴
조건부 타입은 T를 string에 할당할 수 있는지에 따라 분기를 선택합니다.
type IsString<T> = T extends string ? true : false
type A = IsString<string>
// ^ true
type B = IsString<number>
// ^ false분배
감싸지 않은 T를 사용하면 검사가 유니언의 각 구성원에 대해 실행됩니다. string | number가 string[] | number[]가 되는 방식입니다.
type ToArray<T> = T extends any ? T[] : never
type C = ToArray<string | number>
// distributes:
// C is string[] | number[]분배하지 않기
분배를 막고 유니언 전체를 하나로 처리하려면 T를 튜플([T])로 감싸세요.
type ToArrayNoDist<T> = [T] extends [any] ? T[] : never
type D = ToArrayNoDist<string | number>
// no distribution:
// D is (string | number)[]실제 활용
패턴의 예로, 배열에서 ElementType은 infer를 사용해 요소를 추출하고, 그렇지 않으면 타입을 그대로 둡니다.
type NonEmptyArray<T> = T[] extends [] ? never : T[]
// Usually better:
// type ElementType<T> = T extends ReadonlyArray<infer U> ? U : T
type E1 = ElementType<string[]>
// ^ string
type E2 = ElementType<readonly number[]>
// ^ number
type E3 = ElementType<string>
// ^ string팁
팁: 조건을 단순하게 유지하고, 배포 환경을 고려하며, 도우미 타입을 재사용하고, 복잡한 조합에는 테스트 파일을 포함하세요.
// Tips
// - Keep conditions simple; deep nesting harms readability
// - Document distribution behavior for teammates
// - Prefer helper aliases (ElementType, Awaited) for reuse
// - Watch for De Morgan like logic when composing unions분배 확인
빠른 확인: 조건부 타입은 언제 분배되나요?
요약
요약: 조건부 타입은 타입 안에서 논리를 모델링합니다. 분배는 유니언의 각 구성원에 적용되며, 이를 막으려면 튜플로 감싸세요.
자주 묻는 질문
“실전에서의 T extends U ? X : Y” 강의는 무료인가요?
네 — “실전에서의 T extends U ? X : Y” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 TypeScript Academy 강의 전체를 잠금 해제할 수 있습니다. TypeScript Academy 강의에는 총 3개의 강의가 포함되어 있습니다.
“실전에서의 T extends U ? X : Y”에서 뭘 배우나요?
실용적인 조건부 타입을 작성하고, 유니온에 대한 분배와 필요할 때 분배를 해제하는 방법을 배웁니다. 브라우저에서 직접 실행하는 실습 코드로 TypeScript Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.
TypeScript Academy을(를) 시작하는 데 경험이 필요한가요?
사전 경험은 필요하지 않습니다. CoddyKit의 TypeScript Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 3개 중 1번째 강의입니다.
“실전에서의 T extends U ? X : Y” 강의는 얼마나 걸리나요?
대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.
이 TypeScript Academy 강의에서 코드를 작성하고 실행할 수 있나요?
네. 모든 TypeScript Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.
이 강의의 모든 강의
- 실전에서의 T extends U ? X : Y
- ReturnType와 유사한 유틸리티를 위한 infer
- 내장 기능: ReturnType, Parameters, InstanceType 등