異?？梢酝ㄟ^ throw 拋出，比如我定義一個(gè)函數(shù)別的不做只管拋出異常
先定義一個(gè)異常類
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;
}
再定義一個(gè)函捕獲異常
void func2()
{
try
{
func1();
}catch(Ex1 e)
{
//處理異常
}
}
在函數(shù) func1 中的 throw e 代碼中，拋出的是不是 Ex2 對象，答案是否定的。在 throw 的時(shí)候系統(tǒng)會(huì)自動(dòng)對 e 進(jìn)行一個(gè)拷貝，無論 catch 的時(shí)候是取值、引用還是指針，throw 的時(shí)候必定要進(jìn)行一個(gè)拷貝，因?yàn)橐ＷC當(dāng) e 的作用域過了之后這個(gè)值還能存在。這個(gè)拷貝調(diào)用該類的拷貝構(gòu)造函數(shù)。由 e 是這么定義的 Ex1 *e = new Ex2; 那系統(tǒng)調(diào)用哪個(gè)類的構(gòu)造函數(shù)呢？我們來分析一下，Ex1 是 ｅ 的靜態(tài)類型，Ex2 是 e 的動(dòng)態(tài)類型。編譯器是根據(jù)對象的靜態(tài)類型的來進(jìn)行拷貝的，調(diào)用的是 Ex1 的拷貝構(gòu)造函數(shù)，當(dāng)然拋出的也是 Ex1 類型的對象。
在捕獲異常的時(shí)候，如果這樣 catch(Ex1 e) ，那么編譯器在此處則會(huì)將拋出的異常對象再拷貝一份然后賦值給參數(shù)并保存在該異常處理的段中，編譯器生成的第一份拷貝在以后會(huì)析構(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) 中對傳進(jìn)來的參數(shù)進(jìn)行類型轉(zhuǎn)換的時(shí)候跟普通函數(shù)是有區(qū)別的。它只接受兩點(diǎn)：第一，接受向基類方向的繼承層次的轉(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) 是用于撲獲不到該異常的。當(dāng)異常以傳遞指針的方式來做的時(shí)候，如果第一個(gè)catch 為
catch(void× e)
的話，那后面的 catch 則就全部成了擺設(shè)了。不過有的編譯器會(huì)對這種寫法作出警告信息或是錯(cuò)誤信息，我在 VS2005 中就得到了錯(cuò)誤信息，編譯無法通過。不知道別的編譯器會(huì)怎么樣，這個(gè)還沒有測試過。
另外還有個(gè)地方需要注意，
Ex2 e;
throw e;
但是在 catch 時(shí)為
catch(Ex1 e)
由于都是進(jìn)行傳值操作，catch 中轉(zhuǎn)換之后得到 e 是 Ex1 類型的對象，那么這就會(huì)產(chǎn)生“切片”問題，e 對象中的虛函數(shù)實(shí)際上是 Ex1 中的，Ex2 中的成員在 e 中不復(fù)存在