它很棒罢低,但他符合標(biāo)準(zhǔn)嗎择同?
不要添亂———立即解散ISO工作小組
ANSI C標(biāo)準(zhǔn)定義了一些術(shù)語來描述編譯器的特點(diǎn)拍霜,如果你對(duì)這些術(shù)語有一個(gè)比較好的了解有助于理解什么能被語言接受蹄殃,什么不能被語言接受彤恶。
不可移植的代碼(Unportable code)
由編譯器定義的(implementation-definded)——由編譯器設(shè)計(jì)者決定采取何種行動(dòng)诫硕。換句話說就是在不同的編譯器中所采取的
行為
可能并不相同顶猜,但他們都是正確的。eg: 當(dāng)整型數(shù)向右移位時(shí)痘括,要不要擴(kuò)展符號(hào)位长窄。
未確定的(unspecified)——在某些正確情況下的做法,標(biāo)準(zhǔn)并未明確規(guī)定應(yīng)該怎樣做纲菌。實(shí)質(zhì)上未確定的代碼由編譯器自己決定怎么做挠日,
eg:參數(shù)求值的順序
壞代碼(bad code)
未定義的(undefined)——在某些不正確情況下的做法,但標(biāo)準(zhǔn)并未規(guī)定應(yīng)該怎樣做翰舌。你可以采取任何行動(dòng)嚣潜,可以什么也不做,也可以發(fā)出一條警告信息椅贱,或者終止程序以及讓CPU陷入癱瘓懂算,甚至發(fā)射核彈(只要你安裝了能發(fā)射核彈的硬件系統(tǒng))。
eg:當(dāng)一個(gè)有符號(hào)整數(shù)溢出時(shí)應(yīng)采取什么行動(dòng)庇麦。
約束條件(a constraint)——這是一個(gè)必須遵守的限制或要求计技。如果你不遵守,那么你的程序的行為就會(huì)變成像上面所說的屬于未定義的山橄。這時(shí)會(huì)出現(xiàn)一種有意思的情況:分辨某東西是否是一個(gè)約束條件比較容易垮媒,因?yàn)闃?biāo)準(zhǔn)的每個(gè)主題都附有一個(gè)“約束(constraint)”小節(jié),列出了所有的約束條件航棱。但是標(biāo)準(zhǔn)規(guī)定編譯器只有在
違反語法規(guī)
則和約束條件
的情況下才能產(chǎn)生錯(cuò)誤信息
睡雇!這意味著所有不屬于約束條件也不屬于違反語法規(guī)則的語義規(guī)則你都可以不遵循,而且這種行為屬于未定義行為饮醇,編譯器可以采取任何行動(dòng)它抱,比如發(fā)射核彈。eg:%操作符的操作數(shù)必須是整型朴艰。所以在非整型數(shù)據(jù)上使用%操作符肯定會(huì)引發(fā)一條錯(cuò)誤信息观蓄。
eg:所有在C語言標(biāo)準(zhǔn)頭文件中聲明的標(biāo)識(shí)符均保留混移,所以不能聲明一個(gè)叫malloc()的函數(shù),因?yàn)闃?biāo)準(zhǔn)頭文件里已經(jīng)有一個(gè)函數(shù)以此命名蜘腌,但由于這個(gè)規(guī)定不是約束條件沫屡,因此可以違反它饵隙,而且編譯器也可以不警告你撮珠!
可移植的代碼(portable code)
嚴(yán)格遵循標(biāo)準(zhǔn)的(strictly-conforming)————嚴(yán)格遵循標(biāo)準(zhǔn)的程序應(yīng)該是:
- 只使用已確定的特性
- 不突破任何由編譯器實(shí)現(xiàn)的限制
- 不產(chǎn)生任何依賴由編譯器定義的或未確定的或未定義的特性的輸出。
這樣規(guī)定的最主要的目的就是保證可移植性金矛。
這樣芯急,不論你在什么平臺(tái)上運(yùn)行嚴(yán)格遵循標(biāo)準(zhǔn)的程序又會(huì)有相同的輸出。
遵循標(biāo)準(zhǔn)的(conforming)——一個(gè)遵循標(biāo)準(zhǔn)的程序可以依賴一些某種編譯器特有的不可移植的特性驶俊。
? ——————《C專家編程》