zl程序教程

您现在的位置是:首页 >  Java

当前栏目

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

2023-02-18 16:41:24 时间

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

知识运用:

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

题目分析:

题目地址:15-medium-last

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

题目解答:

测试用例:

需满足两个测试用例,分别将使用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 }>>,
]

答案及解析:

同样还是使用泛型约束我们的输入类型必须符合任意类型的数组。

在获取数组中最后一位的元素类型时我们还是使用数组解构的方式。

我们在使用数组解构的时候同样需要搭配条件类型来获取(按默认语法解构来记忆)。

type Last<T extends any[]> = T extends [...unknown[], infer L] ? L : never;

去演练场验证答案

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