mosya<TC> - 配列から最後の要素を削除する型を実装しよう

この記事はmosya<TC>の問題の一つであるPop型の解説になります。

問題

配列 T を受け取り、最後の要素を除いた配列を返す汎用的な Pop<T> を実装してください。

type arr1 = ["a", "b", "c", "d"];
type arr2 = [3, 2, 1];

type re1 = Pop<arr1>; // expected to be ['a', 'b', 'c']
type re2 = Pop<arr2>; // expected to be [3, 2]

解答例

type Pop<T extends any[]> = T extends [
  ...infer U,
  any
]
  ? U
  : never;

今回は、Tが配列であることが条件なので、T extends any[]という条件を指定します。
そして、配列の中の要素を返すには推論のためのinferと条件のためのextends構文を組み合わせます。
スプレッド演算子を使うことで、配列の最後以外の要素を、...で配列として取得し、それをUという名前で受け取ります。