對(duì)于異常安全的評(píng)定,可分為三個(gè)級(jí)別:基本保證、強(qiáng)保證和不會(huì)失敗。
基本保證:確保出現(xiàn)異常時(shí)程序(對(duì)象)處于未知但有效的狀態(tài)。所謂有效,即對(duì)象的不變式檢查全部通過(guò)。
強(qiáng)保證:確保操作的事務(wù)性,要么成功,程序處于目標(biāo)狀態(tài),要么不發(fā)生改變。
不會(huì)失敗:對(duì)于大多數(shù)函數(shù)來(lái)說(shuō),這是很難保證的。對(duì)于C++程序,至少析構(gòu)函數(shù)、釋放函數(shù)和swap函數(shù)要確保不會(huì)失敗,這是編寫(xiě)異常安全代碼的基礎(chǔ)。
總結(jié)一下編寫(xiě)異常安全代碼的幾條準(zhǔn)則:
1.只在應(yīng)該使用異常的地方拋出異常
2.如果不知道如何處理異常,請(qǐng)不要捕獲(截留)異常。
3.充分使用RAII(smart ptr),旁路異常。
4.努力實(shí)現(xiàn)強(qiáng)保證,至少實(shí)現(xiàn)基本保證。
5.確保析構(gòu)函數(shù)、釋放類函數(shù)和swap不會(huì)失敗。
另外,還有一些語(yǔ)言細(xì)節(jié)問(wèn)題:
1.不要這樣拋出異常:throw new exception;這將導(dǎo)致內(nèi)存泄漏。
2.自定義類型,應(yīng)該捕獲異常的引用類型:catch(exception& e)或catch(const exception& e)。
3.不要使用異常規(guī)范,即使是空異常規(guī)范。編譯器并不保證只拋出異常規(guī)范允許的異常,更多內(nèi)容請(qǐng)參考相關(guān)書(shū)籍。
文章來(lái)源:
http://my.donews.com/robinchow/2007/01/11/vdcfhpltuhbzmtzupiknflljcnxqpkyloaqv/