錯(cuò)誤一詞,在軟件開發(fā)中,概念已經(jīng)非常泛濫,本文中暫時(shí)指,軟件中的一切非正常現(xiàn)象和事件。
低層事件:指硬件相關(guān)的錯(cuò)誤,比如,除零、浮點(diǎn)錯(cuò)誤、內(nèi)存違例、中斷指令。按照C++的觀點(diǎn),它們不屬于C++異常的范疇,應(yīng)由底層錯(cuò)誤處理機(jī)制(檢查防范或SEH異常)來防范或者包裝成C++異常(筆者注:應(yīng)該是從處理效率的角度考慮的)。具體來說,除零和浮點(diǎn)錯(cuò)誤,應(yīng)以防范為主,為了效率也可以用SEH保護(hù)代碼段;中斷指令屬于用戶特殊行為,由用戶自行處理;內(nèi)存違例,應(yīng)該是絕對(duì)禁止的,以防范為主,一旦出現(xiàn),即應(yīng)該以未捕獲的SEH異常的形式,拋給調(diào)試報(bào)錯(cuò)工具處理,必要時(shí)由其進(jìn)行錯(cuò)誤現(xiàn)場(chǎng)轉(zhuǎn)儲(chǔ)(筆者注:由于Win32各個(gè)平臺(tái)下,默認(rèn)調(diào)試報(bào)錯(cuò)工具常不一致、還受安裝的調(diào)試軟件影響,所以實(shí)踐中,推薦用自定義的未捕獲SEH異常處理函數(shù)替換系統(tǒng)標(biāo)準(zhǔn)處理過程,更可靠實(shí)現(xiàn)錯(cuò)誤現(xiàn)場(chǎng)轉(zhuǎn)儲(chǔ))。
C運(yùn)行庫事件:指abort調(diào)用、運(yùn)行時(shí)安全檢查(堆棧溢出)、_invalid_parameter錯(cuò)誤。同樣它們不屬于C++異常的范疇,一旦出現(xiàn),也立即終止程序。VC2005 C運(yùn)行庫將其直接拋給系統(tǒng)級(jí)的未捕獲SEH異常處理函數(shù)來處理。(筆者注:可用_set_abort_behavior(0, _WRITE_ABORT_MSG | _CALL_REPORTFAULT), signal(SIGABRT, ...), _set_invalid_parameter_handler,來截獲處理。而堆棧溢出,則需要截獲UnhandledExceptionFilter來實(shí)現(xiàn))。
標(biāo)準(zhǔn)C++庫事件:new、terminate、unexpected調(diào)用。這些事件默認(rèn)以SEH未捕獲異常的方式處理。
SEH異常:SEH異常包括了上述的底層事件。SEH異常機(jī)制不釋放局部對(duì)象,因此只推薦用于對(duì)底層異常機(jī)制的包裝。
C++異常:按照C++異常被看成了一種錯(cuò)誤處理機(jī)制,因此,它并不把底層事件看作異常,而只把throw視為異常,即C++異常機(jī)制只直接捕獲軟件異常,硬件異常需要間接捕獲。理解這一點(diǎn),將有助于我們真正理解C++異常是一種軟件手段,而不是保護(hù)程序的萬能靈藥。C++異常會(huì)自動(dòng)釋放局部對(duì)象,這使得C++異常真正具有了資源安全性,當(dāng)然前提是,使用局部對(duì)象自動(dòng)釋放的機(jī)制來保護(hù)資源分配。C++異常是應(yīng)用層開發(fā)中錯(cuò)誤處理的重要工具,這一點(diǎn)顯然還未得到足夠的重視,當(dāng)然這是由于設(shè)計(jì)、使用C++異常都需要全新的思維觀和設(shè)計(jì)技巧。
附:同步異常與異步異常
1) VC的C++ Exception 采用兩種模式捕獲異常:同步模式和異步模式。VC的工程的調(diào)試版本缺省使用異步模式,工程的發(fā)布版本缺省使用同步模式。在同步模式下,VC的編譯器假定代碼中只有在顯示使用throw和調(diào)用函數(shù)的時(shí)候才會(huì)引發(fā)異常,因此,在同步模式下,VC編譯出的代碼比較小,但在這種模式下,try-catch對(duì)不能捕獲內(nèi)存訪問異常與算術(shù)除零異常等。在異步模式下,VC的編譯器為try塊內(nèi)的每一條語句生成異常捕獲代碼,在這種情況下,他能夠捕獲全部的異常,還能保證棧上對(duì)象在解棧中正確釋放。為了要在發(fā)行版本中也能夠捕獲全部異常就需要打開異步模式,但代價(jià)是程序編譯出代碼變大,運(yùn)行速度變慢。
2)編譯選項(xiàng):
同步模式的編譯選項(xiàng)為/EHs或者/GX(等同于/EHsc)
異步模式的編譯選項(xiàng)為/EHa