大家好，我是苏先生，一名热爱钻研、乐于分享的前端工程师，跟大家分享一句我很喜欢的话：人活着，其实就是一种心态，你若觉得快乐，幸福便无处不在
好文推荐
前言
前边几篇文章我们一共实现了40个工具类型，按照本专栏的规划，还差59个...
本节我们继续学习一个新的工具类型
提示
对于语法层面的知识点本系列（类型体操开头的标题）不会展开说明哈，可以自行搜索学习其他大佬的优质文章或者等我后续更新补充
实现
这个工具类型实现的关键点是如何模拟乘法运算，显然这可以通过数组来实现
比如2的平方是4，可以使用数据长度来表示，即[1,2,1,4]，至于数组中的元素具体是什么，并不需要关心
了解了这一点，就很好定义其入参了。如下，T表示一个数字，U是平方数对应长度的数组
type Square<
T extends number,
U extends any[]=[]
>
而它的结果必然是对U的长度的取值
U['length']
现在问题变成了U如何基于T计算特定的长度，如下定义GetSquareLength来完成
type GetSquareLength<
T extends number,
U extends any[]=[]
>
由于数组长度与数值T之间的关系是T✖️T，而能构造的条件只与长度相关
U['length'] extends T
故，还需要第三个参数R来进行补位
type GetSquareLength<
T extends number,
U extends any[]=[],
R extends any[]=[]
>
至于R的计算，可以通过列举来找规律
/**
* U R
* 1 0
* 2 2
* 3 6
* 4 12
* 5 20
* 6 30
* 7 42
* 8 56
*/
可以看出，上一次的U的两倍+上一次的R的值，刚好就是本次的R
/**
* U U R
* 1 + 1 + 0 = 2
* 2 + 2 + 2 = 6
* 3 + 3 + 6 = 12
* 4 + 4 + 12 = 20
* 5 + 5 + 20 = 30
* 6 + 6 + 30 = 42
* 7 + 7 + 42 = 56
*/
故GetSquareLength的完整实现如下
type GetSquareLength<
T extends number,
U extends any[]=[],
R extends any[]=[]
> =
U['length'] extends T
? [...U,...R]
: GetSquareLength<T,[1,...U],[...U,...U,...R]>
当为正数时这似乎是没什么问题
当为负数时，就会出现无限递归的情况了
所以，还有对T其取绝对值
type Abs<
N extends number
> =
`${N}` extends `-${infer R extends number}`
? R
: N;
如上，当N为2时，2与-2的结果是N，即2；当N为-2时，-2与-2的结果是R，即2
故，完整的GetSquareLength如下
此时，再传递负数就不会再报错了
则我们得到了如下的Square类型
type Square<
T extends number,
U extends any[] = GetSquareLengthArr<T>
> = U['length']
这似乎已经大功告成了
4也好
78也好
都表现的还不错😌
故完整代码如下
思考
当尝试输入一个较大的数值时，得到了如下的提示。这说明我们的计算本身是没问题的，只是生成的数组太大
那有办法解决吗？
笔者有思路如下......
找到一个临界值，假设是100，以118为例子，可拆分为
(100 + 18) * (100 + 18)
他们的结果为各项乘积的和
100 * 100 + 100 * 18 + 18 * 100 + 18 * 18
则现在的问题有两个：
如何拆分？
如何相加？
思考一下，评论区讨论，或者关注我，后续揭晓哦🌹
下期预告
GetMiddleElement
- 功能
获取数组的中间元素
- 使用示例
type case = GetMiddleElement<[1,2,3,4,5]> // 3
如果本文对您有用，希望能得到您的点赞和收藏
订阅专栏，每月更新1-2篇类型体操，等你哟😎
