CPlusPlusThings/english/basic_content/assert

Things about assert

About Author：

1.First assertion case

assert，is macro，rather than function。

assert The prototype of a macro is defined in <assert.h>（C）、（C++）.If its condition returns an error，Program execution is terminated.

You can close assert by defining 'ndebug', But it needs to be at the beginning of the source code，before include <assert.h>.

void assert(int expression);

Code Example：assert.c

#include <stdio.h> 
#include <assert.h> 

int main() 
{ 
    int x = 7; 

    /*  Some big code in between and let's say x  
    is accidentally changed to 9  */
    x = 9; 

    // Programmer assumes x to be 7 in rest of the code 
    assert(x==7); 

    /* Rest of the code */

    return 0; 
} 

Output：

assert: assert.c:13: main: Assertion 'x==7' failed.

2.Assertion and normal error handling

• Assertions are mainly used to check for logically impossible situations.

For example, they can be used to check the state that code expects before it starts to run, or after the run is complete. Unlike normal error handling, assertions are usually disabled at run time.

• Ignore the assertion and add at the beginning of the code：

#define NDEBUG          // Adding this line，then you do not need the assert

Code Example：ignore_assert.c