TypeScript를 사용하다 보면 더욱 정교한 타입 시스템의 필요성을 느끼게 됩니다. 특히, 복잡한 제네릭 타입을 다룰 때는 조건부 타입(Conditional Types)과 함께 infer 키워드가 매우 유용하게 사용될 수 있습니다.
TypeScript의 infer 키워드가 무엇인지, 그리고 어떻게 활용할 수 있는지에 대해 알아보겠습니다.

infer란 무엇인가요?

infer는 TypeScript의 조건부 타입에서 사용되는 키워드로, 특정 타입의 일부를 추론할 수 있도록 도와줍니다. 쉽게 말해, infer는 제네릭 타입을 분석하여 새로운 타입을 추출하는 역할을 합니다.

기본 사용 예제

먼저, infer의 기본적인 사용법을 살펴보겠습니다. 여기서는 함수의 반환 타입을 추론하는 예제를 사용합니다.

type GetReturnType<T> = T extends (...args: any[]) => infer R ? R : never;

위 코드에서 GetReturnType 타입은 제네릭 T가 함수 타입인 경우, 그 함수의 반환 타입을 추론하여 R로 설정합니다. 만약 함수 타입이 아니라면 never를 반환합니다.
이 타입을 사용하면 특정 함수의 반환 타입을 자동으로 추론할 수 있습니다.

실전 활용 예제

이제 infer 키워드를 실전에서 어떻게 활용할 수 있는지 몇 가지 예제를 통해 살펴보겠습니다.

1. 함수 인수 타입 추출

infer를 사용하면 함수의 인수 타입을 추출할 수 있습니다.

type GetArguments<T> = T extends (...args: infer A) => any ? A : never;

type Args1 = GetArguments<(x: number, y: string) => void>; // [number, string]
type Args2 = GetArguments<() => void>; // []

이 코드에서 GetArguments 타입은 주어진 함수의 인수 타입을 배열로 반환합니다. 이를 통해 함수의 인수 타입을 쉽게 추출할 수 있습니다.

1. 프로미스의 반환 타입 추출

infer는 프로미스 타입의 반환 값을 추론하는 데도 매우 유용합니다.

type UnwrapPromise<T> = T extends Promise<infer U> ? U : T;

type Example1 = UnwrapPromise<Promise<string>>; // string
type Example2 = UnwrapPromise<number>; // number

UnwrapPromise 타입은 프로미스에서 반환되는 실제 타입을 추론합니다. 프로미스 타입이 아닌 경우에는 원래 타입을 그대로 반환합니다.

1. 배열 요소 타입 추출

배열 타입에서 요소의 타입을 추출하는 방법도 infer로 간단하게 구현할 수 있습니다.

type ElementType<T> = T extends (infer U)[] ? U : T;

type Example1 = ElementType<string[]>; // string
type Example2 = ElementType<number[]>; // number

ElementType 타입은 배열의 요소 타입을 반환하며, 배열이 아닌 타입이 주어질 경우 그 타입 자체를 반환합니다.

1. 튜플에서 특정 위치의 타입 추출

튜플 타입에서 첫 번째 요소의 타입을 추출할 때도 infer를 사용할 수 있습니다.

type First<T> = T extends [infer U, ...any[]] ? U : never;

type Example1 = First<[string, number, boolean]>; // string
type Example2 = First<[boolean, number]>; // boolean

First 타입은 튜플의 첫 번째 요소 타입을 추출하여 유용하게 활용할 수 있습니다.