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' }>,
]

参考

索引访问类型 Indexed Types
条件类型 Conditional Types