TypeScript Academy · 강의

재귀 깊이와 제한

TypeScript의 재귀 깊이 제약을 이해합니다.

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

TypeScript에는 재귀 한도가 있습니다

재귀적 타입은 강력하지만 타입 검사기는 타입을 얼마나 깊게 인스턴스화할 수 있는지 제한합니다. 한도에 도달하면 깊이 오류가 발생합니다.

// Excessively deep recursive types can produce:
// "Type instantiation is excessively deep and possibly infinite."

깊이 오류가 발생하는 이유

명확하고 점점 줄어드는 종료 조건 없이 재귀하는 조건부 타입은 특히 큰 유니온이나 튜플 구성과 결합될 때 끝없이 확장될 수 있습니다.

type Repeat<N extends number, Acc extends unknown[] = []> =
  Acc["length"] extends N ? Acc : Repeat<N, [...Acc, unknown]>;
// Large N can exceed the instantiation depth.
type Five = Repeat<5>;

안전하게 제한된 재귀

재귀를 얕고 제한된 형태로 유지하십시오. 작은 튜플을 만드는 것은 괜찮으며, Acc["length"] extends N이라는 종료 조건이 재귀를 즉시 멈춥니다.

type Tuple<N extends number, Acc extends unknown[] = []> =
  Acc["length"] extends N ? Acc : Tuple<N, [...Acc, unknown]>;
type Three = Tuple<3>; // [unknown, unknown, unknown]
const t: Three = [1, 2, 3];
console.log(t.length);

꼬리 재귀 타입 패턴

TypeScript는 누적기를 전달하는 특정 꼬리 재귀 조건부 타입을 최적화하므로, 단순히 중첩하는 방식보다 더 깊은 재귀를 허용할 수 있습니다.

type Reverse<T extends unknown[], Acc extends unknown[] = []> =
  T extends [infer Head, ...infer Tail]
    ? Reverse<Tail, [Head, ...Acc]>
    : Acc;
type R = Reverse<[1, 2, 3]>; // [3, 2, 1]
const r: R = [3, 2, 1];
console.log(r);

누적기가 도움이 되는 이유

누적기에 결과를 전달하면 재귀가 꼬리 위치에 유지되므로, TypeScript가 깊이 중첩된 조건부 타입보다 효율적으로 재귀를 펼칠 수 있습니다.

type Join<T extends string[], Acc extends string = ""> =
  T extends [infer H extends string, ...infer R extends string[]]
    ? Join<R, Acc extends "" ? H : Acc>
    : Acc;
type First = Join<["a", "b", "c"]>; // "a"
const f: First = "a";
console.log(f);

꼬리 재귀가 아닌 재귀 피하기

재귀 호출을 다른 타입 연산 안에 감싸면 꼬리 위치가 깨져 더 빨리 한도에 도달할 수 있습니다. 대신 누적기에 상태를 전달하십시오.

// Non-tail (can be costly): builds nesting around the recursive call
// type Bad<T> = T extends [infer H, ...infer R] ? [H, ...Bad<R>] : [];
// Tail-friendly alternative uses an accumulator parameter.
console.log("prefer accumulators");

깊이 명시적으로 제한하기

깊이 카운터를 추가하여 정해진 수준 수를 넘으면 타입이 중단되도록 하십시오. 이렇게 하면 완전성을 보장된 종료와 맞바꿀 수 있습니다.

type Flatten<T, Depth extends unknown[] = []> =
  Depth["length"] extends 5
    ? T
    : T extends (infer U)[]
      ? Flatten<U, [...Depth, unknown]>
      : T;
type X = Flatten<number[][]>; // number
const x: X = 7;
console.log(x);

실무의 깊이는 대개 문제가 되지 않습니다

일상적으로 사용하는 재귀 타입인 연결 리스트, 트리, JSON은 대개 한도에 도달하지 않습니다. 인스턴스화하는 데이터가 얕기 때문입니다. 한도는 주로 무거운 타입 수준 계산에 영향을 줍니다.

type Json = string | number | boolean | null | Json[] | { [k: string]: Json };
const v: Json = { a: { b: { c: 1 } } }; // fine, shallow
console.log(v);

오류 메시지 알아보기

"지나치게 깊으며 무한할 가능성이 있음"이라는 메시지가 표시되면 종료 조건 누락, 꼬리 위치가 아닌 누적기, 또는 너무 큰 입력을 확인하십시오.

// Fixes: add/tighten the base case, switch to tail recursion,
// reduce input size, or cap with a depth counter.
console.log("check base case and tail position");

런타임 재귀는 별개입니다

이러한 한도는 타입 수준 재귀에 관한 것입니다. 재귀적 타입을 사용하는 일반 재귀 함수는 런타임에 실행되며 호출 스택에 의해서만 제한됩니다.

type TreeNode<T> = { value: T; children: TreeNode<T>[] };
function count<T>(n: TreeNode<T>): number {
  return 1 + n.children.reduce((a, c) => a + count(c), 0);
}
console.log(count({ value: 1, children: [{ value: 2, children: [] }] }));

한도 내에서 설계하기

얕은 데이터, 누적기를 사용하는 꼬리 재귀 패턴, 명시적인 깊이 제한을 우선하십시오. 이러한 습관을 따르면 실제 코드에서 한도에 도달하는 일이 거의 없습니다.

type Length<T extends unknown[]> = T["length"];
type N = Length<[1, 2, 3]>; // 3
const n: N = 3;
console.log(n);

빠른 확인: 재귀 한도

재귀 깊이와 한도에 대한 이해도를 확인해 보십시오.

복습: 재귀 깊이와 한도

TypeScript가 타입 수준 재귀 깊이를 제한하며, 누적기를 사용하는 꼬리 재귀 패턴과 명시적인 깊이 제한이 도움이 되고, 일상적인 재귀 데이터는 대개 한도에 도달하지 않는다는 점을 배웠습니다.

type Reverse<T extends unknown[], Acc extends unknown[] = []> =
  T extends [infer H, ...infer R] ? Reverse<R, [H, ...Acc]> : Acc;
const r: Reverse<[1, 2]> = [2, 1];
console.log(r);

자주 묻는 질문

“재귀 깊이와 제한” 강의는 무료인가요?

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

“재귀 깊이와 제한”에서 뭘 배우나요?

TypeScript의 재귀 깊이 제약을 이해합니다. 브라우저에서 직접 실행하는 실습 코드로 TypeScript Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.

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

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

“재귀 깊이와 제한” 강의는 얼마나 걸리나요?

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

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

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

이 강의의 모든 강의

← TypeScript Academy(으)로 돌아가기