Scala 特性
面向?qū)ο筇匦?/h2>
Scala是一種純面向?qū)ο蟮恼Z言,每個(gè)值都是對象。對象的數(shù)據(jù)類型以及行為由類和特質(zhì)描述。
類抽象機(jī)制的擴(kuò)展有兩種途徑:一種途徑是子類繼承,另一種途徑是靈活的混入機(jī)制。這兩種途徑能避免多重繼承的種種問題
函數(shù)式編程
Scala也是一種函數(shù)式語言,其函數(shù)也能當(dāng)成值來使用。Scala提供了輕量級的語法用以定義匿名函數(shù),支持高階函數(shù),允許嵌套多層函數(shù),并支持柯里化。Scala的case class及其內(nèi)置的模式匹配相當(dāng)于函數(shù)式編程語言中常用的代數(shù)類型。
更進(jìn)一步,程序員可以利用Scala的模式匹配,編寫類似正則表達(dá)式的代碼處理XML數(shù)據(jù)。
靜態(tài)類型
Scala具備類型系統(tǒng),通過編譯時(shí)檢查,保證代碼的安全性和一致性。類型系統(tǒng)具體支持以下特性:
泛型類
協(xié)變和逆變
標(biāo)注
類型參數(shù)的上下限約束
把類別和抽象類型作為對象成員
復(fù)合類型
引用自己時(shí)顯式指定類型
視圖
多態(tài)方法
擴(kuò)展性
Scala的設(shè)計(jì)秉承一項(xiàng)事實(shí),即在實(shí)踐中,某個(gè)領(lǐng)域特定的應(yīng)用程序開發(fā)往往需要特定于該領(lǐng)域的語言擴(kuò)展。Scala提供了許多獨(dú)特的語言機(jī)制,可以以庫的形式輕易無縫添加新的語言結(jié)構(gòu):
任何方法可用作前綴或后綴操作符
可以根據(jù)預(yù)期類型自動(dòng)構(gòu)造閉包。
并發(fā)性
Scala使用Actor作為其并發(fā)模型,Actor是類似線程的實(shí)體,通過郵箱發(fā)收消息。Actor可以復(fù)用線程,因此可以在程序中可以使用數(shù)百萬個(gè)Actor,而線程只能創(chuàng)建數(shù)千個(gè)。在2.10之后的版本中,使用Akka作為其默認(rèn)Actor實(shí)現(xiàn)