例外処理

概要

「Java SE 11 Programmer II (1Z0-816-JPN) 試験」の出題範囲「例外処理」の自己学習メモになります

例外クラス

checked例外とunchecked例外

• Errorクラスおよびそのサブクラス(unchecked例外)
• RuntimeExceptionクラスおよびそのサブラクラス(unchecked例外)
• RuntimeExceptionクラス以外のExceptionのサブクラス(checked例外)

独自例外クラスの作成

構文

[修飾子] class クラス名 extends Exception {}

主な例外クラス

checked例外は関数を利用する出題で記載していないのでコンパイルエラーになる問題が出題されるケースもあるので学習した方が良いです

カテゴリ	クラス名	説明
checked例外	IOException	入出力を行う場合に発生
checked例外	FileNotFoundException	ファイル入出力において、目的のファイルがなかった場合に発生
checked例外	ParseException	解析中に予想外のエラーがあった場合に発生
checked例外	SQLException	データベース・アクセス時にエラーがあった場合に発生

try-catch-fanlly

try-with-resources構文とは違うので、tryのみ記載された問題が出題されている場合、try-with-resources構文なのかtry-catch-fanlly構文なのか判断出来るようにしておきましょう

• try-catch-fanllyによる例外処理
• throwsキーワードによる例外処理

try-catch-fanllyの組み合わせ

• try-catch
• try-fanlly
• try-catch-fanlly

複数のcatchブロック構文

catchブロクで指定した例外クラス間に継承関係がある場合は、サブクラス側から記述します。スーパークラスから記述するとコンパイルエラー

マルチキャッチ

各例外クラスを縦棒( | )で区切り記載します

try {

} catch (NumberFormatException | ArithmeticException) {

}

継承関係のある例外クラスは列記できない

キャッチした参照変数は暗黙的にfinalになる

継承関係のある例外クラスは列記できないサンプルコード

記載する順序を変えてもコンパイルエラーになります

try {

} catch (FileNotFoundException | IOException) { // NG
//} catch ( IOException | FileNotFoundException) { // NG

}

キャッチした参照変数は暗黙的にfinalになるサンプルコード

try {

} catch (NumberFormatException | ArithmeticException e) {
    e = null;

} catch (IOException e) {
    e = null;

}

実行結果

Mail.java:10: エラー: 複数のcatchパラメータeに値を代入することはできません

    e = null;

エラー1個

throwsとthrow

throws指定された例外クラスのオブジェクトがメソッド内で発生した場合、その例外オブジェクトは、メソッドの呼び出し下に転送されます

throws

構文

[修飾子] 戻り値の型 メソッド名(引数) throws 例外クラス名

ライブラリで提供されているメソッドを使用する際は、起きる可能性のある例外のクラス名を見て、例外処理を行うかどうか判断することなります

throw

Java言語で提供されている例外クラスや独自例外クラスをインスタンス化した例外オブジェクトを、任意の場所でスローできます

構文

throw new IOException();

rethrow

スローされた例外をcatchブロックでいったん受取、その例外オブジェクトにエラーメッセージを追記したり、異なる例外クラスに変更したりした後、再度スローすることをreｔhrowと呼びます

オーバライド時の注意点

throwsのルール

• サブクラスのメソッドがスローする例外は、スーパークラスのメソッドがスローする例外クラスと同じか、その例外クラスのサブクラスとする
• RuntimeExceptionおよびRuntimeExceptionのサブクラスの例外は、スーパークラスのメソッドに関係なくスローできる
• スーパークラスのメソッドにthrowsがあっても、サブクラス側でthrowsを記述しないことは可能

ルールのまとめ

• オーバライドとは、メソッド名、引数リストがまったく同じメソッドをサブクラスで定義すること
• 戻り値は、スーパークラスで定義したメソッドが返す型と同じか、その型のサブクラスとする
• アクセス修飾子は、スーパークラスと同じものか、それよりも公開範囲が広いものであれば可能
• throwsには、スーパークラスのメソッドがthrowsに指定した例外クラスとそのサブクラスが指定できる
• RuntimeExceptionおよびそのサブクラスは、制約なしにthrowsに指定できる
• スーパークラスのメソッドにthrowsがあっても、throwsを指定しなくても良い

try-with-resources

java.lang.AutoCloseableとjava.io.Closeableのパッケージ名は出題されることがあるので学習したほうが良いです

定義例

tryブロック内でリソースをインスタンス化する

try (MyResource obj1 = new MyResource("obj1")) { }

var を使用した変数宣言

try (var obj = new MyResource("obj1")) { }

事前にインスタンス化した変数を使用する

MyResource obj1 = new MyResource("obj1");
try(obj1) { }

メソッドで受け取った変数を利用する

void (MyResource obj1) {
    try(obj1) { }
}

try()内で指定された変数は、実質的finalになるので、再代入するとコンパイルエラーになります

コンパイルエラーになるサンプルコード

try (MyResource obj1 = new MyResource("obj1") ) {
    obj1 = new MyResource("obj1");
}

抑制された例外という概念がサポートされているので、学習しておくと良いです

アサーション

構文

メッセージは必須ではありません

assert boolean 式 :

assert boolean 式 : メッセージ;

java -eaオプションを指定しないと無効となります

java -ea Main

java -daを使用すると明示的にアサーション機能を無効にできます

java -da:Foo -ea Main