Differences

This shows you the differences between two versions of the page.

--- apuntes:excepciones [2019/02/10 20:53] – created Santiago Faci
+++ apuntes:excepciones [2023/06/04 18:31] (current) – [Excepciones] Santiago Faci
@@ Line 1: / Line 1: @@
-====== Gestión de las excepciones ======
+====== Excepciones y aserciones ======
+===== Excepciones =====
+Las excepciones en Java son errores que se producen en tiempo de ejecución. Cuando realizamos el proceso de compilación pueden aparecer una
+serie de errores que deben ser corregidos para que el programa pueda compilarse y generarse. Más tarde, durante la ejecución del mismo,
+puedne producirse una serie de errores, los cuales son imposibles de detectar durante la fase de compilación. Son este tipo de errores los
+que, en Java, acaban lanzando una excepción si llegan a producirse:
+  * Estamos escribiendo en disco y éste se llena (''IOException'')
+  * Estamos descargando un fichero y cae la conexión a Internet (''ConnectionException'')
+  * Estamos recorriendo un array en un bucle y accedemos a una posición que no existe (''IndexOutOfBoundException'')
+  * Accedemos atributos o métodos de un objeto cuyo valor es nulo (''NullPointerException'')
+  * Realizamos una operación matemática no válida (división por cero) (''ArithmeticException'')
+En Java se propone el control de excepciones para evitar que se produzcan estos errores en lugar de tener que escribir continuamente estructuras ''if'' que controlen que no ocurre nada anómalo que impida la ejecución de un cierto código. Así, lo que haremos será colocar dentro un bloque controlado todo el código (y el que dependa de éste) que sea susceptible de producir una excepción, sin interrumpir el flujo de nuestro programa (al contrario de lo que ocurre añadiendo sentencias ''if'').
+Se recomienda excepciones como ''NullPointerException'' y ''IndexOfOutBoundException'' no se traten como tal ya que, por lo general, corresponderán a errores de codificación, por lo que realmente, se debería evitar que se produjeran corrigiendo el programa y no esperando capturarlas cuando se produzcan. Son dos excepciones que derivan de ''RuntimeException''. Son lo que se conoce como //unchecked exceptions//. Echa un vistazo a [[https://docs.oracle.com/javase/tutorial/essential/exceptions/runtime.html|Documentación sobre excepciones]] para más información al respecto.
+==== Tipos de Excepciones ====
+=== Checked Exceptions ===
+  * Excepciones que deben ser capturadas o declaradas en el método donde se producen
+  * Heredan directamente de la clase ''Exception''
+  * Por norma general serán el tipo de excepciones que deberemos capturar siempre en nuestro código
+  * ''IOException'' y ''ParseException'' son dos ejemplos de excepciones //checked//
+=== Unchecked Exceptions ===
+  * Excepciones que pueden ser lanzadas sin ser capturadas o declaradas
+  * Heredan de la clase ''RuntimeException'', que a su vez hereda de ''Exception''
+  * Por norma general serán el tipo de excepciones que no deberemos capturar. Deberíamos evitar que se produjeran como, por ejemplo, en el caso de la excepción //unchecked// ''NullPointerException''
+  * ''ArithmeticException'' y ''ArrayIndexOutOfBoundsException'' son otros ejemplos de excepciones "unchecked"
+==== Bloque try-catch ====
+El bloque //try-catch// es el bloque Java que permite delimitar el código susceptible de generar excepción (parte //try//) y ejecutar otro bloque
+para corregir o notificar el problema (parte //catch//).
+<code java>
+. . .
+try {
+    // código
+} catch (Exception e1) {
+} catch (Exception e2) {
+} . . .
+. . .
+</code>
+En este caso, el código que hay asociado al bloque //try// se ejecutará de forma que, si dentro de él se produjera una excepción, el flujo de ejecución pasaría al bloque //catch// de la excepción que corresponda. A continuación, seguirá ejecutando justo al final de todo
+el grupo //try-catch//.
+<code java>
+. . .
+File fichero = null;
+FileReader lectorFichero = null;
+BufferedReader buffer = null;
+try {
+    buffer = new BufferedReader(new FileReader(new File("archivo.txt")));
+    String linea = null;
+    while ((linea = buffer.readLine()) != null) {
+        System.out.println(linea);
+    }
+    buffer.close();
+} catch (FileNotFoundException fnfe) {
+    System.out.println("El fichero especificado no existe");
+    fnfe.printStackTrace();
+} catch (IOException ioe) {
+    System.out.println("Se ha producido un error al leer de disco");
+    ioe.printStackTrace();
+}
+. . .
+</code>
+==== Instrucción throws ====
+También podemos, en lugar de capturar la excepción, lanzarla haciendo que tenga que ser controlada en un nivel superior. Por ejemplo, si estoy desarrollando una clase que debe controlar una determinada excepción, quizás me pueda resultar interesante hacerla "subir" de nivel para que sea controlada, por ejemplo, en el controlador de la aplicación o bien cerca de la interfaz con el usuario. Así es probable que podamos ajustar mejor el comportamiento en caso de error.
+<code java>
+public class Util {
+    public static Date parseFecha(String fecha) throws ParseException {
+        SimpleDateFormat sdf = new SimpleDateFormat("dd/MM/yyyy");
+        return sdf.parse(fecha);
+    }
+}
+</code>
+El ejemplo de arriba es un caso en el que tenemos un método estático que utilizamos para parsear fechas en nuestra aplicación. Cuando el texto que se le pase no se corresponda con un formato válido de fecha, lanzará una excepción. Pero justamente en el método no tenemos muy claro que hacer puesto que dicho método lo utilizarán desde diferentes localizaciones del código en la aplicación. Por eso es mejor que lancemos fuera la excepción para que sea quién utilice este método quién deba decidir qué hacer en caso de fallo. Por ejemplo:
+<code java>
+public class Ventana {
+    . . .
+    private JTextField tfFecha;
+    . . .
+    private void comprobarInput() {
+        . . .
+        try {
+            . . .
+            Date fecha = Util.parseFecha(tfFecha.getText());
+            . . .
+        } catch (ParseException pe) {
+            JOptionPane.showMessageDialog(. . .);
+        }
+    }
+}
+</code>
+==== Bloque try-catch-finally ====
+Se puede añadir también un tercer bloque de código asociado a la parte //try// que permite añadir código que se ejecutará siempre, de forma que incluso lo hará cuando se produzca una excepción no controlada. Normalmente se utiliza para la zona donde liberar recursos que hayan sido ocupados durante el bloque //try//. De esta forma nos aseguramos que siempre se liberen correctamente, incluso aunque el flujo de ejecución del código se vea interrumpido por una excepción.
+<code java>
+. . .
+BufferedReader buffer = null;
+try {
+    buffer = new BufferedReader(new FileReader(new File("archivo.txt")));
+    String linea = null;
+    while ((linea = buffer.readLine()) != null) {
+        System.out.println(linea);
+    }
+} catch (FileNotFoundException fnfe) {
+    System.out.println("El fichero especificado no existe");
+    fnfe.printStackTrace();
+} catch (IOException ioe) {
+    System.out.println("Se ha producido un error al leer de disco");
+    ioe.printStackTrace();
+} finally {
+    if (buffer != null) {
+        try {
+            buffer.close();
+        } catch (IOException ioe) {
+            ioe.printStackTrace();
+        }
+    }
+}
+. . .
+</code>
+==== Cómo crear tus propias excepciones ====
+Como ya hemos visto, Java tiene una serie de //unchecked// y //checked exceptions// que son lanzadas en determinadas situaciones. Vamos a ver ahora cómo también podemos crear nuestras propias excepciones y lanzarlas cuando se produzcan situaciones de "más alto nivel" en nuestra lógica de la aplicación.
+Por ejemplo, en una aplicación para la gestión de inventarios, almacenes o pedidos, podemos definir una excepción como la del siguiente ejemplo, para que sea lanzada en el caso de que se termine el stock de algún producto de nuestro almacén:
+<code java>
+public class FueraDeStockException extends Exception {
+    public FueraDeStockException() {
+        super();
+    }
+    public FueraDeStockException(String mensaje) {
+        super(mensaje);
+    }
+}
+</code>
+Así, cuando nos encontramos con esa situación, podemos directamente lanzar nuestra excepción:
+<code java>
+. . .
+private void anadirProductoAlCarrito(Producto producto) {
+    if (producto.getStock() <= 0) {
+        throw new FueraDeStockException();
+    }
+}
+. . .
+</code>
+Y de esta manera, por ejemplo, en el controlador o interaz de la aplicación, podríamos hacer algo así:
+<code java>
+public class Ventana {
+    . . .
+    try {
+        . . .
+        anadirProductoAlCarrito(producto);
+        . . .
+    } catch (FueraDeStockException fdse) {
+        JOptionPane.showMessageDialog(. . .);
+        fdse.printStackTrace();
+    }
+    . . .
+}
+</code>
+==== Bloques multi-catch ====
+También es posible capturar más de un tipo de excepción bajo un mismo bloque //catch//, aunque no es una práctica recomendada ya que no permite afinar el caso de error en algunos casos, pero bien utilizado permite que agrupemos en el caso de que varias excepciones tengan asociado el mismo bloque de código.
+<code java>
+public class Ventana {
+    . . .
+    try {
+        . . .
+        anadirProductoAlCarrito(producto);
+        . . .
+    } catch (FueraDeStockException | ProductoDescatalogadoException e) {
+        JOptionPane.showMessageDialog(. . .);
+        fdse.printStackTrace();
+    }
+    . . .
+}
+</code>
+==== Uso de recursos en bloques try-catch ====
+Como hemos visto en el primer ejemplo, accedíamos a un fichero en la excepción, para luego acabar liberando los recursos al finalizar el bloque //try-catch//. A veces es habitual que dichos recursos se inicialicen al comenzar la excepción (incluso dentro de ésta) y se liberen al terminar. Así, ese ejemplo podría escribirse de la siguiente forma:
+<code java>
+. . .
+try (BufferedReader buffer =
+        new BufferedReader(new FileReader(new File("archivo.txt")))) {
+    String linea = null;
+    while ((linea = buffer.readLine()) != null) {
+        System.out.println(linea);
+    }
+} catch (FileNotFoundException fnfe) {
+    System.out.println("El fichero especificado no existe");
+    fnfe.printStackTrace();
+} catch (IOException ioe) {
+    System.out.println("Se ha producido un error al leer de disco");
+    ioe.printStackTrace();
+}
+. . .
+</code>
+Para este caso, hay que tener en cuenta que, para que Java pueda liberar automáticamente los recursos de una clase Java, debemos implementar uno de los interfaces ''java.lang.AutoClosable'' o ''java.io.Closable'', y declarar un método ''close()'':
+<code java>
+public class MiRecurso implements AutoCloseable {
+    . . .
+    . . .
+    public void close() throws Exception {
+        // Aqui hay que liberar los recursos
+        // Se ejecutará automáticamente
+        . . .
+        . . .
+    }
+}
+</code>
+===== Aserciones =====
+Las aserciones son sentencias utilizadas para comprobar si una condición es cierta (o no) y controlar asi los errores en el código. Básicamente equivale a una sentencia ''if'' que evalúa una condición y genera una Excepción ''AssertException'' si ésta se cumple, mostrando el mensaje asociado a la misma. De forma similar a cómo hacen las excepciones, permite hacerlo de forma cómoda y sin romper el flujo del código. Además, estás condiciones en forma de aserción sólo tienen efecto si se pasa la opción ''-ea'' o ''-enableassertions'' a la máquina virtual cuando se ejecuta la aplicación. De esta forma sólo se activan cuando es necesario o interesa utilizarlas.
+Veamos un ejemplo:
+<code java>
+. . .
+String cadena = "Esto es un texto";
+. . .
+. . .
+assertion cadena == null : "La cadena es nula";
+. . .
+// También se puede especificar una condición sin mensaje
+assertion cadena == null;
+. . .
+</code>
+Si ejecutamos el código anterior con la opción ''-ea'' activada como opción de la JVM, se nos mostrará el siguiente mensaje de error:
+<code bash>
+run:
+Exception in thread "main" java.lang.AssertionError: La cadena es nula
+	at com.sfaci.prueba.JavaApplication5.main(JavaApplication5.java:29)
+/Users/Santi/Library/Caches/NetBeans/8.2/executor-snippets/run.xml:53: Java returned: 1
+BUILD FAILED (total time: 0 seconds)
+</code>
 ----
-(c) 2019 Santiago Faci
+(c) 2019-{{date>%Y}} Santiago Faci