IsTuple
约 409 字大约 1 分钟
2022-12-01
题目
Github: IsTuple
实现一个类型 IsTuple，它接受一个输入类型 T 并返回 T 是否为元组类型。
type case1 = IsTuple<[number]> // true
type case2 = IsTuple<readonly [number]> // true
type case3 = IsTuple<number[]> // false解题思路
在 typescript 类型系统中，普通数组类型和元组类型的核心区别在于其 length 属性的类型。 数组的 length 是泛用的 number 类型，而 元组类型的 length 是具体的数组字面量类型（如 2）。 根据这个差异，我们可以通过条件类型来判断一个类型是否为元组类型。
检查是否为数组类型：
首先确定 T 是否继承自 readonly any[]（兼容普通数组和元组，包括只读元组）。
判断 length 类型：
若 T 是数组类型，进一步检查其 length 属性的类型是否为 number。若 number extends T['length'] 成立， 说明 T 是普通数组（length 是 number），否则是元组（length 是具体数字）。
别忘了处理传入的类型参数为 never 类型时的情况
答案
type IsTuple<T> = [T] extends [never]
? false
: T extends readonly any[]
? number extends T['length']
? false
: true
: false验证
type cases = [
Expect<Equal<IsTuple<[]>, true>>,
Expect<Equal<IsTuple<[number]>, true>>,
Expect<Equal<IsTuple<readonly [1]>, true>>,
Expect<Equal<IsTuple<{ length: 1 }>, false>>,
Expect<Equal<IsTuple<number[]>, false>>,
Expect<Equal<IsTuple<never>, false>>,
]