assert宏的原型定义在<assert.h>中，其作用是如果它的条件返回错误，则终止程序执行，原型定义：

#include <assert.h>
void assert( int expression );

assert的作用是现计算表达式 expression ，如果其值为假（即为0），那么它先向stderr打印一条出错信息，然后通过调用 abort 来终止程序运行：

分别注释调 char *p = "dsasf" 、assert(a > 0)、和 注释掉char *p、assert(a < 0)结果测试如下

一般用assert判断指针是否为空和一个条件，不要判断多个条件，请注意。