깊게 중첩된 추론 패턴
복잡한 형식 추출에 infer를 재귀적으로 적용합니다.
깊게 중첩된 추론 패턴은(는) CoddyKit의 무료 TypeScript Academy 강의입니다. 이것은 4개 중 3번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 TypeScript Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. TypeScript Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
깊은 추론이 필요한 이유
원하는 타입이 여러 제네릭 계층 안에 묻혀 있는 경우가 있습니다. 깊은 추론은 재귀적이거나 연쇄적인 조건부 타입을 사용하여 원하는 타입에 도달합니다.
type DeepUnwrap<T> =
T extends Promise<infer U>
? DeepUnwrap<U>
: T;
type A = DeepUnwrap<Promise<Promise<string>>>; // string재귀적 조건부 타입
TypeScript 4.1 이상에서는 재귀적 조건부 타입을 지원하므로 래퍼 계층을 한 번에 하나씩 벗겨낼 수 있습니다.
type Flatten<T> = T extends Array<infer U> ? Flatten<U> : T;
type B = Flatten<string[][][]>; // string중첩된 제네릭에서 추론하기
하나의 extends 절에서 여러 추론 변수를 연결하여 여러 계층을 한 번에 포착할 수 있습니다.
type InnerValue<T> =
T extends Map<any, infer V>
? V extends Set<infer S>
? S
: V
: T;
type C = InnerValue<Map<string, Set<number>>>; // number깊이 중첩된 객체 속성 타입
재귀 타입은 객체 구조를 탐색하여 깊이 중첩된 속성 타입을 추출할 수 있습니다.
type DeepGet<T, K extends keyof T> =
T[K] extends object ? T[K] : never;
type Nested = { user: { profile: { name: string } } };
type Profile = DeepGet<Nested, "user">; // { profile: { name: string } }배열 요소 타입을 깊이 추출하기
재귀적인 래퍼 제거와 배열 처리를 결합하면 중첩 깊이에 제한 없이 처리할 수 있습니다.
type ElementType<T> = T extends (infer U)[] ? ElementType<U> : T;
type D = ElementType<number[][][]>; // number튜플 꼬리 재귀
꼬리 재귀를 사용한 튜플 조작은 타입 안전한 파이프라인과 함수 조합 타입에 흔히 사용되는 패턴입니다.
type Last<T extends any[]> =
T extends [...infer _, infer L] ? L : never;
type E = Last<[1, 2, 3]>; // 3깊이 제한과 실용적인 고려 사항
TypeScript는 무한 루프를 방지하기 위해 재귀 깊이를 제한합니다. 재귀를 얕게 유지하고, 필요한 경우 깊이 카운터로 상한을 설정하세요.
// Deep recursion may hit "Type instantiation is excessively deep"
// Simplify or use branded types to break deep chains유니언 분배에서의 추론
T가 유니언이면 조건부 타입이 분배됩니다. 각 멤버를 별도로 일치시키고 결과를 유니언으로 합칩니다.
type Unwrap<T> = T extends Promise<infer U> ? U : T;
type F = Unwrap<Promise<string> | Promise<number> | boolean>;
// string | number | boolean나머지 튜플 추론
추론을 사용하는 나머지 튜플 패턴을 이용하면 머리와 꼬리로 분해하고 가변적인 타입을 조작할 수 있습니다.
type Init<T extends any[]> =
T extends [...infer I, any] ? I : never;
type G = Init<[1, 2, 3, 4]>; // [1, 2, 3]실전 예시: 중첩된 응용 프로그램 인터페이스 응답
연쇄적인 추론을 사용하면 중첩된 응용 프로그램 인터페이스 응답 타입에서 데이터 타입을 래퍼 제거할 수 있습니다.
type ApiResponse<T> = { data: T; status: number };
type UnwrapApi<T> = T extends ApiResponse<infer D> ? D : T;
type H = UnwrapApi<ApiResponse<{ users: string[] }>>; // { users: string[] }복습: 깊은 추론
깊은 추론은 재귀적 조건부 타입, 여러 추론 변수, 구조적 패턴 일치를 결합하여 임의로 중첩된 제네릭 구조에서 타입을 추출합니다.
빠른 확인
Flatten<string[][]>이 Flatten<T> = T extends Array<infer U> ? Flatten<U> : T일 때 무엇을 반환하나요?
배운 내용
깊이 중첩된 추론은 재귀적 조건부 타입과 연쇄적인 추론 패턴을 사용하여 여러 제네릭 래퍼 안에 묻힌 타입에 도달합니다. TypeScript의 깊이 제한을 피하려면 재귀에 상한을 설정하세요.
자주 묻는 질문
“깊게 중첩된 추론 패턴” 강의는 무료인가요?
네 — “깊게 중첩된 추론 패턴” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 TypeScript Academy 강의 전체를 잠금 해제할 수 있습니다. TypeScript Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
“깊게 중첩된 추론 패턴”에서 뭘 배우나요?
복잡한 형식 추출에 infer를 재귀적으로 적용합니다. 브라우저에서 직접 실행하는 실습 코드로 TypeScript Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.
TypeScript Academy을(를) 시작하는 데 경험이 필요한가요?
사전 경험은 필요하지 않습니다. CoddyKit의 TypeScript Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 3번째 강의입니다.
“깊게 중첩된 추론 패턴” 강의는 얼마나 걸리나요?
대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.
이 TypeScript Academy 강의에서 코드를 작성하고 실행할 수 있나요?
네. 모든 TypeScript Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.