1) 靜態(tài)類型語言
靜態(tài)類型指的是在創(chuàng)建份數(shù)據(jù)(變量、參數(shù)、返回值等)時需要顯式指明該數(shù)據(jù)的類型。通常情況下,這些數(shù)據(jù)的類型旦被定義,在程序的整個生命周期也不再改變。
2) 動態(tài)類型語言
動態(tài)類型的編程語言在創(chuàng)建數(shù)據(jù)時往往不需要指明該數(shù)據(jù)的類型,而且數(shù)據(jù)的類型也會隨著值的改變而改變,給數(shù)據(jù)賦予不同的值,數(shù)據(jù)將得到不同的類型。
對于靜態(tài)類型語言,我們需要預(yù)明確地告訴編譯器要處理的數(shù)據(jù)的類型,這樣在程序部署之前就能發(fā)現(xiàn)代碼中的錯誤或者疏忽。比如我們將個變量定義為整數(shù),將另個變量定義為字符串,如果我們嘗試將兩個變量相加,那么編譯器在編譯期間可能就會捕獲這種語法錯誤,并且不會讓我們完成程序的構(gòu)建。


3)強類型語言
強類型語言的典型特征,它們不會處理與類型定義明顯矛盾的運算,而是把它標(biāo)記為個問題,并作為錯誤拋出。通常人們認為 C/C++、Java、C#、Python、Go 都是強類型語言,它們都不允許上述代碼中的行為。
4)弱類型語言
和強類型語言不樣,當(dāng)我們執(zhí)行些與類型定義不匹配的運算時,弱類型語言嘗試提供幫助,它可能會臨時轉(zhuǎn)換值的類型,讓它當(dāng)前運算。
正如前面提到的,人們經(jīng)?;煜o態(tài)/動態(tài)類型和強/弱類型的概念,傾向于將靜態(tài)類型等同于強類型,將動態(tài)類型等同于弱類型,實際上這是不對的。
強/弱類型指的是編程語言如何處理運算過程中的值。當(dāng)值的類型不運算規(guī)則時,編程語言究竟是做出些猜測,臨時轉(zhuǎn)換值的類型以幫助人們解決問題,還是停止運行,提醒人們不應(yīng)該這樣做?