Beneficios de la Programación Asertiva

Question

¿Cuál es el punto de poner afirmaciones en nuestro código? ¿Cuáles son los beneficios de la programación asertiva?

private void WriteMessage(string message) 
{ 
    Debug.Assert(message != null, "message is null"); 

    File.WriteAllText(FILE_PATH, message); 
} 

Por ejemplo, podemos verificar la variable del mensaje y arrojar una excepción aquí. ¿Por qué uso assert aquí? ¿O es este un ejemplo equivocado para ver los beneficios de las afirmaciones?

Answer 1

También apoyan la filosofía de fallar rápido, explican en this article por Jim Shore.

Answer 2

Si hay una condición previa especificada para que el método tome un parámetro de mensaje no nulo, entonces desea que el programa falle tan pronto como la condición previa no se mantenga y el origen del error debe entonces ser arreglado

creo afirmaciones son más importantes en el desarrollo de software crítico. Y ciertamente preferiría usar aserciones cuando el software ha sido formalmente especificado.

Answer 3

Para una excelente discusión de las afirmaciones (y muchos otros temas relacionados con la construcción de código), echa un vistazo a Code Complete por Steve McConnell. Dedica un capítulo entero al uso efectivo de las afirmaciones.

Answer 4

Los uso para verificar que se me ha proporcionado una clase dependiente válida. por ejemplo, en el constructor DI, generalmente está aceptando algún tipo de clase externa de la que dependa para proporcionar alguna acción o servicio.

por lo que puede valer (classRef - null, "classRef no puede ser nulo"!); en lugar de esperar que pases un mensaje a classRef y obtener alguna otra excepción como excepción: violación de acceso o algo igualmente ambiguo que podría no obviorse inmediatamente al mirar el código.

Answer 5

Una distinción importante a considerar es qué tipo de errores que le gustaría coger con las afirmaciones. A menudo uso aserciones para detectar errores de programación (es decir, llamar a un método con un parámetro nulo) y un mecanismo diferente para manejar los errores de validación (por ejemplo, pasar un número de seguridad social de la longitud incorrecta). Para el error de programación capturado con la aserción, quiero fallar rápido. Para el error de validación, quiero responder de manera menos drástica porque puede ser normal que haya errores en los datos (por ejemplo, un usuario que ingresa datos de algún tipo). En esos casos, el manejo adecuado podría ser informar el error al usuario y continuar funcionando.

Answer 6

Cuando algunas personas escribirían:

/* 
* This can never happen 
*/ 

Es mucho más práctico para escribir:

assert(i != -1); 

me gusta usar afirma, ya que son fácilmente apagados con un simple tiempo de compilación constante, o de hecho para hacer otra cosa como preparar un informe de error. Normalmente no dejo las afirmaciones activadas (al menos, no de la manera habitual) al liberar algo.

El uso de ellos me ha salvado de cometer errores muy estúpidos en los ordenadores de otras personas .. esas almas valientes que disfrutan de probar mi código alfa. Usarlos más herramientas como valgrind ayuda a garantizar que capture algo horrible antes de comprometerlo.

Answer 7

Es muy útil para probar nuestras suposiciones. Las afirmaciones constantemente aseguran que lo invariante sea verdadero.En resumen, se utiliza para los siguientes propósitos,

• Permite implementar sistema a prueba de rápido.
• Es reduce la propagación de error debido a los efectos secundarios.
• Prohíbe (tipo de comprobación de la cordura) que el sistema entre en un estado incoherente debido a datos de usuario o por cambios de código posteriores.

A veces, estoy a favor del uso de assert_return() cuando no queremos usar try/catch/throw.

private void WriteMessage(string message) 
{ 
    assert_return(message != null, "message is null"); // return when false 
    File.WriteAllText(FILE_PATH, message); 
} 

Sugiero assert_return() para detener la aplicación al informar un error en la compilación de prueba. Y luego, en el sistema de producción, debe registrar y error, y regresar de la función diciendo que no puede hacer eso.