조건부 타입 소개

TypeScript의 조건부 타입을 사용하면 조건에 따라 동적으로 조정되는 타입을 만들 수 있으므로 코드의 유연성과 재사용성이 높아집니다.

조건부 타입은 JavaScript의 조건부(ternary) 연산자와 비슷한 구문을 사용합니다.

조건부 타입이란?

조건부 타입을 사용하면 다른 타입에 따라 결정되는 타입을 정의할 수 있습니다. 기본 구문은 다음과 같습니다.

T extends U ? X : Y

이는 T가 U를 확장하면 타입이 X이고, 그렇지 않으면 Y라는 의미입니다.

조건부 타입의 기본 예제

다음은 간단한 예제입니다.

type IsString<T> = T extends string ? 'Yes' : 'No';

// Test cases
type A = IsString<string>; // 'Yes'
type B = IsString<number>; // 'No'

함수 오버로드에 조건부 타입 사용하기

조건부 타입을 사용하면 반환 타입을 동적으로 결정하여 함수 오버로드를 단순화할 수 있습니다.

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

function getData(): string {
  return 'Hello';
}

type DataType = ReturnType<typeof getData>; // string

분배 조건부 타입

조건부 타입을 유니언 타입에 적용하면 유니언의 각 구성원에 분배되어 적용됩니다.

type ToArray<T> = T extends any ? T[] : never;

type A = ToArray<string | number>;
// A = string[] | number[]

조건부 타입과 매핑된 타입 결합하기

조건부 타입과 매핑된 타입을 결합하면 강력한 타입 변환을 구현할 수 있습니다.

type User = {
  id: number;
  name: string;
  isAdmin?: boolean;
};

type MakeRequired<T> = {
  [K in keyof T]-?: T[K] extends undefined ? never : T[K];
};

type RequiredUser = MakeRequired<User>;
// { id: number; name: string; isAdmin: never; }

조건부 타입의 일반적인 사용 사례

조건부 타입은 다음과 같은 경우에 자주 사용됩니다.

• 반환 타입이나 매개변수 추론
• 유니언과 인터섹션 변환
• Exclude, Extract, NonNullable와 같은 유틸리티 타입 생성

연습 과제

타입이 배열인지 확인하고, 배열이면 요소 타입을 반환하며 그렇지 않으면 타입 자체를 반환하는 조건부 타입을 만드십시오.

축하합니다!

TypeScript에서 조건부 타입을 사용하여 동적이고 재사용 가능한 타입 정의를 만드는 방법을 배웠습니다. 이러한 개념을 연습하여 더욱 강력하고 유연한 TypeScript 코드를 작성해 보십시오!