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