Scala函數式編程(五) 函數式的錯誤處理


前情提要

Scala函數式編程指南(一) 函數式思想介紹

scala函數式編程(二) scala基礎語法介紹

Scala函數式編程(三) scala集合和函數

Scala函數式編程(四)函數式的數據結構 上

Scala函數式編程(四)函數式的數據結構 下

1.面向對象的錯誤處理

在介紹scala的函數式的錯誤處理之前,我們要先來介紹一下其他情況下的錯誤處理方式。

以java為例,常見的錯誤處理方式不外乎兩種,一種是及時捕捉到異常,然后當場進行處理。

try{
    ... 
}catch(Exception e){
    ...
    
}finally{
    
}

另一種則是將異常拋出,層層捕獲,然后在最上層對異常進行統一處理,這種通常是在大型項目的時候會使用。

這兩種錯誤處理的方法是,在我們日常的編程中,已經足以應對多種情況。

但在函數式編程中卻不行,函數式編程追求的是無副作用的代碼,無副作用最直接的應用就是可以放心得並發運行,而拋出異常卻會產生副作用。

try catch處理的弊端,在並發編程中其實有較為明顯的體現。

以spark為例,如果spark主節點master詢問worker節點的健康情況,當worker節點出現異常時,顯然讓master節點來捕獲並處理這個異常,有點不符合情理。

更合理的處理,應該是讓master接收到一個表示錯誤情況的消息,然后再決定接下來如何處理。而worker的異常就讓worker自己去解決吧。

而在scala中,有一種特定的類型,它用來表示可能導致異常的一個計算過程,這就是Try。

2.從Option到Try

前面有介紹過Option,相關介紹可以看這里Scala函數式編程(三) scala集合和函數

這里簡單介紹一下Option。

Option呢,其實就是薛定諤的值,里面可能有值,也可能沒有值。只有到要看的時候,才會知道Option里面到底有沒有值。

Option全程叫Option[A],表示Option里面存的是A類型的值,這個A可以是Int,String,等等。我們可以通過get這個api來獲取Option[A]里面的值,當不存在時,get會返回None。

可以通過isEmpty,來確認Option里面到底是不是有值。也可以通過getOrElse來指定沒有值的時候要返回什么值。

Try[A]和Option類似,都是表示一個可能有也可能沒有的東西。實際對應過來, Try[A]就表示一個可能成功也可以失敗的計算,如果成功,則返回A類型,如果失敗,則返回Throwable。

先最在交互式環境中直觀看一下怎么使用吧:

scala> import scala.util.Try
import scala.util.Try

scala> Try(1+1)
res15: scala.util.Try[Int] = Success(2)

scala> Try(1/0)
res16: scala.util.Try[Int] = Failure(java.lang.ArithmeticException: / by zero)

能夠實現這個功能,主要是因為Try的兩個子類型:

  • Success[A]:代表成功的計算。
  • 封裝了 Throwable 的 Failure[A]:代表出了錯的計算。

是不是和Option很像呢?也是薛定諤的錯誤,在沒打開來看之前,Try里面可能是成功的,也可能是失敗的。

同樣可以通過isSuccess和isFailure來確認到底這個Try是成功還是失敗。

如果一個函數中有一個計算可能會出錯,那么我們就可以直讓函數返回Try,然后對成功還是錯誤,就全交由調用者來進行處理,比如上面說到的,Spark的那個例子。

3.Try的使用

上面初步介紹了Try的含義和用法,接下來就來看看Try這個東西,還有哪些常規的用法吧。

3.1 map

map是scala里面非常常用的一種操作,Try里面也有!

對Try使用Map的話,會將一個是Success[A]的Try[A]映射到Try[B]會得到Success[B]。如果它是Failure[A],就會得到Failure[B],而且包含的異常和Failure[A]一樣。

看看例子吧:

//新建一個Try,注意,這里是Try[Int]
scala> val tryMap = Try(1+1)
tryMap: scala.util.Try[Int] = Success(2)

//使用Map,讓它變成Try[String]了
scala> tryMap.map(_.toString)
res46: scala.util.Try[String] = Success(2)

//新建一個會失敗的Try[Int]
scala> val tryMapFail = Try(1 / 0)
tryMapFail: scala.util.Try[Int] = Failure(java.lang.ArithmeticException: / by zero)

//轉換成Try[String]了,但Failure的異常類型不變
scala> tryMapFail.map(_.toString)
res47: scala.util.Try[String] = Failure(java.lang.ArithmeticException: / by zero)

Try不止支持map,還支持for,flatMap,filter等常規操作,從這個角度看,Try反而更像一種數據結構。

3.2 錯誤時候的默認值getOrElse

和Option一樣,Try還很方便得提供了getOrElse這個方法。當你想為失敗的時候做些什么的時候就可以用這個api。

這個我舉個簡單的例子,將字符串轉換為Int類型。在字符串轉Int類型的時候呢,可能會遇到一些不符合規范的數據。這時候你就不得不考慮數據是否可以安全得轉換成Int,但有了Try,可以很方便得用getOrElse,方法。

當遇到不能轉成Int的字符串,給與一個默認值即可。

scala> import scala.util.Try
import scala.util.Try

scala> "12".toInt
res17: Int = 12

scala> "asd".toInt
java.lang.NumberFormatException: For input string: "asd"
  at java.lang.NumberFormatException.forInputString(NumberFormatException.java:65)
  at java.lang.Integer.parseInt(Integer.java:580)
  at java.lang.Integer.parseInt(Integer.java:615)
  at scala.collection.immutable.StringLike$class.toInt(StringLike.scala:272)
  at scala.collection.immutable.StringOps.toInt(StringOps.scala:29)
  ... 32 elided

scala> Try("asd".toInt).getOrElse(-1)
res19: Int = -1

但這里還是得多說一句,這種做法會忽略掉原本應該拋出的錯誤,你需要明確知道自己確實是要忽略掉這個錯誤才能這樣用

否則可能因為設置的默認值導致出現問題,而毫無頭緒,因為程序並沒有報任何錯誤!!

3.3 模式匹配

我們可以不必如java的try catch那般去處理Try失敗時返回的異常。因為我們有scala的模式匹配。

不得不說,模式匹配真的是很強大的一個語言特性。前面不是說到嘛,Try有兩個子類,Success和Failure,成功時候返回Success,失敗時返回Failure。

所以我們就能夠這樣做:

import scala.util.Success
import scala.util.Failure
val operation = Try(1 / 0)
operation match {
  case Success(num) => println(num)
  case Failure(ex) => println(s"Problem is ${ex.getMessage}")
}

因為除數為0,所以這個Try是失敗的,所以這里會輸出:Problem is / by zero

scala強大的模式匹配,可以方便得讓我們處理錯誤和非錯誤的情況。

4. 小結

Scala 的錯誤處理和其他范式的編程語言有很大的不同。 Try 類型可以讓你將可能會出錯的計算封裝在一個容器里,並優雅的去處理計算得到的值。 並且可以像操作集合和 Option 那樣統一的去操作 Try。

同時Try[A]也支持常見數據結構中的操作,諸如Map,Filter等常規的api都支持。

Try這種錯誤處理的方式,明顯更適用於函數式的情況,也就是說更適合在並發編程的時候使用。

但在我看來,Try也是有一些不好的地方,比如說在代碼可讀性方面就比try catch這種方式差。不得不說,雖然寫起來比較啰嗦,但看着這個結構確實是一目了然。

但是不管如何,在我看來,函數式的錯誤處理依舊是很有趣的一個東西。如果合適的話,可以多在代碼中嘗試去使用:)

以上~


免責聲明!

本站轉載的文章為個人學習借鑒使用,本站對版權不負任何法律責任。如果侵犯了您的隱私權益,請聯系本站郵箱yoyou2525@163.com刪除。



 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM