Respuesta.

Historia del tema:

El mecanismo assert fue añadido en Java 1.4 para diagnosticar errores lógicos y suposiciones del desarrollador dentro del código. Assert permitía detectar en tiempo de ejecución discrepancias entre los valores esperados y los reales sin una excepción throw explícita y no se incluía en la versión final de la aplicación si se desactivaba el soporte para assert.

Problema:

El abuso de assert en lugar de verificaciones de errores normales (por ejemplo, verificaciones de entrada del usuario) y la falta de comprensión de su desactivación en un servidor en producción pueden llevar a errores perdidos.

Solución:

Assert se aplica solo a invariantes lógicos que no deberían ser violados con un funcionamiento correcto del programa, pero si se violan, la aplicación se comporta de manera incorrecta.

Ejemplo de código:

public int divide(int a, int b) {
    assert b != 0 : "¡El divisor no debe ser cero!";
    return a / b;
}

Características clave:

Assert se puede desactivar con un flag de JVM (-ea/–da), y entonces todos los asserts serán ignorados.
Assert no debe utilizarse para verificar datos del usuario o externos.
El mensaje después de assert permite indicar claramente la razón del fallo.

Preguntas capciosas.

¿Funciona assert por defecto al ejecutar un programa Java?

Respuesta: No, por defecto assert está desactivado. Debe activarse explícitamente con el flag -ea (activar afirmaciones).

¿Se puede utilizar assert en código de producción?

Respuesta: No se recomienda, ya que AssertionError puede ser simplemente ignorado. El uso de assert es posible solo para invariantes y en código de prueba.

¿Cuál es la diferencia entre assert y lanzar una excepción?

Respuesta:

Assert se desactiva en un entorno de producción, las excepciones no.
Assert es un indicador de un error (invariante violado).
Exception es el manejo de errores esperados.

Errores típicos y anti-patrones

Assert para verificar la validez de los datos del usuario.
Assert para código que debe manejar correctamente un error, en lugar de simplemente volcar la pila.

Ejemplo de la vida real

Caso negativo

Un programador utiliza assert para verificar los datos de entrada de una aplicación web, permitiendo que el usuario provoque un error crítico con valores incorrectos.

Pros:

Implementación rápida.

Contras:

Assert desactivado en el servidor de producción, no se ven errores, los datos se corrompen.

Caso positivo

Assert se aplica solo a invariantes internos en el algoritmo, para el usuario todas las verificaciones se realizan a través de excepciones normales.