bh2980.dev

14 - First of Array

  • #TypeScript
  • #Type Challenges

질문

배열(튜플) T를 받아 첫 원소의 타입을 반환하는 제네릭 First<T>를 구현하세요.

예시:

type arr1 = ['a', 'b', 'c']
type arr2 = [3, 2, 1]

type head1 = First<arr1> // expected to be 'a'
type head2 = First<arr2> // expected to be 3

// !collapse(1:30) collapsed
/* _____________ 테스트 케이스 _____________ */
import type { Equal, Expect } from '@type-challenges/utils'

type cases = [
  Expect<Equal<First<[3, 2, 1]>, 3>>,
  Expect<Equal<First<[() => 123, { a: string }]>, () => 123>>,
  Expect<Equal<First<[]>, never>>,
  Expect<Equal<First<[undefined]>, undefined>>,
]

type errors = [
  // @ts-expect-error
  First<'notArray'>,
  // @ts-expect-error
  First<{ 0: 'arrayLike' }>,
]

선행 지식

  1. 조건부 타입 extends

    T extends U ? A : B

    삼항 연산자 형태의 타입 비교문. 참이면 A, 아니면 B를 return한다.

  2. infer

    T extends [infer X, number] ? X : never

    조건부 타입 내에서 사용할 수 있는 타입 추론 키워드. 매칭되는 타입을 변수처럼 추출할 수 있다.

  3. 배열의 나머지 연산 ...

    [infer X, ...infer Rest]

    ... 연산자는 앞 부분과 나머지를 분리하여 이 위치 이후로의 모든 요소를 하나의 타입으로 묶는데 사용한다.

풀이