TypeScript编写自动创建长度固定数组的类型工具详解

 更新时间:2022年08月22日 14:07:55   作者:阿熊  
这篇文章主要为大家介绍了TS编写自动创建长度固定数组的类型工具详解,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步,早日升职加薪

前言

TypeScript 中,当需要一个长度固定的数组时,通常会想到使用元组来进行表示,不过相对于数组而言,元组的每个元素的类型都不必是一致的。

如果现在需要一个长度为 30,元素类型为 string 的数组类型,其实就是一个元组,如果直接手写出来,那也太麻烦了,本文因此有感而发,编写了自动创建的类型工具。

代码

首先,不管三七二十一,先把这个类型工具给定义出来:

type FixedArray = any

然后开始逐步分析,先从泛型下手:

  • 因为长度是可以指定了,所以必定接受一个泛型 Len 用于表示数组长度;
  • 而且因为是数组,必须得要指定数组的类型,所以还有一个数组类型的泛型 T
  • 因为 TypeScript 中的遍历生成,一般都是使用递归实现的,所以还得有第三个参数,用于接受上一次执行后得到的数组 List

综上,这个类型工具加上泛型之后,如下:

type FixedArray<T = any, Len extends number = 6, List extends Array<T> = []> = any

接下去的步骤就很简单了,判断 List 的长度是否等于 Len,是的话,就直接返回 List,不是的话,将 List 和一个新的元素组成新的数组,把这个数组作为泛型,传入递归调用的 FixedArray 即可。

判断 List 的长度是否等于 Len

思路很简单,关键点在于如何判断 List 的长度是否等于 Len

根据上面的定义,Lennumber 类型的字面量,对于字面量而言,若是使用 extends 判断其子类型,只有 never 和其本身能够满足,所以只要排除掉 Lennever 的情况,剩下的只要判断 List['length'] 是否 extends Len 即可。

还有一点,因为 Lenextends number 的,所以传入 number 也是合法的,但是会造成死循环,所以也需要排除掉 Lennumber 本身的情况,综上,判断 Len 是否是合法的 number 字面量的类型工具如下,比较简单,不在赘述:

//判断是否为 never 的类型工具
type IsNever<T> = [T] extends [never] ? true : false
// 用于判断两个泛型是否相同,只要一个泛型传入 Len, 零一个泛型传入 number,就能判断 Len 是否为 number 本身
type IsTypeSelf<TA, TB> = TA extends TB ? TB extends TA ? true : false : false
// 判断 Len 是否为合法的 number 字面量类型
type IslegalNumber<N> = IsNever<N> extends true ? false : IsTypeSelf<number, N> extends true ? false : true

那么在 FixedArray 中,先判断 Len 是否合法,不合法直接返回 List:

type FixedArray<T = any, Len extends number = 6, List extends Array<T> = []> =
    IslegalNumber<Len> extends false // 判断 Len 是否合法
    ? List
    : any

然后再判断 List['length'] 是否 extends Len 即可,如果是,返回 List,如果不是,将 List 和一个新的元素组成新的数组,把这个数组作为泛型,传入递归调用的 FixedArray

type FixedArray<T = any, Len extends number = 6, List extends Array<T> = []> =
    IslegalNumber<Len> extends false
    ? List
    : List['length'] extends Len // 判断 `List['length']` 是否等于 `Len`
    ? List // 是就返回 List 本身
    : FixedArray<T, Len, [...List, T]> // 不是就递归,注意传入的数组添加了新的元素 T

测试一下:

type FixedArrayInstance = FixedArray&lt;string, 30&gt;

可以看到,生成了一个长度为30,元组类型都为 string 的元组。

以上就是TypeScript编写自动创建长度固定数组的类型工具详解的详细内容,更多关于TypeScript自动创建长度固定数组的资料请关注脚本之家其它相关文章!

相关文章

  • 分享5个JS 高阶函数

    分享5个JS 高阶函数

    这篇文章主要给大家分享了5个JS高阶函数,在JavaScript中,函数实际上也是一个数据,也就是说函数也可以赋值给一个变量。本篇文章就来介绍一些JavaScript中的高阶函数的用法,具有一定的参考价值,需要的朋友可以参考一下
    2021-12-12
  • 使用MUI框架模拟手机端的下拉刷新和上拉加载功能

    使用MUI框架模拟手机端的下拉刷新和上拉加载功能

    mui框架基于htm5plus的XMLHttpRequest,封装了常用的Ajax函数。本文重点给大家介绍使用MUI框架模拟手机端的下拉刷新和上拉加载功能,感兴趣的朋友参考下吧
    2017-09-09
  • JS前端实现解除页面禁止复制功能方法详解

    JS前端实现解除页面禁止复制功能方法详解

    这篇文章主要为大家介绍了JS前端实现解除页面禁止复制功能方法详解,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步,早日升职加薪
    2023-08-08
  • 原型和原型链 prototype和proto的区别详情

    原型和原型链 prototype和proto的区别详情

    原型是function对象下的属性,它定义了构造函数的共同祖先,也就是一个父子级的关系,子对象会继承父对象的方法和属性,每个实例对象下都有__proto__属性,通过属性__proto__指向构造函数的原型对象,当到达末端时,返回null,这样一层一层向顶端查找,就形成了原型链
    2021-10-10
  • JS中的every()对空数组总返回true原理分析

    JS中的every()对空数组总返回true原理分析

    这篇文章主要为大家介绍了JS中的every()对空数组总返回true原理分析,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步,早日升职加薪
    2023-09-09
  • electron创建新窗口模态框并实现主进程传值给子进程

    electron创建新窗口模态框并实现主进程传值给子进程

    这篇文章主要为大家介绍了electron创建新窗口模态框并实现主进程传值给子进程示例详解,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步,早日升职加薪
    2023-02-02
  • JavaScript前端学算法题解LeetCode最大重复子字符串

    JavaScript前端学算法题解LeetCode最大重复子字符串

    这篇文章主要为大家介绍了JavaScript前端学算法题解LeetCode最大重复子字符串,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步,早日升职加薪
    2022-09-09
  • JS代码检查工具ESLint介绍与使用方法

    JS代码检查工具ESLint介绍与使用方法

    ESLint是一个JavaScript代码静态检查工具,可以检查JavaScript的语法错误,提示潜在的bug,本文将详细介绍ESLint的使用方法
    2020-02-02
  • js解决移动端滚动穿透问题方案详解

    js解决移动端滚动穿透问题方案详解

    这篇文章主要为大家介绍了js解决移动端滚动穿透问题方案详解,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步,早日升职加薪
    2023-07-07
  • 解析JS参数parseInt('012', 16)和parseInt(012, 16)是否相等

    解析JS参数parseInt('012', 16)和parseInt(012, 16)是否相等

    这篇文章主要为大家介绍了parseInt('012', 16)和parseInt(012, 16)是否相等原理解析,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步,早日升职加薪
    2023-02-02

最新评论