튜플 길이로 세기

숫자에는 표현 방식이 필요합니다

type Three = [unknown, unknown, unknown];
type N = Three["length"]; // 3

길이 읽기

type A = [1, 2, 3, 4]["length"]; // 4
type B = []["length"];           // 0
type C = ["x"]["length"];        // 1

unknown 필러를 사용하는 이유

type Two = [unknown, unknown];
type N = Two["length"]; // 2

길이 N인 튜플 만들기

type BuildTuple<N extends number, Acc extends unknown[] = []> =
  Acc["length"] extends N ? Acc : BuildTuple<N, [...Acc, unknown]>;

type A = BuildTuple<3>; // [unknown, unknown, unknown]

BuildTuple의 반복 방식

type A = BuildTuple<2>; // [unknown, unknown]

길이가 연결 고리입니다

type FromN = BuildTuple<4>;        // tuple of length 4
type BackToN = FromN["length"];    // 4

길이로 비교하기

type SameLength<A extends unknown[], B extends unknown[]> =
  A["length"] extends B["length"] ? true : false;

type X = SameLength<[1, 2], ["a", "b"]>;   // true
type Y = SameLength<[1], ["a", "b"]>;      // false

제네릭 길이 카운터

type Len<T extends unknown[], Acc extends unknown[] = []> =
  T extends [unknown, ...infer R]
    ? Len<R, [...Acc, unknown]>
    : Acc["length"];

type A = Len<["a", "b", "c"]>; // 3

카운터로 사용하는 튜플

type Inc<N extends number> = [...BuildTuple<N>, unknown]["length"];

type A = Inc<3>; // 4

감소 미리 보기

type Dec<N extends number> =
  BuildTuple<N> extends [unknown, ...infer R] ? R["length"] : 0;

type A = Dec<3>; // 2
type B = Dec<0>; // 0

기억해야 할 제한 사항

type A = BuildTuple<5>["length"]; // 5 (fine)
// BuildTuple<10000> would error: too deep

빠른 확인

복습