【类型挑战】Includes,难度⭐️
2023-02-18 16:41:25 时间
Dear,大家好,我是“前端小鑫同学”,?长期从事前端开发,安卓开发,热衷技术,在编程路上越走越远~
知识运用:
- 条件类型的使用与学习;
- 索引访问类型的使用与学习;
- 数组解构的应用;
- 递归的应用;题目分析: 题目地址:898-easy-includes
如上图所示我们需要实现一个includes函数,当我们传入的类型在所给数组中存在在返回true,反之返回false,那么我们就在类型编程实现这么一个通用的类型工具吧。题目解答: 测试用例:
本次的测试用例很多,这道看似简单的问题实际上并不简单,当你看到传入的数组中的各式各样的类型的时候,我们逐步尝试解决。
/* _____________ 测试用例 _____________ */
import { 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], boolean>, false>>,
Expect<Equal<Includes<[false, 2, 3, 5, 6, 7], false>, true>>,
Expect<Equal<Includes<[{ a: 'A' }], { readonly a: 'A' }>, false>>,
Expect<Equal<Includes<[{ readonly a: 'A' }], { a: 'A' }>, false>>,
Expect<Equal<Includes<[1], 1 | 2>, false>>,
Expect<Equal<Includes<[1 | 2], 1>, false>>,
Expect<Equal<Includes<[null], undefined>, false>>,
Expect<Equal<Includes<[undefined], null>, false>>,
]
复制代码
答案及解析:
第一次尝试答案: 按照我们通常的做法,既然要确定是否存在那必须用到条件类型来做处理,所以出现了下面的第一种方式,但是观察测试用例后发现1,3,5,6,10都没有通过,居然第一条都不通过,我们接着尝试。
/* _____________ 第一次尝试答案 _____________ */
type Includes<T extends readonly any[], U> = U extends T ? true : false;
复制代码
第二次尝试答案: 这一次我们想起来T[number]可以得到数组中元素类型,这样用条件类型匹配是否可以呢?再观察测试用例后发现原来通过的又不行了,但是也有一些通过了。那有没有简单实用的办法呢?接着往下看。
/* _____________ 第二次尝试答案 _____________ */
type Includes<T extends readonly any[], U> = U extends T[number] ? true : false;
复制代码
最终的正确答案: 最终的版本我觉得属于比较笨但是最实用,最可靠,因为我们采用递归的方式不停的从数组中取出第一个元素来与U进行比较,指到递归结束。
/* _____________ 最终的正确答案 _____________ */
type Includes<T extends readonly any[], U> = T extends [infer X, ...infer Y] ? (Equal<X, U> extends true ? true : Includes<Y, U>) : false;
复制代码
接下来的一题是:【类型挑战】Push,难度⭐️
相关文章
- Java反射机制清空字符串导致业务异常分析
- 7000+字图文并茂解带你深入理解java锁升级的每个细节
- 全文手敲代码,教你用Java实现扫雷小游戏
- 4种方法教你如何查看java对象所占内存大小
- 手绘图解java类加载原理
- Java中的线程到底有哪些安全策略
- Java中观察者模式与委托,还在傻傻分不清
- 一图详解java-class类文件原理
- Java遇上SPL:架构优势和开发效率,一个不放过
- 长篇图解java反射机制及其应用场景
- [java并发编程]基于信号量semaphore实现限流器
- java并发编程-StampedLock高性能读写锁
- 【java并发编程】ReentrantLock 可重入读写锁
- 【java并发编程】Lock & Condition 协调同步生产消费
- Java synchronized对象级别与类级别的同步锁
- java并发编程JUC第十二篇:AtomicInteger原子整型
- java并发编程JUC第十一篇:如何在线程之间进行对等数据交换
- java并发编程JUC第十篇:CyclicBarrier线程同步
- java并发编程JUC第九篇:CountDownLatch线程同步
- java并发编程工具类JUC第八篇:ConcurrentHashMap