【类型挑战】第一个元素,难度⭐️
2023-02-18 16:41:26 时间
Dear,大家好,我是“前端小鑫同学”,?长期从事前端开发,安卓开发,热衷技术,在编程路上越走越远~
知识运用:
题目分析:
题目地址:14-easy-first
如上图所示我们需要设计一个通用的类型转换工具来提取一组类型中的第一个元素类型,类似于我们数组直接使用0号下标获取第一个元素。
题目解答:
测试用例:
通过测试用例可以看到仅当我们传入的是一个数组或元祖时才可以返回第一个元素,反之则返回never;
/* _____________ 测试用例 _____________ */
import { Equal, Expect } from '@type-challenges/utils'
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' }>
]
答案及解析:
我们在Js开发数组取值的时候往往需要先看一下数组是不是有内容,这个在Ts类型开发中使用 T extends xxx ? 1 :2;的形式,参照三元表达式的操作。extends在这里作用同if。
为了满足传入的必须是数组我们还是通过在泛型中使用extends来做约束。
答案二的解法运用到了数组解构的形式,可以参照ES6中的数组解构来理解。
/* _____________ 答案1 _____________ */
type First<T extends any[]> = T extends [] ? never : T[0];
/* _____________ 答案2 _____________ */
type First<T extends any[]> = T extends [infer F, ...unknown[]] ? F : never;
接下来的一题是:【类型挑战】获取元组长度,难度⭐️
相关文章
- Java RPC理解及实现
- Java Spring MVC工作流程
- Java集合图谱
- Java集合
- Java HashMap实现原理分析
- Java序列化与反序列化
- Java设计模式-策略模式实际应用场景
- Java设计模式-策略模式详解
- 讲解开源项目:一步步跑起来个 Java 前后端分离的人力资源管理系统
- 讲解开源项目:5分钟搭建私人Java博客系统
- ERROR: Java 1.7 or later is required to run Apache Drill.
- 三剑客命令
- PC版小爱同学来了
- 2023年最值得关注的机器人趋势TOP10
- 为自己的博客添加追番列表
- 便携小空调源码
- 开启CDN获取源IP
- TCP三次握手和四次挥手
- 网站访问量暨与小伙伴们的N次相遇
- Centos7部署安装zabbix5.0