由于后面的討論多處涉及到“棧展開”這個概念，這里先解釋一下?！皸Ｕ归_”是異常機(jī)制中一個重要的過程：在逐層查找用來處理異常的catch子句時，因?yàn)楫惓６顺鰪?fù)合語句和函數(shù)定義，這個過程被稱作“棧展開”。隨著棧的展開，在退出的復(fù)合語句和函數(shù)定義中聲明的局部變量的生命期也結(jié)束，而且這些局部類對象的析構(gòu)函數(shù)也會被調(diào)用，這樣能保證內(nèi)存空間得到合理回收。棧展開的概念對于理解后面的內(nèi)容很重要，我們通過一個具體例子進(jìn)一步闡述。

?

　　當(dāng)異常發(fā)生時，在函數(shù)調(diào)用鏈中逐層查找該異常的catch子句。在棧展開過程中函數(shù)foo()首先被檢查到，因?yàn)楫a(chǎn)生異常的語句沒有被放在try塊中，所以不會在：foo()中查找針對該異常的catch子句。棧展開過程繼續(xù)向上遍歷函數(shù)調(diào)用鏈到達(dá)調(diào)用foo()的函數(shù)。然而在foo()帶著這個未處理的異常退出之前，棧展開過程會銷毀foo()中所有在異常產(chǎn)生之前被創(chuàng)建的局部類對象。結(jié)果就是：o1、o2的析構(gòu)函數(shù)被調(diào)用，o3已經(jīng)“死亡”，而o4還沒“出生”。

　　顧名思義，“異常”就是程序運(yùn)行出現(xiàn)了非預(yù)期的情況，或者說錯誤。因此，出現(xiàn)異常必須有針對地處理。對此，MISRA C++首先有如下規(guī)定：

　　規(guī)則15-3-4(強(qiáng)制)：所有可能的流程中顯式拋出來的異常都應(yīng)該有一個類型兼容的處理程序。

　　規(guī)則15-3-2(推薦)：至少要有一個處理程序來處理所有其他未針對處理的異常。

　　如果程序拋出一個沒有被處理的異常，程序會終止，而終止前調(diào)用棧有沒有被“展開”，動態(tài)對象能不能被析構(gòu)，這些都依賴于編譯器。上面兩條規(guī)則規(guī)定了：不但預(yù)期拋出的異常要進(jìn)行處理，其他可能被拋出的異常也要有相應(yīng)的處理措施。請注意規(guī)則15-3-4中“類型兼容”的字眼，C++有非常靈活的類型兼容規(guī)則，尤其對于類。例如當(dāng)異常對象是派生類時，“兼容類型”可以是派生類，也可以是基類。后面我們還會具體討論這個問題。

　　一個try塊后可以有多個catch塊來捕獲不同的異常。當(dāng)出現(xiàn)異常時，catch處理程序按照其在try塊后出現(xiàn)的順序被逐個檢查，只要找到一個匹配的異常類型，后面的異常處理都被忽略。因此，catch處理程序出現(xiàn)的順序很重要。

　　規(guī)則15-3-6(強(qiáng)制)：若一個try-catch語句塊有多個處理程序，或者一個派生類和其部分或全部基類的function-try-block塊有多個處理程序，處理程序的順序應(yīng)該是先派生類后基類。

　　規(guī)則15-3-7(強(qiáng)制)：若一個try-catch語句塊或者function-try-block塊有多個處理程序時，catch(…)處理程序(捕獲所有異常)應(yīng)該放在最后。

　　這是因?yàn)楦鶕?jù)類型兼容規(guī)則，異常對象為派生類時可以被針對基類的處理程序所捕獲。如果針對基類的處理程序放在前面，后面針對派生類的處理程序就不會被執(zhí)行到。同理，catch(…)處理程序能捕獲所有類型的異常，在其后面所有的異常處理程序都不會被執(zhí)行到。

　　根據(jù)上述規(guī)則，典型的try-catch的結(jié)構(gòu)示例如下：

?

　　細(xì)心的讀者也許會發(fā)現(xiàn)，上面例子中是通過引用來捕獲類的對象。當(dāng)異常對象類型為某個類時，有3種方式傳遞到catch子句里：指針、傳值和引用。也許大家首先想到的是指針，指針的確是效率很高的工具，而且不涉及到對象拷貝。但不要忘了，前面的規(guī)則15-0-2中明確指出，拋出的異常對象不應(yīng)該是指針類型。而對于傳值和引用，在MISRA C++中給出的規(guī)定是：通過引用捕獲異常。

　　規(guī)則15-3-5(強(qiáng)制)：若異常對象為類的對象時，應(yīng)該通過引用來捕獲。

　　通過值傳遞，不但會增加拷貝對象的開銷，而且還會出現(xiàn)“退化”問題。所謂“退化”是指：如果異常對象是一個派生類對象，但被作為基類捕獲，那么只有基類的函數(shù)(包括虛函數(shù))能被調(diào)用，派生類中增加的數(shù)據(jù)成員都不能被訪問。通過引用捕獲則沒有這個問題。下面的例子具體地說明了“退化”問題：

?

?

　　鑒于類的構(gòu)造函數(shù)和析構(gòu)函數(shù)的特殊性，還有兩點(diǎn)需要注意。