First of Array
约 245 字小于 1 分钟
2026-02-11
题目
实现一个First<T>泛型,它接受一个数组T并返回它的第一个元素的类型。
例如:
type arr1 = ['a', 'b', 'c']
type arr2 = [3, 2, 1]
type head1 = First<arr1> // 应推导出 'a'
type head2 = First<arr2> // 应推导出 3解题思路
infer R可以定义类似变量的概念,以形式进行匹配。T extends R ? ... : ...可作为类似三元表达式的效果,用于判断T是否为R的子集。
答案
type First<T extends any[]> = T extends [infer first, ...infer rest] ? first : never验证
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' }>,
]