type Pop<T extends any[]> = T extends [...infer I, infer _] ? I : never
Это рекомендованное решение для типа Pop
в type-challenge.
Так же работающие решения:
type Pop<T extends any[]> = T extends [...infer U, ...[unknown]]
? U
: never
type Pop<T extends any[]> = T extends [...infer U, unknown]
? U
: never
Если нам надо удалить больше типов, то мы просто добавляем:
type Pop<T extends any[]> = T extends [...infer U, ...[unknown, unknown]]
? U
: never
Pop<[1,2,3,4,5]> // [1,2,3]
Если написать тоже самое без условного типа, получается обычный merge:
type Merge<T extends any[], K extends any[]> = [...T, ...K]
type m = Merge<[1,2,3], [1,unknown,unknown]>
// ^? [1,2,3,1,unknown,unknown]
Как это работает?
infer
пропадают последние два типа, а без него(не в условном типе) происходит слияние?infer
- а именно часть спереди, а без условном типе ты конструируешь тип из двух массивовinfer
- это понятно. Не понятно почему там на элемент меньше, в случаеT extends [...infer I, infer _] ? I : never
?I