目錄
1 assert概念
函數名:assert
頭文件:#include<assert.h>
函數原形:void assert( int expression )
2 assert作用
assert的作用是先計算expression表達式的值,如果計算結果為真,繼續運行下面的程序;如果計算結果為假,則程序終止運行。
assert函數主要是檢測程序的未知錯誤。比如對指針操作時指針是否為NULL;某個變量是否符合預定范圍等等
3 assert用法
3.1 檢測調用者傳過來的指針參數是否正常
void test(int* p)
{
assert(p != NULL);//用來判斷調用者傳過來的指針參數是否為空
/*函數體*/
}
延伸:上面判斷指針是否為空,前提條件是
1 定義指針時就要初始化為NULL,比如`int* p = NULL;`;
2 釋放指針變量后也要把指針賦值為NULL,比如:
```
free(p);
p = NULL;
```
3.2 判斷某個變量的范圍
void test()
{
int i = 0;
/*
*對i的相關操作,假設i小於32為有效范圍
*/
assert(i < 32);
/*繼續關於i的操作*/
}
關於assert的使用,可以根據自己的需要使用在程序任何地方,用來檢測程序的異常。但是,過多的使用asser函數,頻繁調用會非常影響程序的性能,增加額外的開銷。
在調試結束后,可以通過在包含#include <assert.h>
的語句之前插入 #define NDEBUG
來禁用assert調用,示例代碼如下:
#include<stdio.h>
#define NDEBUG
#include<assert.h>
3.3 assert只檢驗一個地方
同時檢驗多個條件,如果出現斷言錯誤,不能分辨出是哪個條件判斷錯誤,比如:
//錯誤
assert(i < 32 && i + temp < i_max);
//正確
assert(i < 32);
assert(i + temp < i_max);
3.4 不能使用改變環境的語句
因為assert只在DEBUG個生效,如果這么做,會使用程序在真正運行時遇到問題,如:
//錯誤
assert(i++ < 32);
這是因為如果出錯,比如在執行之前i=32,那么這條語句就不會執行,那么i++這條命令就沒有執行。
//正確
assert(i < 32);
i++;
assert和后面的語句應空一行,以形成邏輯和視覺上的一致感。