C++箴言防止因異常而離開析構(gòu)函數(shù)

1、C+箴言：防止因異常而離開析構(gòu)函數(shù)C+ 并不禁止從析構(gòu)函數(shù)中引發(fā)異常，但是這確實妨礙了實踐。至于有什么好的理由，考慮： class Widget public:.Widget() . / assume this might emit an exception; void doSomething()std:vector<Widget> v;. / v is automatically destroyed here 當(dāng) vector v 被析構(gòu)時，它有責(zé)任銷毀它包含的所有 Widgets.假設(shè) v 中有十個 Widgets，在銷毀第一個的時候，拋出一個異常。其他 9個 Wid

2、gets 仍然必須被銷毀（否則他們持有的任何資源將被泄漏），所以 v 應(yīng)該調(diào)用它們的析構(gòu)函數(shù)。但是假設(shè)在這個調(diào)用期間，第二個 Widgets 的析構(gòu)函數(shù)又拋出一個異?！，F(xiàn)在有兩個異常同時在活動中，對于 C+ 來說這太多了。在非常巧合的條件下發(fā)生這樣兩個同時活動的異常，程序的執(zhí)行會終止或者引發(fā)未定義行為。在本例中，將引發(fā)未定義行為。與此相同，使用任何標(biāo)準(zhǔn)庫容器（比如，list，set），任何 TR1中的容器，甚至是一個數(shù)組，都可能會引發(fā)未定義問題。并非必須是容器或數(shù)組才會陷入麻煩。程序夭折或未定義行為是析構(gòu)函數(shù)引發(fā)異常的結(jié)果，即使沒有使用容器或數(shù)組也會如此。C+ 不喜歡引發(fā)異常的析構(gòu)函數(shù)。 這比

3、較容易理解，但是如果你的析構(gòu)函數(shù)需要執(zhí)行一個可能失敗而拋出異常的操作，該怎么辦呢？例如，假設(shè)你與一個數(shù)據(jù)庫連接類一起工作： class DBConnection public:.static DBConnection create(); / function to return/ DBConnection objects; params/ omitted for simplicity void close(); / close connection; throw an; / exception if closing fails 為了確保客戶不會忘記調(diào)用 DBconnection 對象

4、的 close，一個合理的主意是為 DBConnection 建立一個資源管理類，在它的析構(gòu)函數(shù)中調(diào)用 close.這樣的資源管理類將在以后的文章中探討，但在這里，只要認為這樣一個類的析構(gòu)函數(shù)看起來像這樣就足夠了： class DBConn / class to manage DBConnectionpublic: / objects.DBConn() / make sure database connections / are always closeddb.close();private:DBConnection db; 它允許客戶像這樣編程：  / open a bl

5、ockDBConn dbc(DBConnection:create(); / create DBConnection object/ and turn it over to a DBConn/ object to manage. / use the DBConnection object/ via the DBConn interface / at end of block, the DBConn/ object is destroyed, thus/ automatically calling close on/ the DBConnection object 既然能成功地調(diào)用 close

6、那就好了，但是如果這個調(diào)用導(dǎo)致了異常，DBConn 的析構(gòu)函數(shù)將散播那個異常，也就是說，它將離開析構(gòu)函數(shù)。這就產(chǎn)生了問題，因為析構(gòu)函數(shù)拋出了一個燙手的山芋。有兩個主要的方法避免這個麻煩。DBConn 的析構(gòu)函數(shù)能：終止程序 如果 close 拋出異常，調(diào)用 abort。 DBConn:DBConn()try db.close(); catch (.) make log entry that the call to close failed;std:abort(); 如果程序在析構(gòu)過程遭遇到錯誤后不能繼續(xù)運行，這就是一個合理的選擇。它有一個好處是：如果允許從析構(gòu)函數(shù)散播異常可能會引起未

7、定義行為，這樣就能防止它發(fā)生。也就是說，調(diào)用 abort 就預(yù)先防止了未定義行為。抑制這個異常 起因于調(diào)用 close： DBConn:DBConn()try db.close(); catch (.) make log entry that the call to close failed; 通常，抑制異常是一個不好的主意，因為它會隱瞞重要的信息某些事情失敗了！可是，有些時候，抑制異常比冒程序夭折或未定義行為的風(fēng)險更可取。程序必須能夠在遭遇到錯誤并忽略之后還能繼續(xù)可靠地執(zhí)行，這才能成為一個可行的選擇。這些方法都不太吸引人。它們的問題在于程序無法在第一現(xiàn)場對引起 close 拋出異常

8、的條件做出回應(yīng)。一個更好的策略是設(shè)計 DBConn 的接口，以使它的客戶有機會對可能會發(fā)生的問題做出回應(yīng)。例如，DBConn 能夠自己提供一個 close 函數(shù)，從而給客戶一個機會去處理從那個操作中發(fā)出的異常。它還能保持對它的 DBConnection 是否已被關(guān)閉的跟蹤，如果沒有關(guān)閉就在析構(gòu)函數(shù)中自己關(guān)閉它。這樣可以防止連接被泄漏。如果在 DBConnection 的析構(gòu)函數(shù)中調(diào)用 close 失敗，無論如何，我們還可以再返回到終止或者抑制。class DBConn public:.void close() / new function for / client usedb.close();

9、closed = true;DBConn()if (!closed) try / close the connectiondb.close(); / if the client didntcatch (.) / if closing fails,make log entry that call to close failed; / note that and. / terminate or swallowprivate:DBConnection db;bool closed;    將調(diào)用 close 的責(zé)任從 DBConn 的析構(gòu)函數(shù)轉(zhuǎn)移到 DBConn 的客戶

10、（同時在 DBConn 的析構(gòu)函數(shù)中包含一個“候補”調(diào)用）可能會作為一種肆無忌憚地推卸責(zé)任的做法而刺激你。你甚至可以把它看作一個忠告（使接口易于正確使用）的違背。實際上，這都不正確。如果一個操作可能失敗而拋出一個異常，而且可能是一個需要處理的異常，這個異常就必須來自非析構(gòu)函數(shù)。這是因為析構(gòu)函數(shù)引發(fā)異常是危險的，永遠都要冒著程序夭折或未定義行為的風(fēng)險。在此例中，讓客戶調(diào)用 close 并不是強加給他們的負擔(dān)，而是給他們一個時機去應(yīng)付錯誤，否則他們將沒有機會做出回應(yīng)。如果他們找不到可用到機會（或許因為他們相信不會有錯誤真的發(fā)生），他們可能忽略它，依靠 DBConn 的析構(gòu)函數(shù)為他們調(diào)用 close。如果一個錯誤恰恰發(fā)生在那時如果由 close 拋出如果 DBConn 抑制了那個異?；蛘呓K止了程序，他們將無處訴苦。畢竟，他