¿Cuál es el punto de NSAssert, en realidad?

Tengo que preguntar esto, porque: Lo único que reconozco es que si la afirmación falla, la aplicación falla. ¿Es esa la razón por la cual usar NSAssert? ¿O qué más es el beneficio de esto? ¿Y es correcto poner un NSAssert justo por encima de cualquier suposición que haga en el código, como una función que nunca debería recibir un -1 como parámetro, pero puede un -0.9 o -1.1?

Afirmar es asegurarse de que un valor es lo que se supone que es. Si una afirmación falla, eso significa que algo salió mal y la aplicación se cierra. Una razón para usar aserción sería si tiene alguna función que no se comportará o creará efectos secundarios muy malos si uno de los parámetros que se le pasa no es exactamente algún valor (o un rango de valores) que puede poner una aserción para hacer asegúrese de que el valor es lo que espera que sea, y si no lo es, entonces algo está realmente mal, por lo que la aplicación se cierra. Assert puede ser muy útil para la depuración / prueba de unidad, y también cuando proporciona marcos para evitar que los usuarios hagan cosas "malvadas".

Realmente no puedo hablar con NSAssert, pero imagino que funciona de manera similar a la afirmación de C ().

afirmar () se utiliza para hacer cumplir un contrato semántico en su código. ¿Qué significa eso, preguntas?

Bueno, es como dijiste: si tienes una función que nunca debería recibir un -1, puedes hacer valer aserción ():

nulo gimme_positive_ints (int i) {
  afirmar (i> 0);
}

Y ahora verá algo como esto en el registro de errores (o STDERR):

Afirmación i> 0 fallida: archivo ejemplo.c, línea 2

Por lo tanto, no solo protege contra entradas potencialmente malas, sino que las registra de una manera útil y estándar.

Ah, y al menos en C afirmar () era una macro, por lo que podría redefinir afirmar () como no operativo en su código de lanzamiento. No sé si ese es el caso con NSAssert (o incluso afirmar () más), pero fue bastante útil compilar esos controles.

NSAssertte da más que simplemente bloquear la aplicación. Le indica la clase, el método y la línea donde ocurrió la aserción. Todas las aserciones también se pueden desactivar fácilmente utilizando NS_BLOCK_ASSERTIONS. Por lo tanto, es más adecuado para la depuración. Por otro lado, arrojar un NSExceptionsolo bloquea la aplicación. Tampoco informa sobre la ubicación de la excepción, ni puede deshabilitarse de manera tan simple. Vea la diferencia en las imágenes a continuación.

La aplicación se bloquea porque una aserción también genera una excepción, ya que la documentación de NSAssert establece:

Cuando se invoca, un controlador de aserciones imprime un mensaje de error que incluye el método y los nombres de clase (o el nombre de la función). Luego genera una excepción NSInternalInconsistencyException.

NSAssert:

NSException:

Además de lo que todos dijeron anteriormente, el comportamiento predeterminado de NSAssert()(a diferencia de C assert()) es lanzar una excepción, que puede atrapar y manejar. Por ejemplo, Xcode hace esto.

Solo para aclarar, como alguien mencionó pero no explicó por completo, la razón para tener y usar afirmaciones en lugar de simplemente crear código personalizado (hacer ifs y generar una excepción para datos incorrectos, por ejemplo) es que las afirmaciones DEBEN estar deshabilitadas para las aplicaciones de producción.

Durante el desarrollo y la depuración, las afirmaciones están habilitadas para que pueda detectar errores. El programa se detendrá cuando una afirmación se evalúe como falsa. Pero, cuando compila para la producción, el compilador omite el código de aserción y en realidad HACE QUE SU PROGRAMA SE EJECUTE MÁS RÁPIDO. Para entonces, con suerte, ya ha solucionado todos los errores. En caso de que su programa todavía tenga errores durante la producción (cuando las aserciones están deshabilitadas y el programa "omite" las aserciones), su programa probablemente terminará fallando en algún otro momento.

De la ayuda de NSAssert: "Las afirmaciones se deshabilitan si se define la macro del preprocesador NS_BLOCK_ASSERTIONS". Entonces, solo coloque la macro en su objetivo de distribución [solo].

NSAssert(y su equivalente stdlib assert) son para detectar errores de programación durante el desarrollo. Nunca debe tener una afirmación que falle en una aplicación de producción (lanzada). Por lo tanto, puede afirmar que nunca pasa un número negativo a un método que requiere un argumento positivo. Si la afirmación falla alguna vez durante la prueba, tiene un error. Sin embargo, si el usuario ingresa el valor pasado, debe realizar una validación adecuada de la entrada en lugar de confiar en la afirmación en producción (puede establecer un #definir para las compilaciones de lanzamiento que deshabilita) NSAssert*.

Las aserciones se usan comúnmente para imponer el uso previsto de un método particular o una pieza de lógica. Digamos que estaba escribiendo un método que calcula la suma de dos enteros mayores que cero. Con el fin de asegurarse de que el método siempre se usó según lo previsto, es probable que ponga una afirmación que pruebe esa condición.

Respuesta corta: exigen que su código se use solo según lo previsto.

Vale la pena señalar que, aparte de la verificación del tiempo de ejecución, la programación de afirmación es una instalación importante que se utiliza cuando diseña su código por contrato.

Más información sobre el tema de la afirmación y el diseño por contrato se puede encontrar a continuación:

Afirmación (desarrollo de software)

Diseño por contrato

Programación con aserciones

Diseño por contrato, por ejemplo [Paperback]

Para responder completamente a su pregunta, el objetivo de cualquier tipo de afirmación es ayudar a la depuración. Es más valioso detectar errores en su origen y luego detectarlos en el depurador cuando provocan bloqueos.

Por ejemplo, puede pasar un valor a una función que espera valores en un cierto rango. La función puede almacenar el valor para su uso posterior, y en el uso posterior, la aplicación se bloquea. La pila de llamadas que se ve en este escenario no muestra la fuente del valor incorrecto. Es mejor detectar el valor negativo a medida que entra para averiguar quién está pasando el valor negativo y por qué.

NSAsserthacer que la aplicación se bloquee cuando coincida con la condición. Si no coincide con la condición, se ejecutarán las siguientes declaraciones. Busque el EX a continuación:

Acabo de crear una aplicación para probar cuál es la tarea NSAssert:

    - (void)viewDidLoad {
    [super viewDidLoad];
    // Do any additional setup after loading the view, typically from a nib.
    [self testingFunction:2];
}

-(void)testingFunction: (int)anNum{
    // if anNum < 2 -> the app will crash
    // and the NSLog statement will not execute
    // that mean you cannot see the string: "This statement will execute when anNum < 2"
    // into the log console window of Xcode
    NSAssert(anNum >= 2, @"number you enter less than 2");
    // If anNum >= 2 -> the app will not crash and the below 
    // statement will execute
    NSLog(@"This statement will execute when anNum < 2");
}

en mi código, la aplicación no se bloqueará. Y el caso de prueba es:

• anNum > = 2 -> La aplicación no se bloqueará y puede ver la cadena de registro: "Esta instrucción se ejecutará cuando anNum <2" en la ventana de la consola de registro de salida
• anNum <2 -> La aplicación se bloqueará y no podrá ver la cadena de registro: "Esta instrucción se ejecutará cuando anNum <2"