建站
咨詢
售后
建站咨詢
新聞中心
assertion(斷言)在軟件開發(fā)中是一種常用的調(diào)試方式，assertion就是在程序中的一條語句，它對一個boolean表達(dá)式進(jìn)行檢查，一個正確程序必須保證這個boolean表達(dá)式的值為true；如果該值為false，說明程序已經(jīng)處于不正確的狀態(tài)下，系統(tǒng)將給出警告并且退出。
10年的興城網(wǎng)站建設(shè)經(jīng)驗，針對設(shè)計、前端、開發(fā)、售后、文案、推廣等六對一服務(wù)，響應(yīng)快，48小時及時工作處理。成都全網(wǎng)營銷的優(yōu)勢是能夠根據(jù)用戶設(shè)備顯示端的尺寸不同，自動調(diào)整興城建站的顯示方式，使網(wǎng)站能夠適用不同顯示終端，在瀏覽器中調(diào)整網(wǎng)站的寬度，無論在任何一種瀏覽器上瀏覽網(wǎng)站，都能展現(xiàn)優(yōu)雅布局與設(shè)計，從而大程度地提升瀏覽體驗。成都創(chuàng)新互聯(lián)從事“興城網(wǎng)站設(shè)計”,“興城網(wǎng)站推廣”以來，每個客戶項目都認(rèn)真落實執(zhí)行。
我一直以為 assert 僅僅是個報錯函數(shù)，事實上，它居然是個宏，并且作用并非”報錯”。
在經(jīng)過對其進(jìn)行一定了解之后，對其作用及用法有了一定的了解，assert() 的用法像是一種”契約式編程”，在我的理解中，其表達(dá)的意思就是，程序在我的假設(shè)條件下，能夠正常良好的運(yùn)作，其實就相當(dāng)于一個 if 語句：
if(假設(shè)成立)
{
程序正常運(yùn)行；
}
else
{
報錯&&終止程序?。ū苊庥沙绦蜻\(yùn)行引起更大的錯誤）
}
但是這樣寫的話，就會有無數(shù)個 if 語句，甚至?xí)霈F(xiàn)，一個 if 語句的括號從文件頭到文件尾，并且大多數(shù)情況下，我們要進(jìn)行驗證的假設(shè)，只是屬于偶然性事件，又或者我們僅僅想測試一下，一些最壞情況是否發(fā)生，所以這里有了 assert()。
assert 宏的原型定義在 assert.h 中，其作用是如果它的條件返回錯誤，則終止程序執(zhí)行。
#include "assert.h"
void assert( int expression );
assert 的作用是現(xiàn)計算表達(dá)式 expression ，如果其值為假（即為0），那么它先向 stderr 打印一條出錯信息,然后通過調(diào)用 abort 來終止程序運(yùn)行。
使用 assert 的缺點是，頻繁的調(diào)用會極大的影響程序的性能，增加額外的開銷。
在調(diào)試結(jié)束后，可以通過在包含 #include 的語句之前插入 #define NDEBUG 來禁用 assert 調(diào)用，示例代碼如下：
#include
#define NDEBUG
#include
用法總結(jié)與注意事項
1)在函數(shù)開始處檢驗傳入?yún)?shù)的合法性
如:
int resetBufferSize(int nNewSize)
{
//功能:改變緩沖區(qū)大小,
//參數(shù):nNewSize 緩沖區(qū)新長度
//返回值:緩沖區(qū)當(dāng)前長度
//說明:保持原信息內(nèi)容不變 nNewSize= 0);
assert(nNewSize 2)每個assert只檢驗一個條件,因為同時檢驗多個條件時,如果斷言失敗,無法直觀的判斷是哪個條件失敗
不好:
assert(nOffset>=0 && nOffset+nSize好:
assert(nOffset >= 0);
assert(nOffset+nSize 3)不能使用改變環(huán)境的語句,因為assert只在DEBUG個生效,如果這么做,會使用程序在真正運(yùn)行時遇到問題
錯誤: assert(i++ 命令就沒有執(zhí)行。 正確:
assert(i 4)assert和后面的語句應(yīng)空一行,以形成邏輯和視覺上的一致感
5)有的地方,assert不能代替條件過濾
程序一般分為Debug 版本和Release 版本，Debug 版本用于內(nèi)部調(diào)試，Release 版本發(fā)行給用戶使用。斷言assert 是僅在Debug 版本起作用的宏，它用于檢查”不應(yīng)該”發(fā)生的情況。以下是一個內(nèi)存復(fù)制程序，在運(yùn)行過程中，如果assert 的參數(shù)為假，那么程序就會中止（一般地還會出現(xiàn)提示對話，說明在什么地方引發(fā)了assert）。
以下是使用斷言的幾個原則：
ASSERT ()是一個調(diào)試程序時經(jīng)常使用的宏，在程序運(yùn)行時它計算括號內(nèi)的表達(dá)式，如果表達(dá)式為FALSE (0), 程序?qū)蟾驽e誤，并終止執(zhí)行。如果表達(dá)式不為0，則繼續(xù)執(zhí)行后面的語句。這個宏通常原來判斷程序中是否出現(xiàn)了明顯非法的數(shù)據(jù)，如果出現(xiàn)了終止程序以免導(dǎo)致嚴(yán)重后果，同時也便于查找錯誤。
ASSERT 只有在 Debug 版本中才有效，如果編譯為 Release 版本則被忽略。
名稱欄目：講解一下assertion(斷言)的使用方法以及注意事項
文章分享：http://www.dlmjj.cn/article/djcsicp.html
