![returnが例外で実装されるケース
def hello(names: Seq[String]): String = {
names.foreach { name =>
if(name.isEmpty){
return ""
}
}
...
}](https://image.slidesharecdn.com/scala-171224071902/85/Scala-26-320.jpg)
![コンパイルされるとこんな感じ（イメージ）
def hello(names: Seq[String]): String = {
try {
names.foreach(checkHelloArguments)
} catch {
case e: NonLocalReturnControl[String] => return e.value
}
...
}
private def checkHelloArguments(str: String): Unit = {
if(str.isEmpty) throw new NonLocalReturnControl[String]("")
}](https://image.slidesharecdn.com/scala-171224071902/85/Scala-27-320.jpg)
![nullの代わりにOption型を使う
def findUser(id: Long): Option[User] = {
val user = userDao.get(id)
if(user == null){
None
} else {
Some(user)
}
}](https://image.slidesharecdn.com/scala-171224071902/85/Scala-31-320.jpg)
![Scalaでの例外処理
例外は副作用なので関数型プログラミングでは好まれない
関数の実行結果としてエラーを表現できる型で返す
ScalaにはEither[A, B]という型がある
正常な場合はRight[B]
エラーの場合はLeft[A]](https://image.slidesharecdn.com/scala-171224071902/85/Scala-35-320.jpg)
![Eitherの使い方
def findUser(): Either[Exception, User] = {
try {
val user: User = ...
Right(user)
} catch {
case e: Exception => Left(e)
}
}](https://image.slidesharecdn.com/scala-171224071902/85/Scala-36-320.jpg)
頑張りすぎないScala
- 11. でも、思い出してみて欲しい
- 15. 例: これらを使うべきか？使わないべきか？ ● var ● mutableコレクション ● return ● null ● 例外
- 16. var
- 17. varとvalの違い 変数宣言 val name = "Naoki Takezoe" // 再代入不可能 var name = "Naoki Takezoe" // 再代入可能 Scalaでは一般的にvalの使用が推奨されている
- 18. varを使いがちなケース ループ処理などでフラグやアキュムレータに使いがち takeWhileやfoldLeftなどで代用可能だが取っつきづらい var line = reader.readLine() while(line != null) { ... line = reader.readLine() }
- 20. mutableコレクション
- 21. Scalaのコレクション Scalaにはimmutableなコレクションとmutableなコレクションが ある 基本的にはimmutableなコレクションが推奨されている // immutableなシーケンス val langs = Seq("Java", "Scala", "Kotlin") // mutableなシーケンス import scala.collection.mutable.ListBuffer val langs = ListBuffer("Java", "Scala", "Kotlin")
- 22. mutableコレクションを使いがちなケース ループしながら詰め替えるような処理で使いがち val list = ... val map = mutable.Map("some" -> 0, "none" -> 0) list.foreach { x => if (x.nonEmpty) { map.put("some", map("some") + 1) } else { map.put("none", map("none") + 1) } }
- 23. mutableコレクションを禁止するべきか？ メソッド内での利用であれば許容してもよいのでは？ 戻り値として返す際にimmutableなコレクションに変換する なるべくimmutableなコレクションを使うよう啓蒙していく val map = list.groupBy(_.nonEmpty) .map { case (nonEmpty, values) => if(nonEmpty) "some" -> values.size else "none" -> values.size }
- 24. return
- 25. Scalaのreturnはちょっと特殊 Ealry returnやループ処理中からのreturnなどが使われがち def hello(name: String): String = { if(name.isEmpty) return "" ... } 戻り値の型を明記しないといけなくなる コンパイル後に例外（ControlThrowableのサブクラス）で実現さ れるケースがある
- 26. returnが例外で実装されるケース def hello(names: Seq[String]): String = { names.foreach { name => if(name.isEmpty){ return "" } } ... }
- 27. コンパイルされるとこんな感じ（イメージ） def hello(names: Seq[String]): String = { try { names.foreach(checkHelloArguments) } catch { case e: NonLocalReturnControl[String] => return e.value } ... } private def checkHelloArguments(str: String): Unit = { if(str.isEmpty) throw new NonLocalReturnControl[String]("") }
- 28. returnを禁止するべきか？ 実際に問題になるケースは少ないので許容してもよいのでは そもそも例外をThrowableでキャッチするべきではない try { ... } catch { case NonFatal(t) => ... }
- 29. null
- 31. nullの代わりにOption型を使う def findUser(id: Long): Option[User] = { val user = userDao.get(id) if(user == null){ None } else { Some(user) } }
- 32. nullの代わりにOption型を使う val user = findUser(id) user match { case None => ... // 存在しない場合の処理 case Some(user) => ... // 存在する場合の処理 }
- 34. 例外
- 36. Eitherの使い方 def findUser(): Either[Exception, User] = { try { val user: User = ... Right(user) } catch { case e: Exception => Left(e) } }
- 37. Eitherの使い方 val result = findUser() // パターンマッチで結果を取り出す result match { case Right(user) => ... // 成功時の処理 case Left(e) => ... // エラー時の処理 }
- 39. 例外を禁止するべきか？ エラーを呼び出し元でハンドリングする必要がある場合はEither などエラーを表現できる型を使う そうでない場合は積極的に例外を使う方向に倒してしまってもよ いのでは？
- 42. 次回予告 教養としてのモナド
- 43. ご静聴ありがとうございました