異常可以通過 throw 拋出，比如我定義一個函數(shù)別的不做只管拋出異常
先定義一個異常類
class Ex1
{
public:
string getString()
{
return "Ex1 ERROR!";
}
};
class Ex2:Ex1
{
public:
string getString()
{
return "Ex2 ERROR!";
}
};
void func1()
{
Ex1 *e = new Ex2;
throw e;
}
再定義一個函捕獲異常
void func2()
{
try
{
func1();
}catch(Ex1 e)
{
//處理異常
}
}
在函數(shù) func1 中的 throw e 代碼中，拋出的是不是 Ex2 對象，答案是否定的。在 throw 的時候系統(tǒng)會自動對 e 進行一個拷貝，無論 catch 的時候是取值、引用還是指針，throw 的時候必定要進行一個拷貝，因為要保證當 e 的作用域過了之后這個值還能存在。這個拷貝調(diào)用該類的拷貝構(gòu)造函數(shù)。由 e 是這么定義的 Ex1 *e = new Ex2; 那系統(tǒng)調(diào)用哪個類的構(gòu)造函數(shù)呢？我們來分析一下，Ex1 是 ｅ 的靜態(tài)類型，Ex2 是 e 的動態(tài)類型。編譯器是根據(jù)對象的靜態(tài)類型的來進行拷貝的，調(diào)用的是 Ex1 的拷貝構(gòu)造函數(shù)，當然拋出的也是 Ex1 類型的對象。
在捕獲異常的時候，如果這樣 catch(Ex1 e) ，那么編譯器在此處則會將拋出的異常對象再拷貝一份然后賦值給參數(shù)并保存在該異常處理的段中，編譯器生成的第一份拷貝在以后會析構(gòu)掉。如果使用 catch(Ex1& e) 來撲獲，系統(tǒng)則將第一次拷貝的引用傳遞給 e ，這樣比上一種方式少了一次拷貝，但是相對同種方式的函數(shù)傳參方式有多了一次拷貝。傳遞指針同樣如此。
try
{
func1();
}catch(Ex1& e)
{
//處理異常
}catch(Ex2& e)
{
//處理異常
}
從結(jié)構(gòu)上來講，我感覺跟 switch case 語句差不多但又有所不同，首先 catch 了一場之后不用 break 就能跳出（好象是一句廢話）。
再有就是 catch(Ex1& e) 中對傳進來的參數(shù)進行類型轉(zhuǎn)換的時候跟普通函數(shù)是有區(qū)別的。它只接受兩點：第一，接受向基類方向的繼承層次的轉(zhuǎn)換。，第二，接受類型化的指針轉(zhuǎn)換成無類型化的指針。另外如普通函數(shù)對參數(shù)的類型轉(zhuǎn)換支持 int 到 double 的轉(zhuǎn)換，但是在 catch 中卻是不支持此種轉(zhuǎn)換的。
如果拋出異常的函數(shù)寫成
void func1()
{
Ex2 &e = new Ex2;
throw e;
}
那么對于這段代碼
try
{
func1();
}catch(Ex1& e)
{
//處理異常
}catch(Ex2& e)
{
//處理異常
}
來說，catch(Ex2& e) 是用于撲獲不到該異常的。當異常以傳遞指針的方式來做的時候，如果第一個catch 為
catch(void× e)
的話，那后面的 catch 則就全部成了擺設(shè)了。不過有的編譯器會對這種寫法作出警告信息或是錯誤信息，我在 VS2005 中就得到了錯誤信息，編譯無法通過。不知道別的編譯器會怎么樣，這個還沒有測試過。
另外還有個地方需要注意，
Ex2 e;
throw e;
但是在 catch 時為
catch(Ex1 e)
由于都是進行傳值操作，catch 中轉(zhuǎn)換之后得到 e 是 Ex1 類型的對象，那么這就會產(chǎn)生“切片”問題，e 對象中的虛函數(shù)實際上是 Ex1 中的，Ex2 中的成員在 e 中不復存在