緣起
前幾天偶然看到我的To Do里有一條內容是關于學習Scala的。雖然記不起是為什么以及什么時候加進去的吁朦,但是出乎意料的讓我突然很有試一試的沖動柒室。
雖然對它早有耳聞,如果單純只是看個大概逗宜,參考著Java的語法雄右,也能猜個七七八八。但真正提起興趣纺讲,大概率是之前準備看Spark源碼的時候擂仍,然而當時應該是打開RDD的定義看了不到10行就放棄了。
這一次重新燃起興趣熬甚,我覺得應該是出于以下幾點:
- 用Java用的越久逢渔,越覺得自己的思想被禁錮了奥务。(比如沒有Class怎么面向對象呢)
- 人意識到自己被束縛就會想逃離宽闲,我想去FP的世界看一看蚀浆。
- 從類C語言陈哑,直接切到類Lisp語言的跨度有點大,即使有Scheme打底盲赊,對于很多函數(shù)式的東西還是理解不了铣鹏。(比如CPS和Monad)
- Scala是一門介于兩者之間的多范式語言,我希望它可以帶我更平滑的進入FP的世界角钩。
- 因為比較平滑吝沫,我也希望借此可以把FP的理念安利給更多人呻澜。(特別是我的小師妹)
當然递礼,其實今年已經粗粗的看過JS和Swift,所以沒準Scala會成為今年“學會”的又一門語言 :-)
Scala的網評是雜和難學羹幸,不過作為一個有5年Java經驗和1年Scheme經驗的人脊髓,我覺得學習曲線應該不至于太陡峭。也趁著這次機會剛好完成一下之前的一個小夢想:通過和Java對比的方式學習一門新語言栅受。
這個專題将硝,我準備一周更新一次,每次按照這周對于Scala的理解用自己的話轉述出來屏镊∫捞郏可以幫助到有志于學習Scala的你。
第一周
這周是專題啟動后的第一周而芥,總結了一下之前失敗的經驗律罢,應該是過于自信了,覺得都是JVM的語言棍丐,反正可以從字節(jié)碼反編譯成Java误辑,就連語法都不想學(捂臉)。
這次還是好好規(guī)劃了一下學習路徑歌逢。知乎上有推薦的書單[1]巾钉,本來還在糾結從哪本入門。后來想想秘案,小孩子才做選擇題砰苍,成年人當然是都看啦。
所以我隨手挑了一本《Scala學習手冊》先看起來阱高。這本書不厚赚导,200多頁的樣子,豆瓣評分9.0分讨惩,預計一個月左右能刷完辟癌。
(不過看到第5章這個翻譯,首類函數(shù)荐捻,我盲猜一個應該是First Class吧黍少,這個翻譯質量也是有點堪憂寡夹。)
扯來扯去,終于進入正題了厂置。接下來菩掏,我們來疾風式的講講Scala的基礎語法。
變量和值
在Java里面如果我們要定義一個變量昵济,一般的寫法是:
Integer i = 1;
在Scala里寫成:
var i : Int = 1;
這里把類型放在了identifier后面智绸,曾經在學習Go和Swift的時候非常不習慣這種方式,不知道為什么突然感覺看著還挺順眼的访忿。
var這個關鍵字瞧栗,說明i是可以被重新賦值的。如果要求i是常量海铆,對應Java里面的final類型迹恐,那么需要用val來聲明它。var是variable的縮寫卧斟,val是value的縮寫殴边。
Scala雖然也是一門靜態(tài)語言,但是變量的類型實際上并不需要顯式的聲明珍语。也就是說锤岸,你寫成var i = 1;
,編譯器可以自動進行類型推導板乙,得到i應該Int類型是偷,可以說是既兼顧了靜態(tài)語言的安全性,又兼顧了動態(tài)語言的簡潔性亡驰。(對標下Swift其實也有這種能力晓猛,大概是現(xiàn)代語言的標配吧)
(類型推導一直是我想研究的內容,希望后續(xù)有時間專門開一篇叨叨一下)
字符串
接下來是關于三重引號凡辱。如果你試過用Java去拼接SQL的話戒职,大概率被不能漂亮的換行所折磨。在Scala里透乾,可以這么寫:
val sql = """
select *
from table
where field = ...
"""
很優(yōu)雅有木有洪燥?換成Java的寫法,一堆加號一定還是扎到你的眼睛乳乌,不過u1s1捧韵,后續(xù)的Java版本里(忘了具體是11還是14)是有這個支持。但是大家依然停留在8不是嗎~
另一個優(yōu)雅的特性是關于字符串的內插(這個特性第一次見是在Perl里)汉操,比如說要給剛才的語句中的field1 = 帶上具體的value再来,在Java里你要么用個加號,要么就只能用String.format了。
而在Scala里芒篷,可以這么寫:
val fieldvalue = "ABC"
val sql = s"""
select *
from table
where field = $fieldValue
"""
(注意那個"s"搜变,帶上它才可以實現(xiàn)內插哦~)
類型
Any是所有類型的父類,對應Java的Object针炉。Nothing是所有類型的子類挠他,Java里沒有對應的類型。Null也比較奇怪篡帕。(這塊等后續(xù)再來補吧)
元組
Java的函數(shù)只允許返回單個值殖侵,如果要同時返回code和message,多半需要定義一個Response類作為container了镰烧。
Scala提供了另一種可選的方案:直接返回一個2元組拢军,定義2元組的形式如下:
// n元組通用寫法
val res = (200, "成功")
// 或者2元組專用寫法
val res = 200 -> "成功"
可以通過res._1和res._2等形式訪問元組的元素。當然拌滋,元組并不限制元素的個數(shù)朴沿,不過從可讀性上來說猜谚,如果元素個數(shù)大于3還是老老實實定義一個類吧败砂。
表達式和語句
一句話說說表達式和語句的區(qū)別:表達式可以被求值,語句沒有值魏铅。
典型的表達式昌犹,比如1 + 2
典型的語句,比如import和println
Scala有表達式塊的說法览芳,把多個表達式用大括號包在一起斜姥,最后一個表達式作為表達式塊的值。這個說法應該是函數(shù)式的說法沧竟。在Java里雖然也有花括號铸敏,但沒有相應的語義。
val area = {
val pi = 3.14
pi * 10
}
類似的寫法在Java里會編譯不通過悟泵,我想了想最接近的寫法可能是Stream里面的map杈笔,你可以用一個花括號包裹很多表達式,但是最后還是需要一個顯式的return糕非。當然蒙具,如果只有一個表達式,不需要顯式的return朽肥。
模式匹配
模式匹配粗看起來像Java里的switch禁筏。比如把code為200映射為成功,非200映射為失敗衡招。
val code = 200
val message = code match {
case 200 => "成功"
case _ => "失敗"
}
最后那個case后面跟著的下劃線篱昔,可以先理解成switch里的default。(實際上還是有一點不一樣始腾,后面詳細展開[2])
有幾個點不同的是州刽,Java的switch沒有返回值舀射,模式匹配實際上會返回匹配上的那個模式的箭頭之后的表達式或者表達式塊的執(zhí)行結果。
switch需要手動寫break怀伦,而模式匹配每次只會匹配一個值脆烟,不需要手動break。如果你想一次匹配多個值房待,需要用管道符號把多個值合并在一起:
val day = "MON"
val kind = day match {
case "MON" | "TUE" | "WED" | "THU" | "FRI" => "工作日"
case "SAT" | "SUN" => "周末"
}
模式匹配里面還可以再套if邢羔,書里管這種寫法叫模式哨衛(wèi),這個詞乍一聽不太好理解桑孩,如果你聯(lián)想一下Java里的衛(wèi)語句拜鹤,就能明白它是什么意思了。
val msg : String = null
msg match {
case s if s != null => println(s"接收到 $s")
case s => println(s"無法處理")
}
注意這個例子里流椒,case后面跟了一個變量s敏簿,其實是一種專門的用法,相當于把變量msg又賦值給了s宣虾,當然你也可以叫其他名字惯裕,賦值之后,可以用于if的判斷绣硝,也可以用于匹配后的表達式塊蜻势。
前面說的下劃線,其實是變量綁定的特殊情況鹉胖,實際上是把變量綁定給下劃線了握玛,以此來間接達到default的效果。
關于為什么是下劃線甫菠,書里提到是因為在數(shù)學運算的時候經常用下劃線代表未知數(shù)挠铲,比如:
5 * _ = 15
(可以作為一個小小的冷知識)
這個例子可能會讓人覺得,我直接寫if...else不好么寂诱?干嘛整這么費勁拂苹?暫時還不能很好的回答這個問題,不過書里又提到一個冷知識刹衫,也就是Scala里其實沒有else if這種寫法醋寝,在處理的時候,實際上是把后面的if作為上一個else之后跟著的表達式塊來處理的带迟。(真·符合奧拉姆剃刀原則音羞,再補充一個冷知識,其實Lisp也是不需要else if的)
當然仓犬,模式匹配并不是switch的簡單增強嗅绰,它的核心應該是解構,Java在14里也引入了模式匹配,這里先挖一個坑窘面,后面再慢慢填翠语。