if是說(shuō)，這個(gè)case和else的case都有可能，而且都我能處理的
目前創(chuàng)新互聯(lián)已為上1000家的企業(yè)提供了網(wǎng)站建設(shè)、域名、虛擬主機(jī)、網(wǎng)站托管、企業(yè)網(wǎng)站設(shè)計(jì)、保德網(wǎng)站維護(hù)等服務(wù)，公司將堅(jiān)持客戶(hù)導(dǎo)向、應(yīng)用為本的策略，正道將秉承"和諧、參與、激情"的文化，與客戶(hù)和合作伙伴齊心協(xié)力一起成長(zhǎng)，共同發(fā)展。
assert是說(shuō)，這是個(gè)我不能處理的情況；換句話(huà)說(shuō)，要想用我這個(gè)函數(shù)，必須的保證assert的東西為真，不然我不能處理
技巧1：記住ASSERT的定義
對(duì)許多開(kāi)發(fā)人員來(lái)說(shuō)，斷言是一個(gè)令人困惑的話(huà)題，因?yàn)樗鼈兊脑S多使用方式與其設(shè)計(jì)初衷背道而馳。我見(jiàn)到的最清晰的斷言定義是這樣的：
“斷言是在程序某個(gè)特定點(diǎn)的一個(gè)布爾表達(dá)式，除非程序中有缺陷(Bug)，否則它的值將為真?！?/p>
想要理解上述斷言定義的開(kāi)發(fā)人員應(yīng)該留意下面三個(gè)要點(diǎn)：
·斷言會(huì)評(píng)估一個(gè)表達(dá)式是真還是假
·斷言是在代碼中的某個(gè)點(diǎn)對(duì)系統(tǒng)狀態(tài)的一種假設(shè)
·斷言會(huì)驗(yàn)證系統(tǒng)假設(shè)，如果不為真，就表明代碼中有一個(gè)缺陷
技巧2：使用ASSERT驗(yàn)證函數(shù)的先決條件
斷言非常適合契約式設(shè)計(jì)環(huán)境，在這種環(huán)境中，開(kāi)發(fā)人員非常清晰地定義了某個(gè)函數(shù)的先決條件。斷言可以用來(lái)檢查該函數(shù)的輸入是否滿(mǎn)足先決條件。就拿圖1所示的代碼片段為例：
圖1：函數(shù)的先決條件
函數(shù)的STate輸入應(yīng)該在定義的系統(tǒng)狀態(tài)范圍內(nèi)。如果State不是有效的狀態(tài)值，那么它就不是錯(cuò)誤，而是缺陷！斷言可以用來(lái)驗(yàn)證State是有效的假設(shè)，如圖2所示：
圖2：對(duì)函數(shù)先決條件應(yīng)用斷言
在State不小于最大值的事件中，斷言表達(dá)式將被評(píng)估為假，程序于是將停止執(zhí)行。停止程序執(zhí)行可以讓開(kāi)發(fā)人員很容易馬上看到哪里的代碼出錯(cuò)，而不是過(guò)段時(shí)間以后才知道。
技巧3：使用ASSERT驗(yàn)證函數(shù)的后置條件
斷言也能用來(lái)驗(yàn)證契約式設(shè)計(jì)環(huán)境中對(duì)某個(gè)函數(shù)輸出的假設(shè)。例如，如果前面定義的System_StateSet函數(shù)返回SystemState變量，開(kāi)發(fā)人員可以預(yù)計(jì)它也在期望的范圍之內(nèi)。斷言可以用來(lái)對(duì)缺陷進(jìn)行監(jiān)視，如圖3所示。
圖3：對(duì)函數(shù)后置條件應(yīng)用斷言
開(kāi)發(fā)人員在查看上述代碼后可能會(huì)感到這些檢查毫無(wú)意義。剛剛才設(shè)置好的SystemState怎么就會(huì)出現(xiàn)大于SYSTEM_STATE_MAX的值呢？答案是這確實(shí)不應(yīng)該出現(xiàn)，然而有時(shí)候會(huì)莫名其妙地發(fā)生改變，也許是通過(guò)中斷或并行線(xiàn)程，此時(shí)斷言可以立即標(biāo)志出這個(gè)缺陷。
技巧4：不要把ASSERT用于錯(cuò)誤處理
在記住斷言定義之后，開(kāi)發(fā)人員應(yīng)該切記：斷言是用于檢測(cè)缺陷的，不能用于錯(cuò)誤處理。錯(cuò)誤處理是設(shè)計(jì)用于響應(yīng)錯(cuò)誤的用戶(hù)輸入和意外的事件順序的軟件。錯(cuò)誤在系統(tǒng)中預(yù)料是會(huì)發(fā)生的，但僅僅是因?yàn)橛袩o(wú)效的輸入而并不意味著代碼中有缺陷。錯(cuò)誤處理應(yīng)該與缺陷尋找分開(kāi)來(lái)。錯(cuò)誤使用斷言的一個(gè)典型例子是，在試圖打開(kāi)一個(gè)文件用于讀取時(shí)去檢查文件的指針，如圖4所示。
圖4：ASSERT的不當(dāng)使用
讀者可以清楚地看到，試圖打開(kāi)文件的結(jié)果與文件系統(tǒng)的狀態(tài)和用戶(hù)數(shù)據(jù)有關(guān)，而與代碼中的缺陷一點(diǎn)關(guān)系也沒(méi)有。開(kāi)發(fā)人員應(yīng)該編寫(xiě)錯(cuò)誤處理程序，而不是用斷言，以便在文件不存在時(shí)，錯(cuò)誤處理程序可以用一些默認(rèn)可用數(shù)據(jù)來(lái)創(chuàng)建它，以便后續(xù)代碼繼續(xù)操作。
技巧5：ASSERT僅對(duì)開(kāi)發(fā)有意義，不能用于生產(chǎn)
開(kāi)發(fā)ASSERT宏的原始意圖是在開(kāi)發(fā)過(guò)程中啟用它，在后面生產(chǎn)時(shí)要禁用?？梢杂肗DEBUG宏激活和禁用ASSERT。正確實(shí)施的斷言在被禁用后應(yīng)該對(duì)嵌入式系統(tǒng)基本沒(méi)有影響。
問(wèn)題是，如果測(cè)試是在斷言啟用的情況下進(jìn)行的(為了捕捉任何缺陷，應(yīng)該這樣做)，那么現(xiàn)在禁用斷言將導(dǎo)致交付的產(chǎn)品與測(cè)試的產(chǎn)品處于不同的狀態(tài)。斷言確實(shí)會(huì)占用一些代碼空間，但更重要的是，它們需要占用少量的時(shí)鐘周期來(lái)評(píng)估它們的布爾表達(dá)式。禁用ASSERT可能對(duì)具有有限資源的裸機(jī)系統(tǒng)的執(zhí)行時(shí)序產(chǎn)生很大影響，從而導(dǎo)致在生產(chǎn)系統(tǒng)中產(chǎn)生新的缺陷。開(kāi)發(fā)團(tuán)隊(duì)需要判斷是否值得冒關(guān)閉斷言的.風(fēng)險(xiǎn)。
一種替代方案是保留斷言在激活狀態(tài)，而將它們的輸出重定向到一個(gè)系統(tǒng)日志。這樣可以確保任何揮之不去的缺陷很容易被識(shí)別，而且能避免中止系統(tǒng)的運(yùn)行，而中止系統(tǒng)可不是明智之舉。
技巧6：不允許斷言有副作用
ASSERT的默認(rèn)實(shí)現(xiàn)允許開(kāi)發(fā)人員包含一段可執(zhí)行代碼作為布爾表達(dá)式的一部分。舉例來(lái)說(shuō)，一個(gè)狀態(tài)變量可以被實(shí)現(xiàn)為表達(dá)式的一部分并傳遞給ASSERT。但如果傳遞給ASSERT的表達(dá)式有副作用，也就是說(shuō)，它會(huì)改變嵌入式系統(tǒng)的狀態(tài)，那么禁用斷言將改變系統(tǒng)的行為。開(kāi)發(fā)人員應(yīng)該確保他們的表達(dá)式?jīng)]有副作用，否則他們需要冒險(xiǎn)在系統(tǒng)中增加只針對(duì)產(chǎn)品代碼喚醒的休眠時(shí)間缺陷。
技巧7：斷言應(yīng)該占代碼的1%至3%
每個(gè)開(kāi)發(fā)人員對(duì)于代碼庫(kù)(Code Base)中應(yīng)該有多少個(gè)斷言都有自己的主見(jiàn)。大家一致同意的一個(gè)數(shù)字是，代碼庫(kù)中的斷言占比應(yīng)該大于0。斷言為開(kāi)發(fā)人員提供了一種在代碼庫(kù)中發(fā)生缺陷的時(shí)刻發(fā)現(xiàn)它的好方法。調(diào)試是在開(kāi)發(fā)嵌入式系統(tǒng)中最浪費(fèi)時(shí)間并令人沮喪的事情之一。不管開(kāi)發(fā)人員認(rèn)可的占比是1%、3%還是5%，使用斷言肯定對(duì)你有利，并會(huì)使開(kāi)發(fā)嵌入式軟件變得多少有些趣味。
技巧8：將斷言用作可執(zhí)行代碼注釋
斷言可以生成極好的注釋?zhuān)【帉?xiě)出色的表達(dá)式可以確切地告訴開(kāi)發(fā)人員在代碼的某個(gè)給定點(diǎn)應(yīng)該預(yù)料發(fā)生什么事情。開(kāi)發(fā)人員應(yīng)該做好他們斷言的架構(gòu)，幫助人們更清楚地理解系統(tǒng)中發(fā)生的事情，進(jìn)而幫助減少缺陷。
小結(jié)
斷言是一種出色的工具，但有太多的嵌入式軟件開(kāi)發(fā)人員忽視了這一工具。本文討論的八個(gè)技巧只是如何正確使用斷言的冰山一角。接下來(lái)讀者就可以在測(cè)試平臺(tái)中建立和開(kāi)始使用斷言，并研究它們?cè)趯?shí)際的嵌入式系統(tǒng)中是如何工作的。
是程序調(diào)試很重要的手段，
ASSERT(
f
)
在Debug模式下，每次運(yùn)行到這里后會(huì)計(jì)算括號(hào)中的表達(dá)式，如果表達(dá)式為0，則中斷執(zhí)行，彈出一個(gè)警告框，用戶(hù)可選擇“繼續(xù)”，“重試”，“忽略”
在Release模式下，這句語(yǔ)句不會(huì)被編譯進(jìn)代碼。
ASSERT一般用于程序內(nèi)部確認(rèn)參數(shù)的正確性，即調(diào)用內(nèi)部函數(shù)的時(shí)候，要由調(diào)用者保證參數(shù)的正確，而被調(diào)用函數(shù)內(nèi)部，就可以通過(guò)ASSERT來(lái)檢查參數(shù)是否滿(mǎn)足要求。
函數(shù)名: abort
功 能: 異常終止一個(gè)進(jìn)程
用 法: void abort(void);
程序例:
#include stdio.h
#include stdlib.h
int main(void)
{
printf("Calling abort()\n");
abort();
return 0; /* This is never reached */
}
函數(shù)名: abs
功 能: 求整數(shù)的絕對(duì)值
用 法: int abs(int i);
程序例:
#include stdio.h
#include math.h
int main(void)
{
int number = -1234;
printf("number: %d absolute value: %d\n", number, abs(number));
return 0;
}
函數(shù)名: absread, abswirte
功 能: 絕對(duì)磁盤(pán)扇區(qū)讀、寫(xiě)數(shù)據(jù)
用 法: int absread(int drive, int nsects, int sectno, void *buffer);
int abswrite(int drive, int nsects, in tsectno, void *buffer);
程序例:
/* absread example */
#include stdio.h
#include conio.h
#include process.h
#include dos.h
int main(void)
{
int i, strt, ch_out, sector;
char buf[512];
printf("Insert a diskette into drive A and press any key\n");
getch();
sector = 0;
if (absread(0, 1, sector, buf) != 0)
{
perror("Disk problem");
exit(1);
}
printf("Read OK\n");
strt = 3;
for (i=0; i80; i++)
{
ch_out = buf[strt+i];
putchar(ch_out);
}
printf("\n");
return(0);
}
函數(shù)名: access
功 能: 確定文件的訪(fǎng)問(wèn)權(quán)限
用 法: int access(const char *filename, int amode);
程序例:
#include stdio.h
#include io.h
int file_exists(char *filename);
int main(void)
{
printf("Does NOTEXIST.FIL exist: %s\n",
file_exists("NOTEXISTS.FIL") ? "YES" : "NO");
return 0;
}
int file_exists(char *filename)
{
return (access(filename, 0) == 0);
}
函數(shù)名: acos
功 能: 反余弦函數(shù)
用 法: double acos(double x);
程序例:
#include stdio.h
#include math.h
int main(void)
{
double result;
double x = 0.5;
result = acos(x);
printf("The arc cosine of %lf is %lf\n", x, result);
return 0;
}
函數(shù)名: allocmem
功 能: 分配DOS存儲(chǔ)段
用 法: int allocmem(unsigned size, unsigned *seg);
程序例:
#include dos.h
#include alloc.h
#include stdio.h
int main(void)
{
unsigned int size, segp;
int stat;
size = 64; /* (64 x 16) = 1024 bytes */
stat = allocmem(size, segp);
if (stat == -1)
printf("Allocated memory at segment: %x\n", segp);
else
printf("Failed: maximum number of paragraphs available is %u\n",
stat);
return 0;
}
函數(shù)名: arc
功 能: 畫(huà)一弧線(xiàn)
用 法: void far arc(int x, int y, int stangle, int endangle, int radius);
程序例:
#include graphics.h
#include stdlib.h
#include stdio.h
#include conio.h
int main(void)
{
/* request auto detection */
int gdriver = DETECT, gmode, errorcode;
int midx, midy;
int stangle = 45, endangle = 135;
int radius = 100;
/* initialize graphics and local variables */
initgraph(gdriver, gmode, "");
/* read result of initialization */
errorcode = graphresult(); /* an error occurred */
if (errorcode != grOk)
{
printf("Graphics error: %s\n", grapherrormsg(errorcode));
printf("Press any key to halt:");
getch();
exit(1); /* terminate with an error code */
}
midx = getmaxx() / 2;
midy = getmaxy() / 2;
setcolor(getmaxcolor());
/* draw arc */
arc(midx, midy, stangle, endangle, radius);
/* clean up */
getch();
closegraph();
return 0;
}
函數(shù)名: asctime
功 能: 轉(zhuǎn)換日期和時(shí)間為ASCII碼
用 法: char *asctime(const struct tm *tblock);
程序例:
#include stdio.h
#include string.h
#include time.h
int main(void)
{
struct tm t;
char str[80];
/* sample loading of tm structure */
t.tm_sec = 1; /* Seconds */
t.tm_min = 30; /* Minutes */
t.tm_hour = 9; /* Hour */
t.tm_mday = 22; /* Day of the Month */
t.tm_mon = 11; /* Month */
t.tm_year = 56; /* Year - does not include century */
t.tm_wday = 4; /* Day of the week */
t.tm_yday = 0; /* Does not show in asctime */
t.tm_isdst = 0; /* Is Daylight SavTime; does not show in asctime */
/* converts structure to null terminated
string */
strcpy(str, asctime(t));
printf("%s\n", str);
return 0;
}
函數(shù)名: asin
功 能: 反正弦函數(shù)
用 法: double asin(double x);
程序例:
#include stdio.h
#include math.h
int main(void)
{
double result;
double x = 0.5;
result = asin(x);
printf("The arc sin of %lf is %lf\n", x, result);
return(0);
}
函數(shù)名: assert
功 能: 測(cè)試一個(gè)條件并可能使程序終止
用 法: void assert(int test);
程序例:
#include assert.h
#include stdio.h
#include stdlib.h
struct ITEM {
int key;
int value;
};
/* add item to list, make sure list is not null */
void additem(struct ITEM *itemptr) {
assert(itemptr != NULL);
/* add item to list */
}
int main(void)
{
additem(NULL);
return 0;
}
函數(shù)名: atan
功 能: 反正切函數(shù)
用 法: double atan(double x);
程序例:
#include stdio.h
#include math.h
int main(void)
{
double result;
double x = 0.5;
result = atan(x);
printf("The arc tangent of %lf is %lf\n", x, result);
return(0);
}
函數(shù)名: atan2
功 能: 計(jì)算Y/X的反正切值
用 法: double atan2(double y, double x);
程序例:
#include stdio.h
#include math.h
int main(void)
{
double result;
double x = 90.0, y = 45.0;
result = atan2(y, x);
printf("The arc tangent ratio of %lf is %lf\n", (y / x), result);
return 0;
}
函數(shù)名: atexit
功 能: 注冊(cè)終止函數(shù)
用 法: int atexit(atexit_t func);
程序例:
#include stdio.h
#include stdlib.h
void exit_fn1(void)
{
printf("Exit function #1 called\n");
}
void exit_fn2(void)
{
printf("Exit function #2 called\n");
}
int main(void)
{
/* post exit function #1 */
atexit(exit_fn1);
/* post exit function #2 */
atexit(exit_fn2);
return 0;
}
函數(shù)名: atof
功 能: 把字符串轉(zhuǎn)換成浮點(diǎn)數(shù)
用 法: double atof(const char *nptr);
程序例:
#include stdlib.h
#include stdio.h
int main(void)
{
float f;
char *str = "12345.67";
f = atof(str);
printf("string = %s float = %f\n", str, f);
return 0;
}
函數(shù)名: atoi
功 能: 把字符串轉(zhuǎn)換成長(zhǎng)整型數(shù)
用 法: int atoi(const char *nptr);
程序例:
#include stdlib.h
#include stdio.h
int main(void)
{
int n;
char *str = "12345.67";
n = atoi(str);
printf("string = %s integer = %d\n", str, n);
return 0;
}
函數(shù)名: atol
功 能: 把字符串轉(zhuǎn)換成長(zhǎng)整型數(shù)
用 法: long atol(const char *nptr);
程序例:
#include stdlib.h
#include stdio.h
int main(void)
{
long l;
char *str = "98765432";
l = atol(lstr);
printf("string = %s integer = %ld\n", str, l);
return(0);
}
assert在C語(yǔ)言中稱(chēng)為斷言，用來(lái)提示一些可能存在的錯(cuò)誤。
編寫(xiě)代碼時(shí)，做出一些假設(shè)，斷言就是用于在代碼中捕捉這些假設(shè)，可以將斷言看作是異常處理的一種高級(jí)形式。斷言表示為一些布爾表達(dá)式，程序員相信在程序中的某個(gè)特定點(diǎn)該表達(dá)式值為真?？梢栽谌魏螘r(shí)候啟用和禁用斷言驗(yàn)證，因此可以在測(cè)試時(shí)啟用斷言，而在部署時(shí)禁用斷言。同樣，程序投入運(yùn)行后，最終用戶(hù)在遇到問(wèn)題時(shí)可以重新起用斷言。
assert_param(IS_GPIO_MODE(GPIO_InitStruct-GPIO_Mode));
意思是：IS_GPIO_MODE(GPIO_InitStruct-GPIO_Mode)這個(gè)判斷條件必須為真，否則程序就會(huì)進(jìn)入死循環(huán)。
一般assert用來(lái)判斷必須為真的一些條件，防止程序出現(xiàn)意外錯(cuò)誤。
例如：
assert（汽車(chē)有4個(gè)輪子）//這個(gè)是必須成立的條件
開(kāi)汽車(chē)
重慶分公司
重慶分公司
