Ｃ语言中assert()断言函数的概念及用法

　　断言函数的格式如下所示：

　　void assert (int expression);
如果参数expression等于零，一个错误消息将会写入到设备的标准错误集并且会调用abort函数，就会结束程序的执行。
　　断言的消息会显示库依赖，但是它也包含一下信息，源文件的名字，处于哪一行，在哪儿发生的，一般的格式如下：
Assertion failed: expression, file filename, line line number
该函数的头文件如下所示：
　　<assert.h>

　　该函数的源码应用如下所示：

/* assert example */
#include <stdio.h>      /* printf */
#include <assert.h>     /* assert */

void print_number(int* myInt) {
  assert (myInt!=NULL);
  printf ("%d\n",*myInt);
}

int main ()
{
  int a=10;
  int * b = NULL;
  int * c = NULL;

  b=&a;

  print_number (b);
  print_number (c);

  return 0;
}

　参考文档：

１　http://www.cplusplus.com/reference/cassert/assert/