Sigo estudiando para la OCP Java 11 y quiero comprender bien por que no se permiten clases relacionadas en un bloque multi-catch
Recordamos que FileNotFoundException es una subclase de IOException
Paso a paso:
Invalid try-catch
try {
//
} catch(IOException e){
//1
} catch (FileNotFoundException e){ //FileNotFoundException has already been caugh
//2
}
Explicación: Si en el try se lanza una excepción de tipo IOException (incluida una FileNotFoundException) será atrapada por el primer catch ya que es más genérico y hará que el segundo sea inalcanzable (unreachable) y por lo tanto, Java no lo permite.
Esto se solucionaría fácil invirtiendo el orden de los catch:
try {
//
} catch(FileNotFoundException e){
//1
} catch (IOException e){
//2
}
//COMPILES
El problema viene al usar bloques multi-catch:
try {
//
} catch (IOException | FileNotFoundException e) {}
De esta forma (igual que en el primer ejemplo) FileNotFoundException queda opacado y nunca se llegaría a ejecutar y entiendo que Java no lo permita.
Pero, y al revés?
try {
//
} catch (FileNotFoundException | IOException e) {} //Error: Types in multi-catch must be disjoint
No entiendo por que esto no se pertmite. Si el try lanzase un ZipException (otra subclase de IOException) no sería capturado por el primero (FileNotFoundException) pero si por IOException y no debería haber ningún problema, pero sin embargo, no se permite