【类型挑战】最后一个元素,难度⭐️⭐️

125 阅读2分钟

一起养成写作习惯!这是我参与「掘金日新计划 · 4 月更文挑战」的第21天,点击查看活动详情

Dear,大家好,我是“前端小鑫同学”,😇长期从事前端开发,安卓开发,热衷技术,在编程路上越走越远~


知识运用:

  1. 条件类型的使用:文档地址
  2. infer关键字也参照条件类型使用的文档
  3. 在泛型中对类型做约束:文档地址
  4. 索引访问类型:文档地址

题目分析:

题目地址:15-medium-last image.png 如上图所示,我们需要设计的通用类型工具需要满足重一个数组中取出最后一个元素来当我们的输出类型。本题和我们一开始取数组类型第一个元素一样。

题目解答:

测试用例:

需满足两个测试用例,分别将使用Last类型工具的到的类型和预期的对比。

/* _____________ 测试用例 _____________ */
import type { Equal, Expect } from '@type-challenges/utils'

type cases = [
  Expect<Equal<Last<[3, 2, 1]>, 1>>,
  Expect<Equal<Last<[() => 123, { a: string }]>, { a: string }>>,
]

答案及解析:

  1. 同样还是使用泛型约束我们的输入类型必须符合任意类型的数组。
  2. 在获取数组中最后一位的元素类型时我们还是使用数组解构的方式。
  3. 我们在使用数组解构的时候同样需要搭配条件类型来获取(按默认语法解构来记忆)。
type Last<T extends any[]> = T extends [...unknown[], infer L] ? L : never;

去演练场验证答案

推荐阅读:

  1. 【类型挑战】第一个元素,难度⭐️
  2. 扒官方文档学Ts类型编程

接下来的一题是:【类型挑战】出栈,难度⭐️⭐️


欢迎关注我的公众号“前端小鑫同学”,原创技术文章第一时间推送。