一、斷言的概念

assert.h 頭?件定義了宏 assert() ，用于在運行時確保程序符合指定條件，如果不符合，就報錯終止運行。這個宏常常被稱為“斷言”。

二、assert斷言

assert(p != NULL);

上面代碼在程序運行到這一行語句時，驗證變量 p 是否等于 NULL 。如果確實不等于 NULL ，程序繼續(xù)運行，否則就會終止運行，并且給出報錯信息提升。assert() 宏接受?個表達式作為參數(shù)。如果該表達式為真（返回值非零），assert() 不會產(chǎn)?任何作用，程序繼續(xù)運行。如果該表達式為假（返回值為零）， assert() 就會報錯，在標準錯誤流 stderr 中寫??條錯誤信息，顯示沒有通過的表達式，以及包含這個表達式的文件名和行號。

2.1 代碼1

#include<stdio.h>
int main()
{
	int* p = NULL;
	assert(p != NULL);
	return 0;
}

2.1.1運行結(jié)果

這里顯示assert未定義，需要包含頭文件

#include<assert.h>

完整代碼：

#include<stdio.h>
#include<assert.h>
int main()
{
	int* p = NULL;
	assert(p != NULL);
	return 0;
}

再次運行，運行結(jié)果：

2.1.2分析

報錯會告訴你在哪一行。

2.2代碼2

#include<stdio.h>
#include<assert.h>
int main()
{
	int a = 10;
	int* p = &a;
	assert(p != NULL);
	printf("%d", *p);
	return 0;
}

2.2.1運行結(jié)果

2.2.2分析

assert不等于 NULL ，程序繼續(xù)運行，結(jié)果沒有報錯。

2.3代碼3

#include<stdio.h>
#include<assert.h>
int main()
{
	int a = 0;
	scanf("%d", &a);
	assert(a>10);
	printf("%d", a);
	return 0;
}

2.3.1運行結(jié)果及其分析

三、優(yōu)點

assert() 的使用對程序員是非常友好的，使用 assert() 有幾個好處：它不僅能?動標識文件和出問題的行號，還有?種?需更改代碼就能開啟或關(guān)閉 assert() 的機制。如果已經(jīng)確認程序沒有問題，不需要再做斷言，就在 #include <assert.h> 語句的前面，定義?個宏 NDEBUG 。

#define NDEBUG
#include <assert.h>

然后，重新編譯程序，編譯器就會禁用文件中所有的 assert() 語句。如果程序?出現(xiàn)問題，可以移除這條 #define NDBUG 指令（或者把它注釋掉），再次編譯，這樣就重新啟用了 assert() 語句。

代碼：

#include<stdio.h>
#define NDEBUG
#include<assert.h>
int main()
{
	int a = 0;
	scanf("%d", &a);
	assert(a>10);
	printf("%d", a);
	return 0;
}

運行結(jié)果及其分析：

四、缺點

因為引?了額外的檢查，增加了程序的運行的時間。

五、注意

一般我們可以在 Debug 中使用，在 Release 版本中選擇禁用 assert 就行，在 VS 這樣的集成開發(fā)環(huán)境中，在 Release 版本中，直接就是優(yōu)化掉了。這樣在debug版本寫有利于程序員排查問題，在 Release 版本不影響用戶使用時程序的效率。

附:用法總結(jié)與注意事項

1)在函數(shù)開始處檢驗傳入?yún)?shù)的合法性，如:

int resetBufferSize(int nNewSize){undefined
//功能:改變緩沖區(qū)大小,
//參數(shù):nNewSize 緩沖區(qū)新長度
//返回值:緩沖區(qū)當前長度
//說明:保持原信息內(nèi)容不變 nNewSize<=0表示清除緩沖區(qū)
assert(nNewSize >= 0);
assert(nNewSize <= MAX_BUFFER_SIZE);

…
}

2)每個assert只檢驗一個條件,因為同時檢驗多個條件時,如果斷言失敗,無法直觀的判斷是哪個條件失敗

不好: assert(nOffset>=0 && nOffset+nSize<=m_nInfomationSize);

好:

assert(nOffset >= 0);
assert(nOffset+nSize <= m_nInfomationSize);

3)不能使用改變環(huán)境的語句,因為assert只在DEBUG中生效,如果這么做,會使用程序在真正運行時遇到問題

錯誤: assert(i++ < 100)

這是因為如果出錯，比如在執(zhí)行之前i=100,那么這條語句就不會執(zhí)行，那么i++這條命令就沒有執(zhí)行。

正確:

assert(i < 100)
i++;

4)assert和后面的語句應空一行,以形成邏輯和視覺上的一致感

總結(jié)

到此這篇關(guān)于c語言中assert斷言用法的文章就介紹到這了,更多相關(guān)c語言assert斷言詳解內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評論