conditional types와 infer

기본 패턴

type Flatten<T> = T extends Array<infer Item> ? Item : T;

type A = Flatten<string[]>; // string
type B = Flatten<number>;   // number

설명

• conditional type은 JavaScript의 삼항 연산자와 비슷한 모양으로 타입 수준 분기를 만드는 문법입니다. 즉 "이 타입이 어떤 구조라면 A, 아니면 B"를 표현할 수 있습니다.
• 이 문법의 진짜 힘은 infer와 만날 때 나옵니다. infer는 비교 대상 구조 안에서 일부 타입 정보를 끄집어내 새 이름으로 바인딩하게 해 줍니다.
• 예를 들어 배열 요소 타입, 함수 반환 타입, Promise 안쪽 값 타입을 직접 인덱싱하지 않고 "패턴에서 추론"할 수 있습니다. 그래서 타입 조작이 훨씬 선언적이 됩니다.
• ReturnType, Awaited 같은 내장 유틸리티 타입도 이런 사고방식으로 이해할 수 있습니다. 결국 conditional type은 "타입의 구조를 보고 분기하고, 필요한 조각을 추출한다"는 도구입니다.
• 실무에서는 API helper, 라이브러리 타입 정의, 함수 시그니처 추론, 프레임워크 유틸리티 타입을 읽을 때 이 개념이 계속 등장합니다.

빠른 정리

주의할 점