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