TupleToUnion 및 UnionToIntersection

TupleToUnion: 개념

type TupleToUnion<T extends readonly any[]> = T[number];
type A = TupleToUnion<[string, number, boolean]>; // string | number | boolean

숫자 인덱스로 접근하는 방식

type Tuple = [string, number, boolean];
type Elements = Tuple[number]; // string | number | boolean

상수 배열과 함께 사용하는 TupleToUnion

const COLORS = ["red", "green", "blue"] as const;
type Color = typeof COLORS[number]; // "red" | "green" | "blue"

UnionToIntersection: 개념

type UnionToIntersection<U> =
  (U extends any ? (x: U) => void : never) extends (x: infer I) => void
    ? I
    : never;

함수 기법이 작동하는 이유

type A = UnionToIntersection<{ a: 1 } | { b: 2 }>;
// { a: 1 } & { b: 2 }

UnionToTuple: 어려운 문제

// Not reliable — union member order is unspecified
// Use TupleToUnion (safe) not UnionToTuple (fragile)

TupleToUnion의 실제 활용

const ALLOWED_METHODS = ["GET", "POST", "PUT", "DELETE"] as const;
type HttpMethod = typeof ALLOWED_METHODS[number];
function request(method: HttpMethod) { /* ... */ }

UnionToIntersection의 실제 활용

type Mixin1 = { log(): void };
type Mixin2 = { save(): Promise<void> };
type Combined = UnionToIntersection<Mixin1 | Mixin2>;
// { log(): void } & { save(): Promise<void> }

원시 타입의 교집합

type X = UnionToIntersection<string | number>; // never

제네릭 제약 조건에서 사용하기

function merge<T extends object[]>(...args: T): UnionToIntersection<T[number]> {
  return Object.assign({}, ...args) as any;
}

요약: 튜플 ↔ 공용체 ↔ 교집합

빠른 확인

학습 내용