반응형
infer
infer는 조건부 타입 내에서 특정 타입을 추론하는 문법입니다.
infer는 다음과 같이 특정 함수 타입에서 반환값의 타입만 추출하는 특수한 조건부 타입인 ReturnType을 만들 때 이용할 수 있습니다.
type ReturnType<T> = T extends () => infer R ? R : never;
type FuncA = () => string;
type FuncB = () => number;
type A = ReturnType<FuncA>;
// string
type B = ReturnType<FuncB>;
// number
조건식 T extends () => infer R에서 infer R은 이 조건식을 참이 되도록 만들 수 있는 최적의 R 타입을 추론하라는 의미입니다.
따라서 A 타입을 계산할 때의 위 코드의 흐름은 다음과 같습니다.
- 타입 변수 T에 함수 타입 FuncA가 할당됩니다.
- T는 () ⇒ string 이 됩니다.
- 조건부 타입의 조건식은 다음 형태가 됩니다 () ⇒ string extends () ⇒ infer R ? R : never
- 조건식을 참으로 만드는 R 타입을 추론 합니다 그 결과 R은 string이 됩니다.
- 추론이 가능하면 이 조건식을 참으로 판단합니다 따라서 결과는 string이 됩니다.
만약 다음과 같이 추론이 불가능하다면 조건식을 거짓으로 판단합니다.
type ReturnType<T> = T extends () => infer R ? R : never;
type FuncA = () => string;
type FuncB = () => number;
type A = ReturnType<FuncA>;
// string
type B = ReturnType<FuncB>;
// number
type C = ReturnType<number>;
// 조건식을 만족하는 R추론 불가능
// never
다음은 Promise의 resolve 타입을 infer를 이용해 추출하는 예 입니다.
type PromiseUnpack<T> = T extends Promise<infer R> ? R : never;
// 1. T는 프로미스 타입이어야 한다.
// 2. 프로미스 타입의 결과값 타입을 반환해야 한다.
type PromiseA = PromiseUnpack<Promise<number>>;
// number
type PromiseB = PromiseUnpack<Promise<string>>;
// string
반응형
'TypeScript' 카테고리의 다른 글
| TypeScript : 유틸리티 타입(2) (0) | 2024.08.12 |
|---|---|
| TypeScript : 유틸리티 타입(1) (0) | 2024.08.12 |
| TypeScript : 분산적인 조건부 타입 (0) | 2024.08.12 |
| TypeScript : 조건부 타입 (0) | 2024.08.12 |
| TypeScript : 맵드 타입 (0) | 2024.08.10 |