Manejo de excepciones (informática)

Cómo funcionan las excepciones

La mayoría de los lenguajes modernos implementan las excepciones con algunos elementos comunes: una operación de lanzar o generar para señalar un problema, una construcción de manejo (a menudo try/catch o try/except) para interceptarlo y responder, y un mecanismo para desenrollar la pila de llamadas de modo que puedan liberarse los recursos. Algunos entornos también proporcionan un bloque finally o ensure que se ejecuta haya ocurrido o no una excepción. Los sistemas de nivel más bajo pueden usar señales, códigos de error o valores de retorno especiales en lugar de excepciones a nivel de lenguaje; son patrones alternativos para propagar condiciones anómalas.

Cuando se lanza una excepción, esta asciende por la pila en busca de un manejador compatible. Durante esta propagación, el entorno de ejecución puede ejecutar destructores o código de limpieza para los objetos que salen de ámbito, un proceso que a veces se llama stack unwinding o desenrollado de pila. Una limpieza adecuada es esencial para evitar la pérdida de recursos, como descriptores de archivo o memoria asignada.

Niveles de seguridad de las excepciones

Los programadores suelen razonar sobre cuánto daño puede causar una excepción. Entre las clases de seguridad comúnmente aceptadas se incluyen:

• Sin lanzamiento (transparencia ante fallos): las operaciones garantizan que no generarán excepciones en ninguna circunstancia; este nivel es difícil de lograr, pero ideal cuando se requiere un comportamiento predecible.
• Fuerte (confirmación/reversión): una operación puede fallar y lanzar una excepción, pero si ocurre, el estado del programa permanece sin cambios, como si la operación nunca hubiera sucedido.
• Básica: después de una excepción, el programa queda en un estado válido y consistente, aunque algunos cambios pueden haberse aplicado antes del fallo.
• Mínima (sin fugas): el programa sigue ejecutándose y no pierde recursos, pero algunas estructuras de datos pueden quedar modificadas de forma parcial y requerir reparación o reinicio.
• Sin garantías: las excepciones pueden dejar el programa en un estado inconsistente y pueden producirse fugas de recursos.

Estrategias y buenas prácticas

Un buen manejo de excepciones minimiza efectos secundarios inesperados y simplifica el mantenimiento. Entre las prácticas recomendadas están:

• Liberar recursos de forma determinista usando patrones como RAII (resource acquisition is initialization) o bloques finally/ensure.
• Capturar excepciones en niveles donde pueda producirse una recuperación significativa; evitar capturarlas de forma amplia y luego ignorar los errores.
• Usar tipos de excepción específicos para comunicar la intención y hacer más precisos los manejadores.
• Registrar contexto y relanzar o envolver las excepciones al añadir información de diagnóstico, en lugar de tragarlas silenciosamente.
• Evitar usar excepciones para el flujo de control ordinario; están pensadas para condiciones excepcionales y pueden resultar costosas en algunos entornos de ejecución.

Diferencias entre lenguajes y notas históricas

Los distintos lenguajes ofrecen modelos de excepción diferentes. Por ejemplo, Java distingue históricamente entre excepciones comprobadas, que deben declararse o capturarse, y excepciones no comprobadas; C++ proporciona desenrollado de pila con destructores y da especial importancia a RAII; lenguajes dinámicos como Python y Ruby usan ampliamente objetos de excepción y fomentan idioms como «pedir perdón, no permiso». La programación de sistemas suele apoyarse en códigos de retorno y comprobaciones explícitas por razones de rendimiento o portabilidad. El diseño de un mecanismo de excepciones refleja compromisos entre rendimiento, claridad y seguridad.

El manejo de excepciones es una técnica central para construir software resiliente. Permite separar con claridad el comportamiento ordinario de la recuperación ante errores, admite semánticas transaccionales o de reversión en bibliotecas y bases de datos y, cuando se usa con cuidado, evita fugas de recursos y estados inconsistentes. Para conocer mejor cómo se propagan las excepciones entre componentes y capas, véase la comunicación de excepciones entre capas. Para entender las consecuencias de una limpieza deficiente, consulte materiales sobre fugas de memoria.