assert断言使用的必要性

assert.h 头文件定义了宏 assert() ，用于在运行时确保程序符合指定条件，如果不符合，就报

错终⽌运行。这个宏常常被称为“断言”。

例如：

assert （p != NULL）;

在上面的代码中，当程序运行到这一步时，

验证变量 p 是否等于 NULL 。如果确实不等于 NULL ，程序就会去验证p是否等于NULL，如果确实不等于NULL，程序就会继续运⾏，否则就会终⽌运行，并且给出报错信息提示。

assert() 宏接受⼀个表达式作为参数。如果该表达式为真（返回值非零）， assert() 不会产⽣任何作用，程序继续运行。如果该表达式为假（返回值为零）， assert() 就会报错，在标准错误流 stderr 中写⼊⼀条错误信息，显示没有通过的表达式，以及包含这个表达式的文件名和行号。

使用  assert() 不仅能自动标识文件和出问题的行号，在我们不想使用它时，还可以通过在 #include <assert.h> 语句的前⾯，定义⼀个宏 NDEBUG ，来让程序不在使用assert()

#define NDEBUG
#include <assert.h>

为什么我们要介绍assert呢？

这主要是为了防止野指针的危害，我们都知道，野指针具有极大危害性，为了让程序安全的运行下去，我们就需要再对指针的引用与结束时使用assert判断该指针是否已经变成了野指针。

另外，assert也可以用在其他判断方面，在我们运行一个极其复杂的代码时，其中一些重要数据就需要通过assert来判断是否符合预期的值，方便程序成功的运行下去。