摘要:聲明帶類型的函數(shù)這里是聲明一個(gè)函數(shù),規(guī)定了自己需要的參數(shù)類型和返回值類型。同理,箭頭函數(shù)的寫法這里是聲明變量,規(guī)定了它所需的函數(shù)的特征參數(shù)返回值對(duì)比下面這種寫法兩者的聲明的地方不一樣,造成的意義也不同。
在小心翼翼維護(hù)項(xiàng)目代碼的時(shí)候經(jīng)常會(huì)看到這種代碼
function main(){ //fn1函數(shù)獲取了一個(gè)數(shù)據(jù) var object = fn1() //fn2根據(jù)獲數(shù)據(jù),產(chǎn)生一個(gè)結(jié)果 var result = fn2(object) return result }
很明顯,這個(gè)過(guò)程非常的‘黑’,如果你想知道object包含什么數(shù)據(jù)的話,可以
打印一下 console.log(object)
查看fn1的注釋,并且保佑它的注釋是正確,全面的
或結(jié)合1,2,然后仔細(xì)查看fn1的源碼,希望它不是很復(fù)雜
被上述步驟折磨完之后,終于能真正的寫點(diǎn)代碼了,但是依舊得非常小心,因?yàn)檫@里還有另一個(gè)函數(shù):fn2。
在修改代碼的時(shí)候,得保證result這個(gè)結(jié)果沒有被影響,那么如何保證呢?
很簡(jiǎn)單,重復(fù)上面的步驟,搞清楚result包含的數(shù)據(jù),在測(cè)試的時(shí)候確保其數(shù)據(jù)跟原先的相同。
…
是時(shí)候徹底優(yōu)化這個(gè)煩人的問(wèn)題了。
引入類型系統(tǒng)其實(shí)問(wèn)題的根源就是因?yàn)閖avascript太靈活了,在代碼運(yùn)行期間幾乎可以做任何的修改,
沒有東西可以在代碼運(yùn)行前就保證 某個(gè)變量,某個(gè)函數(shù) 跟預(yù)期的一致。
所以要加入類型系統(tǒng)來(lái)確保代碼的可靠性,在后期維護(hù)的時(shí)候同樣能夠傳達(dá)出有效的信息。
facebook出品的flow.js 做的就是這種事情。
使用flow.jsgit 倉(cāng)庫(kù):https://github.com/facebook/flow
flow 官方文檔:https://flowtype.org/docs/qui...
方便體驗(yàn),這里有一個(gè)搭好的case集合
基礎(chǔ)類型檢測(cè)git clone [email protected]:JavascriptTips/flow-examples.git
flow.js 中定義了的5種最簡(jiǎn)單的類型,(warning:都是小寫),其中void對(duì)應(yīng)js中的undefined
boolean
number
string
null
void
要想加入到j(luò)avascript中,只需要在關(guān)鍵的地方聲明想要的類型。其它時(shí)間我們的代碼還是熟悉的javascript,代碼如下(flow-examples工程中也有對(duì)應(yīng)js文件):
//flow-examples/src/primitives.js //在文件的頭部加入,用注釋加入 `@flow` 聲明,這樣flow.js才會(huì)檢查這個(gè)文件。 //@flow //在聲明變量時(shí),在變量名加入 `:[Type]` 來(lái)表明變量的類型,其它類型同理。 //這個(gè)語(yǔ)法非常像flash的ActionScript,咦?好像暴露了什么。 var num:number = 1; var str:string = "a"; //當(dāng)然,也可以不加類型,這樣就跟原來(lái)的js一樣了。 var variable = "zz";復(fù)雜類型檢測(cè)
主要有:
Object
Array
函數(shù)
自定義Class
這幾個(gè)類型比較復(fù)雜,而且可以相互嵌套。在flow.js中這幾種類型有非常多的檢查語(yǔ)法,在這里簡(jiǎn)單的展示幾項(xiàng),具體見代碼代碼和官方文檔。
//flow-examples/src/object.js //@flow //Object大寫的O var o:Object = { hello:"h" }; //聲明了Object的key var o2:{key:string} = { key:"z233" };
//flow-examples/src/array.js //@flow //基于基本類似的數(shù)組,數(shù)組內(nèi)都是相同類型 var numberArr:number[] = [12,3,4,5,2]; //另一個(gè)寫法 var numberAr2r:Array= [12,3,2,3]; var stringArr:string[] = ["12","a","cc"]; var booleanArr:boolean[] = [true,true,false]; var nullArr:null[] = [null,null,null]; var voidArr:void[] = [ , , undefined,void(0)]; //數(shù)組內(nèi)包含各個(gè)不同的類型數(shù)據(jù) //第4個(gè)原素沒有聲明,則可以是任意類型 var arr:[number,string,boolean] = [1,"a",true,function(){},];
函數(shù)比較特殊,因?yàn)楹瘮?shù)的核心在于參數(shù)和返回值,函數(shù)作文類型本身并沒有作用。
//flow-examples/src/function.js //@flow /** * 聲明帶類型的函數(shù) * 這里是聲明一個(gè)函數(shù)fn,規(guī)定了自己需要的參數(shù)類型和返回值類型。 */ function fn(arg:number,arg2:string):Object{ return { arg, arg2 } } //同理,ES2015箭頭函數(shù)的寫法 var fn2 = (arg:number,arg2:string):Object => { return { arg, arg2 } } /** * 這里是聲明變量fn2,規(guī)定了它所需的函數(shù)的特征: * 參數(shù): (arg:string,arg2:number) * 返回值:Object */ var fn3:(arg:string,arg2:number)=>Object = function(){ return {} } /** * 對(duì)比下面這種寫法, * 兩者的聲明的地方不一樣,造成的意義也不同。 */ var fn4 = function(arg:string,arg2:Object):number{ return 1; }
聲明一個(gè)自定義類,然后用法如同基本類型
//flow-examples/src/class.js //@flow class MyClass{ name:string; constructor(n){ this.name = n; } } var myClass : MyClass = new MyClass("abc");引入flow.js
可以看到加入flow.js語(yǔ)法后,正常的js引擎肯定是不能跑的。
這時(shí)就要借助萬(wàn)能的babel編譯這些js。
1.如果是正經(jīng)的帶webpack + babel 的前端項(xiàng)目,可以無(wú)縫集成,加入babel插件即可:
babel-plugin-transform-flow-strip-types
2.如果只是跑一下測(cè)試這些js,可以直接在flow-examples工程中,如下:
npm run fnode src/object.js
其它跑起來(lái)的方法,可以在官方文檔查看
結(jié)論這里只是介紹了flow.js一部分的特性,在引入flow.js之后,js只需要很小的改動(dòng)就能得到增強(qiáng),在關(guān)鍵的地方確保邏輯的準(zhǔn)確性。
更進(jìn)一步,再結(jié)合js的函數(shù)式編程特性,以類型和函數(shù)驅(qū)動(dòng)開發(fā),感覺很cool.
一點(diǎn)微小的疑問(wèn)這里2個(gè)小問(wèn)題,
為什么是flow.js 而不是其它編譯到j(luò)s的強(qiáng)類型語(yǔ)言,如TypeScript ?
答:我非常喜歡js的靈活性,它為編程帶來(lái)極大便捷。而且flow.js對(duì)工程的侵入性很小,無(wú)需大量的額外工作就能使用起來(lái)。
為什么不加強(qiáng)注釋,完善注釋,而是再加入一個(gè)工具?
答:因?yàn)閷懽⑨尯軣?,并且有無(wú)注釋不會(huì)影響代碼執(zhí)行。flow.js則是一種基本保障,確保檢查無(wú)誤才能運(yùn)行。
文章版權(quán)歸作者所有,未經(jīng)允許請(qǐng)勿轉(zhuǎn)載,若此文章存在違規(guī)行為,您可以聯(lián)系管理員刪除。
轉(zhuǎn)載請(qǐng)注明本文地址:http://systransis.cn/yun/80454.html
摘要:這些優(yōu)勢(shì),其實(shí)都是類型系統(tǒng)所帶來(lái)的強(qiáng)類型語(yǔ)言所具有的開發(fā)優(yōu)勢(shì),無(wú)論是在開發(fā)體驗(yàn)還是后期項(xiàng)目維護(hù)上,都要優(yōu)于目前的。 大半夜的JavaScript Weekly發(fā)來(lái)賀電:TypeScript 2.0 Final Released! 沒錯(cuò),繼Angular2發(fā)布之后,TypeScript今天也發(fā)布了2.0版本,這不禁讓我浮想一番。如果要說(shuō)TS和JS最明顯的差別,我想一定是Type Syst...
摘要:本文主要介紹了解決作為弱類型語(yǔ)言沒有類型檢查痛點(diǎn)的靜態(tài)類型檢查工具,并且介紹了在中使用的方法,最后介紹了一些常用的語(yǔ)法。 本文主要介紹了解決JS作為弱類型語(yǔ)言沒有類型檢查痛點(diǎn)的靜態(tài)類型檢查工具 Flow ,并且介紹了在WebStorm中使用Flow的方法,最后介紹了一些常用的Flow語(yǔ)法。 1. 簡(jiǎn)介 JS作為一種腳本語(yǔ)言是沒有類型檢測(cè)的,這個(gè)特點(diǎn)有時(shí)候用著很方便,但在一個(gè)較大的項(xiàng)目中...
摘要:擴(kuò)展靜態(tài)類型檢查語(yǔ)言與系列等語(yǔ)言有一點(diǎn)很大的不同,就是語(yǔ)言是弱類型語(yǔ)言。但其實(shí)很多開發(fā)人員還是比較喜歡用來(lái)開發(fā)項(xiàng)目,所以開發(fā)出來(lái)幫助語(yǔ)言擴(kuò)展靜態(tài)類型檢查功能,規(guī)避上面提到的問(wèn)題。 js 擴(kuò)展:靜態(tài)類型檢查(facebook flow) js 語(yǔ)言與 java、C 系列等語(yǔ)言有一點(diǎn)很大的不同,就是 js 語(yǔ)言是弱類型語(yǔ)言。js 語(yǔ)言的這個(gè)特性可能讓大家覺得 js 很自由,沒有強(qiáng)制性的約束...
摘要:端優(yōu)談?wù)勱P(guān)于前端的緩存的問(wèn)題我們都知道對(duì)頁(yè)面進(jìn)行緩存能夠有利于減少請(qǐng)求發(fā)送,從而達(dá)到對(duì)頁(yè)面的優(yōu)化。而作為一名有追求的前端,勢(shì)必要力所能及地優(yōu)化我們前端頁(yè)面的性能。這種方式主要解決了淺談前端中的過(guò)早優(yōu)化問(wèn)題過(guò)早優(yōu)化是萬(wàn)惡之源。 優(yōu)化向:?jiǎn)雾?yè)應(yīng)用多路由預(yù)渲染指南 Ajax 技術(shù)的出現(xiàn),讓我們的 Web 應(yīng)用能夠在不刷新的狀態(tài)下顯示不同頁(yè)面的內(nèi)容,這就是單頁(yè)應(yīng)用。在一個(gè)單頁(yè)應(yīng)用中,往往只有一...
摘要:介紹是個(gè)的靜態(tài)類型檢查工具,由出品的開源碼項(xiàng)目,問(wèn)世只有一年多,是個(gè)相當(dāng)年輕的項(xiàng)目?,F(xiàn)在,提供了另一個(gè)新的選項(xiàng),它是一種強(qiáng)靜態(tài)類型的輔助檢查工具。 showImg(https://segmentfault.com/img/bVH6mL?w=1200&h=675); 本章的目標(biāo)是提供一些Flow工具的介紹與使用建議。Flow本質(zhì)上也只是個(gè)檢查工具,它并不會(huì)自動(dòng)修正代碼中的錯(cuò)誤,也不會(huì)強(qiáng)制...
閱讀 1995·2023-04-26 01:59
閱讀 3296·2021-10-11 11:07
閱讀 3333·2021-09-22 15:43
閱讀 3414·2021-09-02 15:21
閱讀 2607·2021-09-01 10:49
閱讀 929·2019-08-29 15:15
閱讀 3121·2019-08-29 13:59
閱讀 2858·2019-08-26 13:36