Javaで到達不能なキャッチブロックとは何ですか？

構文

try {
   // statements
} catch(Exception e) {
   System.out.println(e);
} catch(NumberFormatException nfe) { //unreachable block. Not supported by Java, leads to an error.
   System.out.println(nfe);
}

次の条件の両方が当てはまる場合、catch句はコンパイラによって到達可能であると見なされます

• tryブロックでスローされるチェック済みの例外は、Cのパラメーターに割り当てることができます。
• パラメータタイプがCのパラメータタイプと等しいかスーパータイプである以前のcatch句はありません

次の条件の両方が当てはまる場合、catch句はコンパイラによって到達可能であると見なされ、到達不能になる可能性があります

• catch句のパラメータタイプEには、チェックされていない例外は含まれていません。
• タイプがEの（厳密な）サブタイプであるtryブロックでスローされるすべての例外は、以前のcatch句によってすでに処理されています。

例

public class UnreachableBlock{
   public static void main(String[] args) {
      try {
         int i = Integer.parseInt("abc"); //This statement throws NumberFormatException
      } catch(NumberFormatException nfe) {
         System.out.println("This block handles NumberFormatException");
      } catch(Exception e) {
         System.out.println("This block handles all exception types");
      } catch (Throwable t) {
         System.out.println("Throwable is super class of Exception");
      }
   }
}

出力

This block handles NumberFormatException