logoProsperBao

Includes

2022-03-22 01

题目来源(type-challenges)

问题

在类型系统里实现 JavaScript 的 Array.includes 方法，这个类型接受两个参数，返回的类型要么是 true 要么是 false。

举例来说，

type isPillarMen = Includes<['Kars', 'Esidisi', 'Wamuu', 'Santana'], 'Dio'> // expected to be `false`

解答 

type Includes<T extends unknown[], U> = T extends [infer first, ...infer rest] ? U extends first ? true : Includes<rest, U> : false

拆分

  1. T extends unknown[] 限制 T 只能是数组类型
  2. 通过解构和 infer 结合，每次拿出数组的第一个元素，然后和 U 比较，如果相等，返回 true，否则递归调用进行判断
cd ..