try catch 到達できないコードエラー

Question

ただ今java silverを勉強しているものです。
下記のコードで"B"が出力されるというのが正解なのですが、MyExceptionのcatchは到達不可能でエラーにはならないのでしょうか？

package zzz;

public class ZZZ {

	public static void main(String[] args) {
		try{
			test();
		}catch(MyException e){
			System.out.println("A");
		}
	}
	public static void test(){
		try{
			throw Math.random() > 0.5? new MyException() : new RuntimeException();
		}catch(RuntimeException e){
			System.out.println("B");
		}
	}
}
class MyException extends RuntimeException{}

下記の形は下段のcatchに到達する前に親がcatchするため到達不可でエラー出るというのは理解しているつもりなのですが、
これとあまり変わらず上記のコードも到達不可に感じます。
どう理解すればよいでしょうか？

エラー文
}catch(RuntimeException e){
}catch(MyException e){

すいませんがどなたかご教授お願いいたします。

Answer 1

MyExceptionはRuntimeExceptionを継承した非検査例外なので、明示的な宣言をしなくてもどこからでも投げられます。

なので、catchを書いた部分のコンパイル時に「MyExceptionが飛んでくる可能性がない」という検証を厳密にやるのは、往々にして不可能です。

検査例外であれば、「内部で直接投げている」あるいは「throwsしたメソッドを呼んでいる」のどちらかでしか発生しませんので、「起きる可能性がない」といい切ることも容易に可能で、実際にコンパイラもチェックしていきます。

Comments

[maisumakun]

Class.newInstanceのように「宣言していない検査例外を投げる」コードもありますが、これはさすがに扱いづらいのでJava 9では非推奨となっています。

自分からUnsafeな領域に足を踏み入れる人のことなんて、構わなくてもいいでしょうし。

[sususu]

ご回答ありがとうございます！
おっしゃる通り検査例外に変更したらちゃんと到達不可になりました。
非検査例外は最後まで処理されないので飛んでくる可能性があるってことですね。

プログラムはいろいろな可能性を考えないといけないので大変ですね。
ありがとうございました！