教你用typescript類型來推算斐波那契
寫在前面
本文執(zhí)行環(huán)境typescript，版本4.5.4
斐波那契
雖然大家都熟悉斐波那契了，還是簡單的說說吧，一個知名的數(shù)學(xué)數(shù)列，地推方式如下
- Fib(0) = 0
- Fib(1) = 1
- Fib(n) = Fib(n-1) + Fib(n-2)
最后得出來的數(shù)列就是
0 1 1 2 3 5 8 13 21 34 55 89 ...
實現(xiàn)邏輯
介紹完斐波那契后，再來看看typescript類型推算要解決核心點
- 第0和第1個數(shù)返回自身
- 某個數(shù)等于前兩個數(shù)相加
- 推算一個數(shù)需要循環(huán)或者遞歸得到前兩個值
- 輸入的只能是數(shù)字，且不能是負(fù)數(shù)
分析完我們再來看看typescript能夠提供哪些，缺少哪些
第一個問題：第0和第1個數(shù)返回自身
這個滿足，可以通過extends來實現(xiàn)
type GetSelf<T> = T extends 0 | 1 ? T : never; // 測試 type Test0 = GetSelf<0>; // 0 type Test1 = GetSelf<1>; // 1 type Test2 = GetSelf<2>; // 2
第二個問題：某個數(shù)等于前兩個數(shù)相加
這個就開始麻煩了，因為typesript中是沒有加法運(yùn)算的，也就是說 1 + 2 = 的結(jié)果typescript并不知道，所以列一個todo
第三個問題：推算一個數(shù)需要循環(huán)或者遞歸得到前兩個值
看看typescript中有沒有遞歸呢，是有的，比如實現(xiàn)一個鏈表
type Node<T> = {
val: T;
next: Node<T>;
}不過怎么跳出循環(huán)，另外我們需要的是一個值，而不是返回一個對象，再列一個todo
第四個問題
輸入的只能是數(shù)字，且不能是負(fù)數(shù)
限定數(shù)字很好做，extends number就可以判斷了，判斷負(fù)數(shù)呢？
負(fù)數(shù)和正數(shù)有啥區(qū)別呢？
負(fù)數(shù)多個符號顯示，那改造成字符串后的長度和正數(shù)不等是吧，嘗試
type len1 = '123'['length']; // number type len2 = number[]['length']; // number; type len3 = [1, 2, 3]['length']; // 3 type len4 = [number, string]['length']; // 3
字符串和未定義的數(shù)組的長度竟然無法推算，看起來只有元組是可以的
負(fù)數(shù)比0小，可是typescript中沒有比較大小的操作，再列一個todo
結(jié)論
我們可以解決第一個問題，同時得知可以通過 length 來獲取元祖長度，todo如下
- 加法運(yùn)算
- 循環(huán)或者遞歸計算，并有跳出條件
- 判斷非負(fù)數(shù)
解決todo
+1操作
雖然上一輪大部分功能沒有推算出來，但是得到一個有用的結(jié)論，元祖是可以得到length的值。
那 +1操作 是不是可以理解成 PUSH操作 后拿出 length 了？嘗試
type Push<T extends Array<number>, P extends number> = [...T, P]; type arr1 = [1, 2]; type arr2 = Push<arr1, 3>; // [1, 2, 3] type len1 = arr1['length'] // 2 type len2 = arr2['length']; // 3
確實實現(xiàn)了 +1操作 ，加法應(yīng)該是可以解決了，+n 就是循環(huán)n次，結(jié)束條件就是結(jié)果為n
所以加法運(yùn)算最后可以轉(zhuǎn)成元祖后計算長度，類似 JavaScript的Array(n).fill(0)，第一步實現(xiàn) 數(shù)字轉(zhuǎn)array
數(shù)字轉(zhuǎn)array
type ArrOf<T extends number, P extends Array<0> = []> = {
['loop']: ArrOf<T, [...P, 0]>;
['result']: P;
}[P['length'] extends T ? 'result' : 'loop'];
type arrof1 = ArrOf<5>; // [0, 0, 0, 0, 0]因為我們需要遞歸后再跳出條件，最后返回值，所以可以構(gòu)造一個對象后獲取key，而key就是跳出循環(huán)的關(guān)鍵，跳出循環(huán)的判斷就是 元祖的長度等于輸入的數(shù)
基于以上實現(xiàn)，我們可以得到add的完整實現(xiàn)了
type ADD<A extends number, B extends number> = [...ArrOf<A>, ...ArrOf<B>]['length']; type add1 = ADD<3, 4>; // 7
雖然可以推算出結(jié)果，但是給我報了一個warning
A rest element type must be an array type.
我覺得可能他推算不出來返回的是array，所以需要我們聲明ArrOf返回的數(shù)都是array，類似 Array.from
type ArrFrom<T> = T extends Array<T> ? T : T; type ADD<A extends number, B extends number> = [...ArrFrom<ArrOf<A>>, ...ArrFrom<ArrOf<B>>]['length'];
加法和遞歸都被搞定了，接下來看看非負(fù)數(shù)的問題
非負(fù)數(shù)判斷
再重新看看之前的分析，負(fù)數(shù)有什么特殊的地方，負(fù)數(shù)多個符號顯示，且符號固定是第一位
type str11 = 'abcde'; type str12 = str11[0]; // string
看來并不能通過下標(biāo)來取巧，那我們只能上 infer 了
type getFirst<T extends string> = T extends `${infer P}${string}` ? P : T;
type str11 = 'abcde';
type str12 = getFirst<str11>; // a所以我們可以把數(shù)字轉(zhuǎn)換字符串后求得符號，然后得出負(fù)數(shù)的判斷
type FirstStr<T extends number> = `${T}` extends `${infer P}${string}` ? P : T;
type isFu<T extends number> = FirstStr<T> extends '-' ? true : false;
type isFu1 = isFu<0>; // false
type isFu2 = isFu<12>; // false
type isFu3 = isFu<-6>; // true
type isFu4 = isFu<-0>; // true實現(xiàn)斐波那契
所有的部分都就緒了，實現(xiàn)一下斐波那契
type ArrOf<T extends number, P extends Array<0> = []> = {
['loop']: ArrOf<T, [...P, 0]>;
['result']: P;
}[P['length'] extends T ? 'result' : 'loop'];
// 第8行提示結(jié)果可能不是array
type ArrFrom<T> = T extends Array<T> ? T : T;
type ADD<A extends number, B extends number> = [...ArrFrom<ArrOf<A>>, ...ArrFrom<ArrOf<B>>]['length'];
// 第23行提示結(jié)果可能不是number
type NumberFrom<T> = T extends number ? T : T & number;
type ADD2<A extends number, B extends number> = NumberFrom<ADD<A, B>>;
type FirstStr<T extends number> = `${T}` extends `${infer P}${string}` ? P : T;
// 添加負(fù)數(shù)判斷
type isFu<T extends number> = FirstStr<T> extends '-' ? true : false;
type FIB<T extends number, A extends number = 0, B extends number = 1, N extends number = 0> = isFu<T> extends true
? never
: T extends 0 | 1
? T
: {
['loop']: FIB<T, B, ADD2<A, B>, ADD2<N, 1>>;
['result']: B;
}[T extends ADD2<N, 1> ? 'result' : 'loop'];
type FIFU1 = FIB<-6> // never
type FI0 = FIB<0> // 0
type FI1 = FIB<1>; // 1
type FI2 = FIB<2>; // 1
type FI3 = FIB<3>; // 2
type FI4 = FIB<4>; // 3
type FI5 = FIB<5>; // 5
type FI6 = FIB<6>; // 8
type FI7 = FIB<7>; // 13
type FI8 = FIB<8>; // 21
type FI9 = FIB<9>; // 34總結(jié)
到此這篇關(guān)于用typescript類型來推算斐波那契的文章就介紹到這了,更多相關(guān)typescript推算斐波那契內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！
相關(guān)文章
Three.js后期處理效果(發(fā)光描邊OutlinePass)
這篇文章主要給大家介紹了關(guān)于Three.js后期處理效果(發(fā)光描邊OutlinePass)的相關(guān)資料,Three js 開發(fā)的一些知識整理,方便后期遇到類似的問題,能夠及時查閱使用,需要的朋友可以參考下2024-01-01
本篇文章主要介紹了js里面的==和===，== 判斷如果兩邊變量的類型不同，而 === 則不做類型轉(zhuǎn)換，有興趣的可以了解一下2017-07-07
JavaScript數(shù)據(jù)結(jié)構(gòu)之優(yōu)先隊列與循環(huán)隊列實例詳解
這篇文章主要介紹了JavaScript數(shù)據(jù)結(jié)構(gòu)之優(yōu)先隊列與循環(huán)隊列,結(jié)合實例形式較為詳細(xì)的分析了javascrip數(shù)據(jù)結(jié)構(gòu)中優(yōu)先隊列與循環(huán)隊列的原理、定義與使用方法,需要的朋友可以參考下2017-10-10
下面小編就為大家?guī)硪黄趈s粘貼事件paste簡單解析以及遇到的坑。小編覺得挺不錯的，現(xiàn)在就分享給大家，也給大家做個參考。一起跟隨小編過來看看吧2017-09-09
Day.js是一個輕量的處理時間和日期的JavaScript庫,和Moment.js的API設(shè)計保持完全一樣,這篇文章主要給大家介紹了關(guān)于js如何快速處理日期以及手寫Day.js的相關(guān)資料,需要的朋友可以參考下2024-06-06
本文主要對js中script標(biāo)簽中的預(yù)解析進(jìn)行詳細(xì)介紹。具有一定的參考價值，下面跟著小編一起來看下吧2016-12-12
JavaScript中setTimeout的那些事兒到底有什么？setTimeout單線程、延遲時間等，感興趣的小伙伴們可以參考一下2016-11-11
上部分我們逐一分析了各瀏覽器的可行方法，這部分將搞鼓出一個統(tǒng)一的類來實現(xiàn)跨瀏覽器的線性漸變。2009-10-10
這篇文章主要介紹了JS傳值出現(xiàn)中文參數(shù)亂碼的解決方法,涉及javascript針對編碼的轉(zhuǎn)碼與解碼操作技巧,需要的朋友可以參考下2016-06-06
JavaScript 小型打飛機(jī)游戲?qū)崿F(xiàn)原理說明
這次為大家?guī)淼男∮螒蚴牵捍蝻w機(jī)。呃。。。我本人就寫不出什么驚天大作的游戲的了，只能寫寫小游戲，代碼量小，又可以學(xué)習(xí)，主要是想法思路，代碼量大，估計也沒啥人會去研究學(xué)習(xí)。。。2010-10-10