大部分的關(guān)于C的著作都提到ANSI C Standard，但我相信少有C程序員真正細(xì)致閱讀過(guò)ANSI C標(biāo)準(zhǔn)，C標(biāo)準(zhǔn)規(guī)定了一些原則，充分給了編譯器程序員權(quán)力，根據(jù)具體平臺(tái)的特性去決定一些規(guī)則。C標(biāo)準(zhǔn)的Rationale之一：優(yōu)先考慮效率，而可移植性尚在其次。
Implementation-defined、Unspecified和Undefined
在C標(biāo)準(zhǔn)中沒(méi)有做明確規(guī)定的地方會(huì)用Implementation-defined、Unspecified或Undefined來(lái)表述，在本書(shū)中有時(shí)把這三種情況統(tǒng)稱(chēng)為“未明確定義”的。這三種情況到底有什么不同呢？
我們剛才看到一種Implementation-defined的情況，C標(biāo)準(zhǔn)沒(méi)有明確規(guī)定char是有符號(hào)的還是無(wú)符號(hào)的，但是要求編譯器必須對(duì)此做出明確規(guī)定，并寫(xiě)在編譯器的文檔中。
對(duì)于Unspecified的情況，往往有幾種可選的處理方式，C標(biāo)準(zhǔn)沒(méi)有明確規(guī)定按哪種方式處理，編譯器可以自己決定，并且也不必寫(xiě)在編譯器的文檔中， 這樣即便用同一個(gè)編譯器的不同版本來(lái)編譯也可能得到不同的結(jié)果，因?yàn)榫幾g器沒(méi)有在文檔中明確寫(xiě)它會(huì)怎么處理，那么不同版本的編譯器就可以選擇不同的處理方 式，比如下一章我們會(huì)講到一個(gè)函數(shù)調(diào)用的各個(gè)實(shí)參表達(dá)式按什么順序求值是Unspecified的。
Undefined的情況則是完全不確定的，C標(biāo)準(zhǔn)沒(méi)規(guī)定怎么處理，編譯器很可能也沒(méi)規(guī)定，甚至也沒(méi)做出錯(cuò)處理，有很多Undefined的情況編譯器是檢查不出來(lái)的，最終會(huì)導(dǎo)致運(yùn)行時(shí)錯(cuò)誤，比如數(shù)組訪(fǎng)問(wèn)越界就是Undefined的。
初學(xué)者看到這些規(guī)則通常會(huì)很不舒服，覺(jué)得這不是在學(xué)編程而是在啃法律條文，結(jié)果越學(xué)越泄氣。是的，C語(yǔ)言并不像一個(gè)數(shù)學(xué)定理那么完美，現(xiàn)實(shí)世界里的東西總是 不夠完美的。但還好啦，C程序員已經(jīng)很幸福了，只要嚴(yán)格遵照C標(biāo)準(zhǔn)來(lái)寫(xiě)代碼，不要去觸碰那些陰暗角落，寫(xiě)出來(lái)的代碼就有很好的可移植性。想想那些可憐的 JavaScript程序員吧，他們甚至連一個(gè)可以遵照的標(biāo)準(zhǔn)都沒(méi)有，一個(gè)瀏覽器一個(gè)樣，甚至同一個(gè)瀏覽器的不同版本也差別很大，程序員不得不為每一種瀏 覽器的每一個(gè)版本分別寫(xiě)不同的代碼。