60 lines
1.4 KiB
Markdown
60 lines
1.4 KiB
Markdown
# 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）、<cassert>（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>.**
|
||
|
||
```c
|
||
void assert(int expression);
|
||
```
|
||
|
||
> Code Example：[assert.c](./assert.c)
|
||
```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：
|
||
```c
|
||
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：
|
||
```c++
|
||
#define NDEBUG // Adding this line，then you do not need the assert
|
||
```
|
||
|
||
> Code Example：[ignore_assert.c](./ignore_assert.c)
|