C語(yǔ)言語(yǔ)義陷阱超詳細(xì)梳理總結(jié)

第C語(yǔ)言語(yǔ)義陷阱超詳細(xì)梳理總結(jié)malloc有可能無(wú)法提供請(qǐng)求的內(nèi)存，這種情況下malloc函數(shù)會(huì)通過(guò)返回一個(gè)空指針來(lái)作為“內(nèi)存分配失敗”事件的信號(hào)。

給r分配的內(nèi)存在使用完畢后應(yīng)該及時(shí)釋放。

前面的例程在調(diào)用malloc函數(shù)時(shí)并未分配足夠的內(nèi)存，因?yàn)樽址€包含結(jié)束標(biāo)志'\0'。

3作為參數(shù)的數(shù)組聲明

1.下面列舉的兩種寫法是等價(jià)的：

charhello[]="hello";

printf("%s\n",hello);//寫法1

printf("%s\n",hello);//寫法2

原因：數(shù)組名hello代表數(shù)組hello首元素的地址。

2.下面的兩種寫法是等價(jià)的：

intstrlen(chars[])

/*具體內(nèi)容*/

intstrlen(char*s)

/*具體內(nèi)容*/

}

注意下面的兩種寫法：

externchar*hello;

externcharhello[];

這兩種寫法雖然是都是正確的，但是不同的形式傳遞給我們的意思卻是完全不一致的，我們要根據(jù)具體情況進(jìn)行使用。

4空指針并非空字符串

注意：空指針不能對(duì)其進(jìn)行解引用。

同時(shí)注意不能出現(xiàn)下述寫法：

if(strcmp(p,(char*)0)==0)

···

這種寫法是非法的，原因在于庫(kù)函數(shù)strcmp的實(shí)現(xiàn)中會(huì)包括一個(gè)操作，用于查看它的指針參數(shù)所指向的內(nèi)容，即對(duì)空指針進(jìn)行了解引用。

也不能出現(xiàn)下述寫法：

假設(shè)p是空指針

printf(p);

printf("%s",p);

//當(dāng)然，這兩種寫法是等價(jià)的

這種行為是未定義的。

5邊界計(jì)算與不對(duì)稱邊界

在我們寫循環(huán)是最好這樣來(lái)寫：

inti=0;

for(i=0;ii++)

···

這樣寫能夠更好的看出循環(huán)的次數(shù)，即10次。

當(dāng)數(shù)組中有10個(gè)元素時(shí)，下標(biāo)的取值范圍為0到9，但是當(dāng)我們不需要引用這個(gè)元素時(shí)只需要引用這個(gè)元素的地址時(shí)，我們可以這樣寫

intarr[10]={1,2,3,4,5,6,7,8,9,10};

for(inti=0;arr[i](arr[10]);i++)

···

這樣可以順利打印出數(shù)組元素從1到10的數(shù)字，

ANSIC標(biāo)準(zhǔn)明確允許這種用法：數(shù)組中實(shí)際不存在的"溢界"元素的地址位于數(shù)組之外所占內(nèi)存之后，這個(gè)地址可以用于進(jìn)行賦值和比較。當(dāng)然，如果要引用該元素，那就是非法的了。對(duì)于實(shí)際去讀取這個(gè)元素的值，這種做法的結(jié)果是未定義的，而且極少有編譯器能偶檢測(cè)出這個(gè)錯(cuò)誤。當(dāng)然，如果試圖去修改這個(gè)元素，必然會(huì)導(dǎo)致程序崩潰，屬于非法訪問(wèn)了！

6求值順序

C語(yǔ)言中只有四個(gè)運(yùn)算符(、||、:和，)存在規(guī)定的求值順序。==運(yùn)算符和運(yùn)算符||首先對(duì)左側(cè)操作數(shù)求值，只有在需要時(shí)才對(duì)右側(cè)操作數(shù)求值。==運(yùn)算符:有三個(gè)操作數(shù)：在ab:c中。操作數(shù)a首先被求值，根據(jù)a的值再求操作數(shù)b或c的值（此時(shí)b或c兩個(gè)表達(dá)式根據(jù)前面a表達(dá)式的結(jié)果只會(huì)執(zhí)行一個(gè)）。逗號(hào)運(yùn)算符則首先對(duì)左側(cè)操作數(shù)求值，然后"丟棄該值"，再對(duì)右側(cè)操作數(shù)求值。

注意：分割函數(shù)的參數(shù)并非逗號(hào)運(yùn)算符。例如，x和y在函數(shù)f(x,y)中的求值順序是未定義的，而在函數(shù)g((x,y))中卻是確定的先x后y的循序。在后一個(gè)例子中，函數(shù)g只有一個(gè)參數(shù)。這個(gè)參數(shù)的值是這樣求得的：先對(duì)x求值，然后“丟棄”x的值，接著求y的值。

這種求值順序的存在使得某些“錯(cuò)誤”的程序變?yōu)榱苏_，且在執(zhí)行后得出正確的結(jié)果：

if(count!=0sum/countsmallaverage)

···

注意：C語(yǔ)言中其它所有的運(yùn)算符對(duì)其操作數(shù)求值的順序是未定義的。特別是，賦值運(yùn)算符并不保證任何求值循序。

例如：下面的這中從數(shù)組x中復(fù)制前n個(gè)元素到數(shù)組y中的做法是不正確的，因?yàn)樗鼘?duì)求值順序做了太多的假設(shè)：

i=0;

while(in)

y[i]=x[i++];

上面的代碼假設(shè)y[i]的地址將在i的自增操作指向之前被求值，但這是不一定的，這依賴于編譯器的具體實(shí)現(xiàn)。同樣，下面的這種寫法也是不正確的：

i=0;

while(in)

y[i++]=x[i];

修改成下面這種寫法即可正常工作：

i=0;

while(in)

y[i]=x[i];

i++;

}

當(dāng)然，這種寫法也可以簡(jiǎn)寫為：

for(i=0;ii++)

y[i]=x[i];

7整數(shù)溢出

無(wú)符號(hào)整數(shù)不會(huì)發(fā)生溢出，這是C語(yǔ)言所規(guī)定的，如果結(jié)果大于所能表示的最大值M，則模(M+1)，也就是發(fā)生了截?cái)喱F(xiàn)象。

兩個(gè)有符號(hào)整數(shù)進(jìn)行相加時(shí)會(huì)發(fā)生溢出，而且溢出的結(jié)果是未定義的。

下面是一種錯(cuò)誤的檢查方式：

if(a+b0)

complain();

因?yàn)楫?dāng)a+b卻是發(fā)生溢出時(shí)，所有關(guān)于結(jié)果如何假設(shè)都不再可靠。

下面是兩種正確的方式：

//方法一：

if((unsigned)a+(unsigned)INT_MAX)

complain();

//方法二：

if(aINT_MAX-b)

complain()