0Pricing
TypeScript Academy · 강의

조건부 형식: T extends U ? X : Y

조건부 형식으로 형식 수준의 if 문을 작성합니다.

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

환영합니다

조건부 타입을 사용하면 타입 수준의 if 문을 표현할 수 있습니다. 조건부 타입은 유틸리티 타입을 만드는 데 사용되는 TypeScript 고급 타입 시스템의 핵심 요소입니다.

기본 문법

T extends U ? X : Y 형식으로 작성합니다. T를 U에 할당할 수 있으면 결과는 X이고, 그렇지 않으면 Y입니다.
type IsString<T> = T extends string ? true : false;
type A = IsString<string>; // true
type B = IsString<number>; // false

내장 NonNullable

NonNullable은 T에서 null과 undefined를 제거하는 조건부 타입으로 구현됩니다.
type NonNullable<T> = T extends null | undefined ? never : T;
type C = NonNullable<string | null>; // string

제네릭과 조건부 타입

조건부 타입은 제네릭 함수와 타입 별칭 내부에서 사용할 때 가장 유용합니다.
type Flatten<T> = T extends Array<infer I> ? I : T;
type Str = Flatten<string[]>; // string
type Num = Flatten<number>;   // number

중첩 조건부 타입

더 복잡한 논리를 위해 조건부 타입을 중첩할 수 있습니다.
type TypeName<T> =
  T extends string ? 'string' :
  T extends number ? 'number' :
  T extends boolean ? 'boolean' :
  'object';

유니언에 대한 분배

T가 단순한 타입 매개변수이면 조건부 타입이 유니언의 각 멤버에 분배됩니다.
type ToArray<T> = T extends any ? T[] : never;
type R = ToArray<string | number>; // string[] | number[]

분배 방지하기

T를 튜플로 감싸면 분배를 방지할 수 있습니다.
type NoDistribute<T> = [T] extends [any] ? T[] : never;
type R2 = NoDistribute<string | number>; // (string | number)[]

never를 사용한 필터링

조건부 타입에서 never를 반환하면 유니언 멤버가 제거됩니다.
type OnlyStrings<T> = T extends string ? T : never;
type S = OnlyStrings<'a' | 'b' | 1 | 2>; // 'a' | 'b'

매핑 타입에서의 조건부 타입

매핑 타입과 조건부 타입을 결합하면 객체 속성을 선택적으로 변환할 수 있습니다.
type NullableValues<T> = { [K in keyof T]: T[K] extends string ? null : T[K] };

함수 매개변수에서 추론하기

조건부 타입 안에서 infer를 사용해 복잡한 타입의 일부를 추출합니다.
type FirstParam<T> = T extends (first: infer P, ...rest: any[]) => any ? P : never;
type FP = FirstParam<(a: string, b: number) => void>; // string

내장 조건부 유틸리티

많은 내장 유틸리티(ReturnType, Parameters, InstanceType)는 조건부 타입과 infer를 사용해 만들어집니다.
type ReturnType<T extends (...args: any) => any> = T extends (...args: any) => infer R ? R : any;

빠른 확인

`type R = string extends object ? 'yes' : 'no'`의 결과는 무엇인가요?

요약

조건부 타입(T extends U ? X : Y)은 타입 수준의 논리를 구현할 수 있게 합니다. 유니언에 분배되고, infer와 함께 추출에 사용할 수 있으며, TypeScript의 여러 내장 유틸리티 타입을 구현하는 기반이 됩니다.

자주 묻는 질문

“조건부 형식: T extends U ? X : Y” 강의는 무료인가요?

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

“조건부 형식: T extends U ? X : Y”에서 뭘 배우나요?

조건부 형식으로 형식 수준의 if 문을 작성합니다. 브라우저에서 직접 실행하는 실습 코드로 TypeScript Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.

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

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

“조건부 형식: T extends U ? X : Y” 강의는 얼마나 걸리나요?

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

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

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

이 강의의 모든 강의

  1. keyof 및 인덱스 접근 형식
  2. 제네릭 제약 조건: 형식 매개변수 좁히기
  3. 조건부 형식: T extends U ? X : Y
  4. 분배 조건부 형식
← TypeScript Academy(으)로 돌아가기