Typescript 분배 규칙

타입스크립트의 분배 규칙(distributive conditional types)은 조건부 타입(T extends U ? X : Y)을 정의할 때 제네릭 매개변수에 유니언 타입이 들어오면, 그 유니언 타입의 각 멤버에 대해 개별적으로 조건이 적용되는 동작을 말함.

 

1. 기본 개념

type Example<T> = T extends number ? 'num' : 'other';

• T가 제네릭이 아닌 고정된 타입이면 그대로 조건 판별:

type A = Example<number>; // 'num'
type B = Example<string>; // 'other'

• T가 유니언 타입이면, 각 멤버별로 조건을 적용한 후 결과를 다시 유니언으로 합침:

type C = Example<number | string>; 
// 처리 과정:
// 1. number → 'num'
// 2. string → 'other'
// 결과: 'num' | 'other'

이게 분배(distribution) 동작입니다.

 

2. 분배 규칙이 동작하는 조건

• 제네릭 타입 매개변수가 조건문의 좌변에 그대로 사용되어야 함
• T extends U ? X : Y 형태일 때만 자동 분배됨

예:

type Distributed<T> = T extends number ? 'num' : 'other';
type D1 = Distributed<number | string>; // 'num' | 'other'

 

 

3. 분배를 막는 방법

T를 한 번 래핑하면 분배가 일어나지 않음:

type NonDistributed<T> = [T] extends [number] ? 'num' : 'other';
type D2 = NonDistributed<number | string>; 
// [number | string] extends [number] → false
// 결과: 'other'

이 방법을 **"분배 방지(disable distribution)"**라고 합니다.

 

4. 활용 예시

4.1 Exclude 타입

type Exclude<T, U> = T extends U ? never : T;

type E1 = Exclude<'a' | 'b' | 'c', 'a'>;
// 처리 과정:
// 'a' extends 'a' → never
// 'b' extends 'a' → 'b'
// 'c' extends 'a' → 'c'
// 결과: 'b' | 'c'

4.2 Extract 타입

type Extract<T, U> = T extends U ? T : never;

type E2 = Extract<'a' | 'b' | 'c', 'a' | 'b'>;
// 결과: 'a' | 'b'

 

 

5. 핵심 정리

1. 유니언 타입이 제네릭에 들어오면, 조건부 타입이 멤버별로 적용된다.
2. 조건문의 좌변에 T가 직접 와야 분배됨.
3. 분배를 막으려면 T를 [T]처럼 튜플 등으로 감싸면 된다.
4. Exclude, Extract 같은 기본 유틸리티 타입도 이 규칙을 기반으로 동작한다.