【TypeScript】type-challenges 初級編 3060・Unshift 解説

お題

Array.unshiftの型バージョンUnshiftを実装する（配列の先頭に要素を追加する）。

やりたいこと

type Result = Unshift<[1, 2], 0>;  // => [0, 1, 2]

解答

type Unshift<T extends unknown[], U> = [U, ...T];

解説

処理の流れ

• <T extends unknown[], U>
Tに配列を受け取るように制限。Uは先頭に追加する要素を受け取る。
• [U, ...T]
Uを先頭に置いて、スプレッド構文でTの要素を展開し、[]でラッピングする。

スプレッド構文とは...

今回の問題