Scala (Java) のエラー型の基本をおさらい

https://www.scala-lang.org/api/2.13.6/scala/index.html#Throwable=Throwable

https://docs.oracle.com/javase/8/docs/api/java/lang/Throwable.html

https://docs.oracle.com/en/java/javase/17/docs/api/java.base/java/lang/Exception.html

↑これは全部 Java のもの。Scala らしくエラーハンドリングするなら、Option, Either を使っていればよろしい。

https://scala-text.github.io/scala_text/error-handling.html#例外の問題点

例外の問題点は↑これがわかりやすい。

Scala では Java では使えるチェック例外機能がないこともポイント。

こちらに記載の図がわかりやすい。

https://www.tutorialspoint.com/java/java_exceptions.htm

Throwable

https://docs.oracle.com/javase/8/docs/api/java/lang/Throwable.html

先ほどの図の通り、全てのエラーを表す型の親クラスになるもの。

Exception

https://docs.oracle.com/en/java/javase/17/docs/api/java.base/java/lang/Exception.html

The class Exception and its subclasses are a form of Throwable that indicates conditions that a reasonable application might want to catch.

catch してハンドリングすることを意図したエラー型。

The class Exception and any subclasses that are not also subclasses of RuntimeException are checked exceptions.

Exception のサブクラスのうち、RuntimeException のサブクラスでないものはチェック例外。
（逆にいうと、RuntimeExceptionはチェック例外でない）

Error

https://docs.oracle.com/javase/8/docs/api/java/lang/Error.html

An Error is a subclass of Throwable that indicates serious problems that a reasonable application should not try to catch.

catch すべきでないエラー。なので、異常事態を表すエラーっぽい。

他の scala が提供するエラー周りのクラスも見ておく。

https://www.scala-lang.org/api/2.13.15/scala/util/Try.html

Throwable をラップしてくれるやつ。Either と異なり、Throwable しか扱えず、尚且つ NonFatal なエラーでないと値として扱えない。

https://www.scala-lang.org/api/2.13.15/scala/util/control/NonFatal$.html

Java の例外を値として使いたい場合に使うと良いらしい。

https://www.scala-lang.org/api/2.13.15/scala/util/control/Exception$.html

エラーハンドリングを表す型を提供する object。これは初めて見た（あんま使わないのかな？）。

java.lang.Exception と直接関係があるわけではないっぽいが、java.lang.Exceptionは Throwable なのでこのユーティリティで扱える対象ではある。

https://github.com/scala/scala/blob/v2.13.15/src/library/scala/util/control/NonFatal.scala#L40-L44

NonFatal.scala のなかに Fatal なエラーが定義されていた。