Ｃ語言中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/