Red de conocimiento informático - Aprendizaje de programación - ¿Por qué el marco del código fuente de JAVA utiliza la depuración de aserciones?

¿Por qué el marco del código fuente de JAVA utiliza la depuración de aserciones?

Hay una clave de afirmación en C y C, que significa afirmación.

En Java, también existe la clave de aserción, que significa aserción, y su uso y significado son similares.

Sintaxis

En Java, la palabra clave afirmar se introdujo desde JAVA SE 1.4. Para evitar errores causados ​​por el uso de la palabra clave afirmar como en versiones anteriores del código Java, Java ejecuta la verificación de aserción. no está habilitado de forma predeterminada (¡en este momento, se ignorarán todas las declaraciones de aserción!). Si desea habilitar la verificación de aserciones, debe habilitarla usando el modificador -enableassertions o -ea.

La sintaxis de la palabra clave afirmar es muy simple y tiene dos usos:

1. afirmar lt;expresión booleanagt; true , el programa continuará ejecutándose.

Si es falso, el programa arrojará un AssertionError y finalizará la ejecución.

2. afirmar lt;expresión booleanagt;: lt;expresión de mensaje de errorgt;

Si lt;expresión booleanagt; es verdadero, el programa continúa con la ejecución.

Si es falso, el programa arrojará java.lang.AssertionError (con lt; expresión de mensaje de error gt;).