對于異常安全的評定,可分為三個級別:基本保證、強保證和不會失敗。
基本保證:確保出現(xiàn)異常時程序(對象)處于未知但有效的狀態(tài)。所謂有效,即對象的不變式檢查全部通過。
強保證:確保操作的事務(wù)性,要么成功,程序處于目標狀態(tài),要么不發(fā)生改變。
不會失敗:對于大多數(shù)函數(shù)來說,這是很難保證的。對于C++程序,至少析構(gòu)函數(shù)、釋放函數(shù)和swap函數(shù)要確保不會失敗,這是編寫異常安全代碼的基礎(chǔ)。
總結(jié)一下編寫異常安全代碼的幾條準則:
1.只在應該使用異常的地方拋出異常
2.如果不知道如何處理異常,請不要捕獲(截留)異常。
3.充分使用RAII(smart ptr),旁路異常。
4.努力實現(xiàn)強保證,至少實現(xiàn)基本保證。
5.確保析構(gòu)函數(shù)、釋放類函數(shù)和swap不會失敗。
另外,還有一些語言細節(jié)問題:
1.不要這樣拋出異常:throw new exception;這將導致內(nèi)存泄漏。
2.自定義類型,應該捕獲異常的引用類型:catch(exception& e)或catch(const exception& e)。
3.不要使用異常規(guī)范,即使是空異常規(guī)范。編譯器并不保證只拋出異常規(guī)范允許的異常,更多內(nèi)容請參考相關(guān)書籍。
文章來源:
http://my.donews.com/robinchow/2007/01/11/vdcfhpltuhbzmtzupiknflljcnxqpkyloaqv/
關(guān)于控制流(即 C++ 代碼的執(zhí)行順序):
- 在各翻譯單元之間的那些全局變量(包括類的靜態(tài)變量)的初始化順序并未被定義。
- 當程序在 non-debug 模式下被建立的時候,編譯器會自動刪掉 assert()。因此不要在 assert 中加入有副作用的代碼。
- 對于代碼:cout << f(i) << g(i);,f 和 g 的執(zhí)行順序是不確定的,即隨著不同的編譯器實現(xiàn)而有所不同。
文章來源:
http://my.donews.com/robinchow/2007/01/15/ragovhbegchcbordvelfjrvrdzairpzjpfxl/
C++ 中 bool 是一個基本類型,可以通過各種方法來模擬它,但是都存在不同的缺陷:
- 使用 typedef 模擬,bool 不允許重載。
- 使用 #define,bool 不允許重載且通常破壞了 #define。
- enum bool允許重載但在條件表達式中不能進行自動類型轉(zhuǎn)換。bool b = (i == j)是錯誤的,因為 int 不能隱含地轉(zhuǎn)換成 enums。
- bool 類允許重載但不能讓 bool 對象在條件中作測試,除非它能提供自動轉(zhuǎn)換到基本類型,但是提供自動轉(zhuǎn)換卻通常會干擾函數(shù)重載解析過程。
文章來源:
http://my.donews.com/robinchow/2007/01/15/bszvusphgepqbphvticopjkpfadfapccibyd/