FE/type-challenge

18142. All

최토피 2023. 9. 25. 12:09
728x90

문제

Returns true if all elements of the list are equal to the second parameter passed in, false if there are any mismatches.

type Test1 = [1, 1, 1]
type Test2 = [1, 1, 2]

type Todo = All<Test1, 1> // should be same as true
type Todo2 = All<Test2, 1> // should be same as false

cases

type cases = [
  Expect<Equal<All<[1, 1, 1], 1>, true>>,
  Expect<Equal<All<[1, 1, 2], 1>, false>>,
  Expect<Equal<All<['1', '1', '1'], '1'>, true>>,
  Expect<Equal<All<['1', '1', '1'], 1>, false>>,
  Expect<Equal<All<[number, number, number], number>, true>>,
  Expect<Equal<All<[number, number, string], number>, false>>,
  Expect<Equal<All<[null, null, null], null>, true>>,
  Expect<Equal<All<[[1], [1], [1]], [1]>, true>>,
  Expect<Equal<All<[{}, {}, {}], {}>, true>>,
  Expect<Equal<All<[never], never>, true>>,
  Expect<Equal<All<[any], any>, true>>,
  Expect<Equal<All<[unknown], unknown>, true>>,
  Expect<Equal<All<[any], unknown>, false>>,
  Expect<Equal<All<[unknown], any>, false>>,
  Expect<Equal<All<[1, 1, 2], 1 | 2>, false>>,
]

문제 링크

정답

type All<T extends any[], U> = T extends [infer T1, ...infer Rest]
  ? (<V>() => V extends T1 ? 1 : 2) extends (<V>() => V extends U ? 1 : 2)
      ? All<Rest, U>
      : false
  : true

풀이

조건

  1. 배열 T 의 모든 요소가 U 와 같으면 true, 아니면 false를 출력한다.

해설

T의 모든 요소를 재귀를 사용해서 순차적으로 확인한다.

type All<T extends any[], U> = T extends [infer T1, ...infer Rest]
  ? T1 extends U ? All<Rest, U> : false
  : true

1 extends number 와 같은 경우 오류가 발생하므로 다음과 같이 개선한다.

type All<T extends any[], U> = T extends [infer T1, ...infer Rest]
  ? [T1, U] extends [U, T1] ? All<Rest, U> : false
  : true

위의 코드 또한 any와 unknown 케이스에서 오류가 발생하므로, Equal을 이용하여 다음과 같이 개선한다.

type All<T extends any[], U> = T extends [infer T1, ...infer Rest]
  ? (<V>() => V extends T1 ? 1 : 2) extends (<V>() => V extends U ? 1 : 2)
      ? All<Rest, U>
      : false
  : true

 

혹시 오류나 개선점이 있다면 댓글 부탁드립니다.

728x90