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