如何進行C++異常處理？
C++異常處理程序在函數(shù)中查找catch塊時，它首先要判斷異常發(fā)生的位置是否在當前函數(shù)（發(fā)生異常的那個函數(shù)）的一個try塊中。是則查找與此try塊相關(guān)的catch塊表，否則直接返回。
先來看看它怎樣找try塊。編譯時，編譯器給每個try塊都分配了start id和end id。通過funcinfo結(jié)構(gòu)，異常處理程序可以訪問這兩個id，見圖4。編譯器為函數(shù)中的每個try塊都生成了相關(guān)的數(shù)據(jù)結(jié)構(gòu)。
上一節(jié)中，我說過C++異常處理給EXCEPTION_REGISTRATION結(jié)構(gòu)加上了一個id字段?；貞浺幌聢D3，這個結(jié)構(gòu)位于函數(shù)的棧楨上。異常發(fā)生時，處理程序讀出這個值，看它是否在try塊的兩個id確定的區(qū)間[start id，end id]中。是的話，異常就發(fā)生在這個try塊中；否則繼續(xù)查看try塊表中的下一個try塊。
誰負責更新id的值，它的值又應(yīng)該是什么呢？原來，編譯器會在函數(shù)的多個位置安插代碼來更新id的值，以反應(yīng)程序的實時運行狀態(tài)。比如說，編譯器會在進入try塊的地方加上一條語句，把try塊的start id寫到棧楨上。
找到try塊后，處理程序就遍歷與其關(guān)聯(lián)的catch塊表，看是否有對當前異常感興趣的catch塊。在try塊發(fā)生嵌套時，異常將既源于內(nèi)層try塊， 也源于外層try塊。這種情況下，處理程序應(yīng)該按先內(nèi)后外的順序查找catch塊。但它其實沒必要關(guān)心這些，因為，在try塊表中，C++異常處理總是把內(nèi)層 try塊放在外層try塊的前面。
異常處理程序還有一個難題就是"如何根據(jù)catch塊的相關(guān)數(shù)據(jù)結(jié)構(gòu)判斷這個catch塊是否愿意處理當前異常"。這是通過比較異常的類型和catch塊的參數(shù)的類型來完成的。例如下面這個程序：
- void foo()
- {
- try
- {
- throw E();
- }
- catch(H)
- {
- //.
- }
- }
如果H和E的類型完全相同的話，catch塊就要捕獲這個異常。這意味著處理程序必須在運行時進行類型比較，對C等語言來說，這是不可能的,因為它們無法在 運行時得到對象的類型。
C++異常處理則不同，它有了運行時類型識別（runtime type identification，RTTI），并提供了運行時類型比較的標準方法。C++異常處理在標準頭文件中定義了type_info類，它能在運行時代表一個類型。
catch塊數(shù)據(jù)結(jié)構(gòu)的第二個字段（ptype_info，見圖4）是一個指向type_info結(jié)構(gòu)的指針，它在運行時就代表catch塊的參數(shù) 類型。type_info也重載了==運算符，能夠指出兩種類型是否完全相同。這樣，異常處理程序只要比較（調(diào)用==運算符）catch塊參數(shù)的 type_info（可以通過catch塊的相關(guān)數(shù)據(jù)結(jié)構(gòu)來訪問）和異常的type_info是否相同。
就能知道catch塊是不是愿意捕獲當前異常了。 catch塊的參數(shù)類型可以通過funcinfo結(jié)構(gòu)得到，但異常的type_info從哪來呢？當編譯器碰到。
【編輯推薦】
