理解Scala的函數(shù)式風(fēng)格：從var到val的轉(zhuǎn)變
Scala允許你用指令式風(fēng)格編程，但是鼓勵你采用一種更函數(shù)式的風(fēng)格。如果你是從指令式的背景轉(zhuǎn)到Scala來的——例如，如果你是Java程序員——那么學(xué)習(xí)Scala是你有可能面對的主要挑戰(zhàn)就是理解怎樣用函數(shù)式的風(fēng)格編程。我們明白這種轉(zhuǎn)變會很困難，在本書中我們將竭盡所能把你向這方面引導(dǎo)。不過這也需要你這方面的一些工作，我們鼓勵你付出努力。如果你來自于指令式的背景，我們相信學(xué)習(xí)用函數(shù)式風(fēng)格編程將不僅讓你變成更好的Scala程序員，而且還能拓展你的視野并使你變成通常意義上好的程序員。
51CTO編輯推薦：Scala編程語言專題
通向更函數(shù)式風(fēng)格路上的***步是識別這兩種風(fēng)格在代碼上的差異。其中的一點(diǎn)蛛絲馬跡就是，如果代碼包含了任何var變量，那它大概就是指令式的風(fēng)格。如果代碼根本就沒有var——就是說僅僅包含val——那它大概是函數(shù)式的風(fēng)格。因此向函數(shù)式風(fēng)格推進(jìn)的一個方式，就是嘗試不用任何var編程。
如果你來自于指令式的背景，如Java，C++，或者C#，你或許認(rèn)為var是很正統(tǒng)的變量而val是一種特殊類型的變量。相反，如果你來自于函數(shù)式背景，如Haskell，OCamel，或Erlang，你或許認(rèn)為val是一種正統(tǒng)的變量而var有褻瀆神靈的血統(tǒng)。然而在Scala看來，val和var只不過是你工具箱里兩種不同的工具。它們都很有用，沒有一個天生是魔鬼。Scala鼓勵你學(xué)習(xí)val，但也不會責(zé)怪你對給定的工作選擇最有效的工具。盡管或許你同意這種平衡的哲學(xué)，你或許仍然發(fā)現(xiàn)***次理解如何從你的代碼中去掉var是很挑戰(zhàn)的事情。
考慮下面這個改自于第2章的while循環(huán)例子，它使用了var并因此屬于指令式風(fēng)格：
- def printArgs(args: Array[String]): Unit = {
- var i = 0
- while (i < args.length) {
- println(args(i))
- i += 1
- }
- }
你可以通過去掉var的辦法把這個代碼變得更函數(shù)式風(fēng)格，例如，像這樣：
- def printArgs(args: Array[String]): Unit = {
- for (arg <- args)
- println(arg)
- }
或這樣：
- def printArgs(args: Array[String]): Unit = {
- args.foreach(println)
- }
這個例子演示了減少使用var的一個好處。重構(gòu)后（更函數(shù)式）的代碼比原來（更指令式）的代碼更簡潔，明白，也更少機(jī)會犯錯。Scala鼓勵函數(shù)式風(fēng)格的原因，實(shí)際上也就是因為函數(shù)式風(fēng)格可以幫助你寫出更易讀懂，更不容易犯錯的代碼。
當(dāng)然，你可以走得更遠(yuǎn)。重構(gòu)后的printArgs方法并不是純函數(shù)式的，因為它有副作用——本例中，其副作用是打印到標(biāo)準(zhǔn)輸出流。函數(shù)有副作用的馬腳就是結(jié)果類型為Unit。如果某個函數(shù)不返回任何有用的值，就是說其結(jié)果類型為Unit，那么那個函數(shù)***能讓世界有點(diǎn)兒變化的辦法就是通過某種副作用。更函數(shù)式的方式應(yīng)該是定義對需打印的arg進(jìn)行格式化的方法，但是僅返回格式化之后的字串，如代碼3.9所示：
- def formatArgs(args: Array[String]) = args.mkString("\n")
代碼 3.9 沒有副作用或var的函數(shù)
現(xiàn)在才是真正函數(shù)式風(fēng)格的了：滿眼看不到副作用或者var。能在任何可枚舉的集合類型（包括數(shù)組，列表，集和映射）上調(diào)用的mkString方法，返回由每個數(shù)組元素調(diào)用toString產(chǎn)生結(jié)果組成的字串，以傳入字串間隔。因此如果args包含了三個元素，"zero"，"one"和"two"，formatArgs將返回"zero\none\ntwo"。當(dāng)然，這個函數(shù)并不像printArgs方法那樣實(shí)際打印輸出，但可以簡單地把它的結(jié)果傳遞給println來實(shí)現(xiàn)：
- println(formatArgs(args))
每個有用的程序都可能有某種形式的副作用，因為否則就不可能對外部世界提供什么值。偏好于無副作用的方法可以鼓勵你設(shè)計副作用代碼最少化了的程序。這種方式的好處之一是可以有助于使你的程序更容易測試。舉例來說，要測試本節(jié)之前給出三段printArgs方法的任一個，你將需要重定義println，捕獲傳遞給它的輸出，并確信這是你希望的。相反，你可以通過檢查結(jié)果來測試formatArgs：
- val res = formatArgs(Array("zero", "one", "two"))
- assert(res == "zero\none\ntwo")
Scala的assert方法檢查傳入的Boolean并且如果是假，拋出AssertionError。如果傳入的Boolean是真，assert只是靜靜地返回。你將在第十四章學(xué)習(xí)更多關(guān)于斷言和測試的東西。
雖如此說，不過請牢記在心：不管是var還是副作用都不是天生邪惡的。Scala不是強(qiáng)迫你用函數(shù)式風(fēng)格編任何東西的純函數(shù)式語言。它是一種指令式/函數(shù)式混合的語言。你或許發(fā)現(xiàn)在某些情況下指令式風(fēng)格更符合你手中的問題，在這時候你不應(yīng)該對使用它猶豫不決。
Scala程序員的平衡感
崇尚val，不可變對象和沒有副作用的方法。
首先想到它們。只有在特定需要和判斷之后才選擇var，可變對象和有副作用的方法。
本文節(jié)選自《Programming in Scala》
【相關(guān)閱讀】
