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