분배 조건부 타입
조건부 타입이 유니언에 분배되는 방식을 제어합니다.
분배 조건부 타입은(는) CoddyKit의 무료 TypeScript Academy 강의입니다. 이것은 4개 중 4번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 TypeScript Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. TypeScript Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
놀라운 동작
조건부 타입에는 특별한 규칙이 하나 있습니다. 검사하는 타입이 그대로인 타입 매개변수이고 유니언을 전달하면, 조건부 타입이 각 멤버에 개별적으로 분배된 다음 그 결과를 유니언으로 합칩니다.
이것이 Exclude, Extract 및 여러 유틸리티의 기반입니다.
type ToArray<T> = T extends unknown ? T[] : never;
type A = ToArray<string | number>;
// string[] | number[] (NOT (string | number)[])그대로라는 말의 의미
여기서 "그대로"란 타입 매개변수가 다른 타입으로 감싸지지 않고 extends의 왼쪽에 단독으로 나타난다는 뜻입니다. 분배는 그대로인 매개변수에 대해서만 발생합니다.
type Naked<T> = T extends string ? "y" : "n";
// T is naked -> distributes over unions분배 과정을 단계별로 보기
ToArray<string | number>의 경우 컴파일러는 각 멤버를 평가합니다.
ToArray<string>= string[]ToArray<number>= number[]
그런 다음 이들을 유니언으로 합칩니다. string[] | number[]가 됩니다.
type R = ToArray<boolean>;
// boolean is true | false, so:
// true[] | false[]유니언 필터링하기
분배를 사용하면 필터링이 쉬워집니다. 원하지 않는 멤버를 never로 매핑하면 never가 유니언에서 사라져 남길 멤버만 남습니다.
type Strings<T> = T extends string ? T : never;
type A = Strings<string | number | boolean>; // string유니언에서 never는 사라집니다
중요한 사실은 다음과 같습니다. X | never는 X로 단순화됩니다. 따라서 분배된 분기에서 never가 나오면 해당 멤버는 최종 유니언에서 사실상 제거됩니다.
type A = string | never; // string
type B = "a" | never | "b"; // "a" | "b"분배 비활성화하기
전체 유니언을 하나의 단위로 비교하는 경우처럼 분배를 원하지 않는 때도 있습니다. 양쪽을 요소 하나짜리 튜플로 감싸 [T] extends [U]로 작성하세요. 이제 T는 더 이상 그대로인 매개변수가 아니므로 분배가 꺼집니다.
type IsNever<T> = [T] extends [never] ? true : false;
type A = IsNever<never>; // true
type B = IsNever<string>; // false감싸면 동작하는 이유
왼쪽에 [T]를 배치하면 검사하는 타입이 단순한 매개변수가 아니라 튜플이 됩니다. 특별한 분배 규칙이 더 이상 적용되지 않으므로 유니언 전체를 하나로 검사합니다.
type AllStrings<T> = [T] extends [string] ? true : false;
type A = AllStrings<"a" | "b">; // true
type B = AllStrings<"a" | number>; // false분배되는 경우와 분배되지 않는 경우
두 형태를 직접 비교해 보세요. 그대로인 형태는 각 멤버를 검사하고, 감싼 형태는 유니언을 하나의 타입으로 검사합니다.
type Distributed<T> = T extends string ? true : false;
type Wrapped<T> = [T] extends [string] ? true : false;
type A = Distributed<string | number>; // boolean (true | false)
type B = Wrapped<string | number>; // falseExclude의 내부 동작
기본 제공 Exclude<T, U>는 U에 할당 가능한 T의 모든 멤버를 제거합니다. 일치하는 멤버를 never로 매핑하는 분배 조건부 타입일 뿐입니다.
type MyExclude<T, U> = T extends U ? never : T;
type A = MyExclude<"a" | "b" | "c", "b">; // "a" | "c"Extract의 내부 동작
Extract<T, U>는 정반대로 동작합니다. U에 할당 가능한 멤버만 남깁니다. 분배 방식은 같고 분기는 반대입니다.
type MyExtract<T, U> = T extends U ? T : never;
type A = MyExtract<"a" | "b" | "c", "a" | "c">; // "a" | "c"실용적인 강력함
분배를 사용하면 하나의 표현식으로 유니언의 모든 멤버를 변환할 수 있습니다. 각 멤버의 배열을 만들거나, 모든 문자열에 접두사를 붙이거나, 형태를 기준으로 필터링할 수 있습니다. 전체 유니언 검사에는 [T] extends [U]를 함께 사용하여 분배가 발생하는 시점을 정확하게 제어할 수 있습니다.
표기법: 실제 TypeScript에서는 달러 중괄호 구멍이 포함된 문자열을 백틱으로 감싼 형태로 템플릿 리터럴 타입을 작성합니다. 이 예제에서는 각 부분을 순서대로 나열하여 해당 패턴을 Tpl<...>로 표시합니다. 예를 들어 리터럴 접두사와 그 뒤의 Rest에 일치하는 백틱 템플릿은 Tpl<'prefix', infer Rest>로 나타냅니다.
type Prefix<T extends string> = T extends unknown ? Tpl<'id_', T> : never;
// Tpl<'id_', T> is the template literal type joining 'id_' with each T
type A = Prefix<'a' | 'b'>; // 'id_a' | 'id_b'빠른 확인
분배 조건부 타입에 대한 이해도를 확인해 보세요.
복습
분배 조건부 타입은 유니언 유틸리티의 핵심 동력입니다.
- 그대로인
T extends U ?는 각 유니언 멤버에 분배됩니다. never를 반환하는 분기는 멤버를 필터링해 제거합니다.[T] extends [U]는 전체 유니언 검사에서 분배를 비활성화합니다.Exclude와Extract는 작은 분배 조건부 타입입니다.
다음은 22과정으로, 타입 시스템에서 산술을 다룹니다.
AI 튜터와 함께 TypeScript을(를) 배우세요 — 무료
브라우저에서 실제 코드를 작성하고 실행하며, 24/7 AI 튜터로부터 즉각적인 도움을 받고, 웹이나 앱에서 중단한 부분부터 계속 학습하세요.
- 코스
- 101
- 레슨
- 352
자주 묻는 질문
“분배 조건부 타입” 강의는 무료인가요?
네 — “분배 조건부 타입” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 TypeScript Academy 강의 전체를 잠금 해제할 수 있습니다. TypeScript Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
“분배 조건부 타입”에서 뭘 배우나요?
조건부 타입이 유니언에 분배되는 방식을 제어합니다. 브라우저에서 직접 실행하는 실습 코드로 TypeScript Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.
TypeScript Academy을(를) 시작하는 데 경험이 필요한가요?
사전 경험은 필요하지 않습니다. CoddyKit의 TypeScript Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 4번째 강의입니다.
“분배 조건부 타입” 강의는 얼마나 걸리나요?
대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.
이 TypeScript Academy 강의에서 코드를 작성하고 실행할 수 있나요?
네. 모든 TypeScript Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.
이 강의의 모든 강의
- 계산 언어로서의 타입
- 타입 수준 조건문
- 타입 수준 재귀
- 분배 조건부 타입