初學(xué)者對于C語言中的誤區(qū)
1. 不能清晰理解“==”運(yùn)算以及優(yōu)先級和結(jié)核性的含義
在判斷i,j,k三個(gè)變量是否相等時(shí)往往會(huì)輕率地寫出“i == j == k ”這樣的表達(dá)式并誤以為三個(gè)變量的值相等時(shí),這個(gè)表達(dá)式的值為1。然而,這個(gè)是錯(cuò)誤的。
在表達(dá)式“i== j == k ”中,這兩個(gè)==符號的優(yōu)先級是相同的,這樣,我們要觀察表達(dá)式的含義,需要借助結(jié)核性來判斷了。“==”符號的結(jié)合性是從左到右,所以我們看到的表達(dá)式“i== j == k ”實(shí)際等價(jià)于“(i == j)== k”。我們分析這個(gè)表達(dá)式,其實(shí)這個(gè)式子的含義是判斷(i == j)這個(gè)式子的值與k的值是否相等。
當(dāng)k的值是1,而i和j的值是相等并且都為1的時(shí)候,我們就會(huì)得到一個(gè)假象,以為這個(gè)表達(dá)式是正確的。其實(shí)這個(gè)結(jié)果并不準(zhǔn)確。只要k的值為1,i和j的值只要相同,這個(gè)表達(dá)式的值就為1 。而對于i,j,k都為2的時(shí)候,我們反而會(huì)得到表達(dá)式不成立的結(jié)果。從這幾個(gè)例子,我們能看出表達(dá)式所表達(dá)的真實(shí)含義。
2. 對于自然語言和程序語言的理解不一致。
看下面這個(gè)例子:
“當(dāng)一個(gè)整數(shù)不等于5或者不等于6時(shí)……..”
這句話我們按照正常的思維理解,是沒有問題的,但是我們把這句話轉(zhuǎn)換為程序語言,就會(huì)出現(xiàn)問題了。不信?那你試一試。
你是不是會(huì)這樣寫“if(i != 5 || i != 6)”?若是這樣寫,你就錯(cuò)了!
錯(cuò)誤在于“i != 5 || i != 6 ”這個(gè)表達(dá)式的值是恒為1的。因?yàn)閕的值不可能等于5的同時(shí)也等于6。所以,這個(gè)表達(dá)式為假是不可能的。
實(shí)際上,用準(zhǔn)確的語言來描述這個(gè)問題是:當(dāng)這個(gè)整數(shù)不等于5且不等于6時(shí),程序輸出1,否則輸出0。
3. 關(guān)于將自然語言翻譯成代碼,還有一個(gè)例子值得一說。如何將這句話翻譯為c代碼呢?
“字符c的值等于‘’、‘\n’或‘\t’
有的同學(xué)講其翻譯為“c == ‘‘ || ‘\n’ || ‘\t’”。然而,這兩種描述并不等價(jià),它們的思考方式是不同的。在自然語言中成立的語句,在C語言中并不一定成立。
C語言是一種人與機(jī)器交流的語言,在某種程度上,C語言更接近于數(shù)學(xué)語言。C語言中的每個(gè)變量都有值,C語言就是通過這些值來實(shí)現(xiàn)邏輯表達(dá)的。在上面的例子中,字符c的值是和’‘、’\n’或‘\t’三者之一是相等的,也就是說,c == ‘‘、c==’\n’、c == ‘\t’這三個(gè)表達(dá)式有且只有一個(gè)為1。因此,上述語句的C代碼可以寫成(c ==’‘ + c == ‘\n’ + c==’\t’) == 1。
而更為有效率的表達(dá)是這樣寫的:c == ‘‘ || c == ‘\n’ || c == ‘\t’。這種表達(dá)的優(yōu)點(diǎn)是,按照順序執(zhí)行這三個(gè)表達(dá)式的,若其中有一個(gè)為1,就不需要計(jì)算其余表達(dá)式,直接得到表達(dá)式的值。而(c ==’‘ + c == ‘\n’ + c==’\t’) == 1表達(dá)式需要計(jì)算出所有的式子的值,才能得到整個(gè)表達(dá)式的值。