【ts类型体操】00898-easy-includes

使用 TypeScript 实现 Array.includes 的类型版本

最新推荐文章于 2025-04-10 23:17:07 发布

豆浆油条_煎bingo子

最新推荐文章于 2025-04-10 23:17:07 发布

阅读量783

点赞数 1

CC 4.0 BY-SA版权

分类专栏： typescript 文章标签： p2p 网络协议网络 typescript

本文链接：https://blog.csdn.net/qq_45679015/article/details/124677781

本文探讨如何在 TypeScript 类型系统中模仿 JavaScript 的 Array.includes 方法。通过类型推断，当数组 T 的第一个元素等于给定值 U 时返回 true，否则递归检查剩余元素，最终提供一个布尔类型的返回结果。此议题源自 type-challenges GitHub 仓库的一个挑战问题。

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

type Includes<T extends readonly any[], U> =  any

import type { Equal, Expect } from '@type-challenges/utils'

type cases = [
  Expect<Equal<Includes<['Kars', 'Esidisi', 'Wamuu', 'Santana'], 'Kars'>, true>>,
  Expect<Equal<Includes<['Kars', 'Esidisi', 'Wamuu', 'Santana'], 'Dio'>, false>>,
  Expect<Equal<Includes<[1, 2, 3, 5, 6, 7], 7>, true>>,
  Expect<Equal<Includes<[1, 2, 3, 5, 6, 7], 4>, false>>,
  Expect<Equal<Includes<[1, 2, 3], 2>, true>>,
  Expect<Equal<Includes<[1, 2, 3], 1>, true>>,
  Expect<Equal<Includes<[{}], { a: 'A' }>, false>>,
  Expect<Equal<Includes<[boolean, 2, 3, 5, 6, 7], false>, false>>,
  Expect<Equal<Includes<[true, 2, 3, 5, 6, 7], boo