Para que el codigo de un programa Java sea valido, debe hacer honor al requerimiento Atrapar o Especificar, en ingles Catch or Specify Requirement. Esto significa que el código que puede lanzar ciertas excepciones debería estar encerrado por uno de los siguientes:
Una sentencia try que atrape la excepción. La sentencia try debería proporcionar un manejador para la excepción, tal como se describe en Atrapando y Manejando Excepciones.
El metodo debería especificar las excepciones que puede lanzar. El metodo debería proporcionar una clausula throws con la lista de excepciones que pudiera lanzar, tal como se describe en Especificando las Excepciones que puede lanzar un metodo.
El codigo que no cumple con el principio de Catch or Specify Requirement ni siquiera compilara.
No todas las excepciones está sujetas a la regla Catch or Specify Requirement, como veremos más adelante. Para entender porqué, necesitamos revisar las tres categorias basicas de Excepciones, del cual solo una está sujeta a la regla mencionada.
Los tres tipos de Excepciones
El primer tipo de Excepción es la excepción verificada (Checked Exception). Estás son condiciones excepcionales que una aplicación bien diseñada debería anticiparse a ellas y recuperarse. Por ejemplo, suponga una aplicación que le solicita al usuario que ingrese el nombre de un archivo, para luego abrir el archivo pasandole el nombre ingresado al constructor de la clase java.io.FileReader. Normalmente, el usuario proporciona el nombre de un archivo que existe y es legible, entonces el constructor de la clase crea al objeto sin ningun problema y la ejecución de la aplicación continua con normalidad. Pero en ocasiones el usuario proporciona el nombre de un archivo que no existe, y el constructor lanza una excepción del tipo java.io.FileNotFoundException. Una aplicación bien escrita atrapará esta excepción y notificará el error al usuario, posiblemente solicitando el ingreso de un nombre de archivo correcto.
Las Excepciones Verificables (Checked Exceptions) están sujetas al principio Catch or Specify Requirement. Todas las excepciones son checked exceptions, excepto aquellas indicadas por Error, RuntimeException, y sus subclases.
El segundo tipo de excepciones es el tipo Error. Estas son aquellas condiciones excepcionales que son externas a la aplicación, y usualmente en donde la aplicación no puede anticiparse o recuperarse. Por ejemplo, supon que tenemos una aplicación que abre sin problemas un archivo para su lectura, pero no es posible leerlo porque hay un error de hardware o un error critico con el sistema de archivos. Este problema encontrado en la lectura lanzara un java.io.IOError. La aplicación puede atrapar esta excepción, con el fin de notificar al usuario del problema - pero tambien podría hacer sentido para el programa imprimir el stack trace (la secuencia de la llamada de los metodos) y salir.
Los errores no están sujetos al requisito de Atrapar o Especificar. Errores son aquellas excepciones indicadas por Error y sus subclases.
El tercer tipo de Excepciones son las excepciones en tiempo de ejecución (runtime exception en ingles). Estás son condiciones excepcionales que son internas a la aplicacion, y en las que usualmente la aplicacion no se puede anticipar o recuperar. Estas excepciones usualmente indican errores de programacion, errores logicos o por no usar correctamente una API. Por ejemplo, considera la aplicacion descrita anteriormente que pasa un nombre de archivo al constructor de la clase FileReader. Si un error de logica permite que una referencia null sea pasada al constructor, el constructor lanzará una excepción NullPointerException. La aplicación puede atrapar esta excepción, pero probablemente tenga mas sentido reparar la incidencia que causa que la excepción ocurra.
Las excepciones Runtime Exception no están sujetas al requerimiento Catch or Specify. Las excepciones Runtime Exception son aquellas indicadas por RuntimeException y sus subclases.
Errores y excepciones en tiempo de ejecución son categorizadas como excepciones no verificadas (unchecked exceptions).
Algunos programadores consideran el requerimiento Catch or Specify un defecto grave del mecanismo de las excepciones y lo dejan pasar usando excepciones no vericadas (unchecked exceptions) en lugar de excepciones verificadas (checked exceptions). En general, esto no es recomendado.
Ignorando el requerimiento Catch or Specify
La sección Excepciones no verificadas La controversia hablaremos acerca de cuando es apropiado el uso de excepciones no verificadas.
No hay comentarios:
Publicar un comentario