TypeScript Academy · 강의

타입 수준 조건문

조건부 타입 표현식으로 타입에 따라 분기합니다.

타입 수준 조건문은(는) CoddyKit의 무료 TypeScript Academy 강의입니다. 이것은 4개 중 2번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 TypeScript Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. TypeScript Academy 강의에는 총 4개의 강의가 포함되어 있습니다.

타입 수준의 조건문

타입 언어는 조건부 타입을 사용해 분기 기능을 얻습니다. T extends U ? X : Y라는 문법은 다음과 같이 읽습니다. T가 U에 할당 가능하면 결과는 X이고, 그렇지 않으면 Y입니다.

이는 타입 수준에서의 if / else 표현식에 해당합니다.

type IsString<T> = T extends string ? "yes" : "no";

type A = IsString<string>; // "yes"
type B = IsString<number>; // "no"

extends는 할당 가능을 의미합니다

여기서 검사하는 것은 동일성 여부가 아닙니다. T extends U는 T 타입의 값을 U가 필요한 곳에서 사용할 수 있을 때 참입니다. 리터럴 타입은 해당 기본 타입에 할당할 수 있습니다.

type T1 = "hello" extends string ? true : false; // true
type T2 = string extends "hello" ? true : false; // false
type T3 = 42 extends number ? true : false;       // true

결과 타입 선택하기

조건부 타입을 사용하면 입력에 따라 하나의 제네릭이 서로 다른 형태를 반환하도록 만들 수 있습니다. 여기서 Wrap은 배열과 스칼라 값을 서로 다르게 감쌉니다.

type Wrap<T> = T extends unknown[]
  ? { list: T }
  : { value: T };

type A = Wrap<number>;   // { value: number }
type B = Wrap<string[]>; // { list: string[] }

never로 필터링하기

한 분기에서 never를 반환하는 것은 흔히 사용하는 기법입니다. never는 "값이 없음"을 의미하며, 나중에 유니언에서 멤버를 제거할 때 유용합니다.

type OnlyStrings<T> = T extends string ? T : never;

type A = OnlyStrings<string>; // string
type B = OnlyStrings<number>; // never

infer를 사용한 추론

진정한 강력함은 infer 키워드와 함께 드러납니다. 조건부 타입 안에서 infer는 일치한 타입의 일부를 포착하는 새로운 타입 변수를 도입합니다.

여기서는 배열의 요소 타입을 포착합니다.

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

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

함수 결과 추론하기

infer는 패턴의 어느 위치에나 배치할 수 있습니다. 함수 반환 타입을 추출하려면 화살표 뒤의 부분을 추론합니다. 기본 제공 ReturnType은 이러한 방식으로 동작합니다.

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

type A = MyReturn<() => number>;      // number
type B = MyReturn<(x: string) => boolean>; // boolean

여러 부분 추론하기

하나의 조건부 타입에서 여러 infer 변수를 동시에 도입할 수 있습니다. 여기서는 튜플의 첫 번째 요소와 나머지를 모두 가져옵니다.

type FirstRest<T> = T extends [infer H, ...infer R]
  ? { head: H; rest: R }
  : never;

type A = FirstRest<[1, 2, 3]>;
// { head: 1; rest: [2, 3] }

중첩된 조건부 타입

조건부 타입은 연결된 else if처럼 중첩할 수 있습니다. 한 조건부 타입의 else 분기 자체가 또 다른 조건부 타입이 될 수 있어, 판단 사다리를 구성합니다.

type Describe<T> =
  T extends string ? "text" :
  T extends number ? "num" :
  T extends boolean ? "flag" :
  "other";

type A = Describe<number>; // "num"
type B = Describe<null>;   // "other"

안전장치로서의 조건

조건부 타입을 사용해 형태를 확인한 후 그 안에서 값을 추출하세요. 입력이 일치하지 않으면 never로 대체하여 잘못된 사용이 드러나도록 하세요.

type GetName<T> = T extends { name: infer N } ? N : never;

type A = GetName<{ name: string }>; // string
type B = GetName<{ age: number }>;  // never

조건 결합하기

조건을 중첩하면 여러 조건을 요구할 수 있습니다. 여기서는 타입이 객체이면서 id도 가지고 있어야 통과합니다.

type RequireId<T> =
  T extends object
    ? T extends { id: unknown } ? T : never
    : never;

type A = RequireId<{ id: 1; x: 2 }>; // { id: 1; x: 2 }
type B = RequireId<{ x: 2 }>;        // never

조건부 타입은 어디에나 있습니다

대부분의 기본 제공 유틸리티 타입은 내부적으로 조건부 타입입니다. NonNullable, Extract, Exclude, Parameters, ReturnType이 이에 해당합니다. extends ? :를 이해하면 이 모든 기능을 사용할 수 있습니다.

type MyNonNullable<T> = T extends null | undefined ? never : T;

type A = MyNonNullable<string | null>; // string

빠른 확인

조건부 타입과 infer에 대한 이해도를 확인해 보세요.

복습

조건부 타입은 타입 언어에 if/else와 패턴 일치 기능을 제공합니다.

T extends U ? X : Y는 할당 가능 여부에 따라 분기합니다.
infer는 일치한 부분을 새로운 변수에 포착합니다.
조건부 타입을 중첩하면 판단 사다리를 만들 수 있습니다.
never를 반환하면 멤버를 필터링해 제거할 수 있습니다.

다음은 조건부 타입을 자기 자신에게 다시 적용하는 재귀입니다.

자주 묻는 질문

“타입 수준 조건문” 강의는 무료인가요?

네 — “타입 수준 조건문” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 TypeScript Academy 강의 전체를 잠금 해제할 수 있습니다. TypeScript Academy 강의에는 총 4개의 강의가 포함되어 있습니다.

“타입 수준 조건문”에서 뭘 배우나요?

조건부 타입 표현식으로 타입에 따라 분기합니다. 브라우저에서 직접 실행하는 실습 코드로 TypeScript Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.

TypeScript Academy을(를) 시작하는 데 경험이 필요한가요?

사전 경험은 필요하지 않습니다. CoddyKit의 TypeScript Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 2번째 강의입니다.

“타입 수준 조건문” 강의는 얼마나 걸리나요?

대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.

이 TypeScript Academy 강의에서 코드를 작성하고 실행할 수 있나요?

네. 모든 TypeScript Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.

이 강의의 모든 강의

← TypeScript Academy(으)로 돌아가기