C 異常規範

◆ 1、異常規範（exception specification）是指：提供了一種方案，可以隨著函式宣告列出該函式可能丟擲的異常，並保證該函式不會丟擲任何其他型別的異常。例如，在stack類定義中可有：

void push(const t&data) throw(pushonfull) ;

t pop() throw(poponempty); //紅色部分是異常規範

成員函式類內宣告和類外定義必須在兩處都有相同的異常規範，同樣的異常規範。

乙個函式的異常規範的違例只能在執行時才能被檢測出來。如果在執行時，函式丟擲了乙個沒有被列在它的異常規範中的異常時（並且函式中所丟擲的異常，沒有在該函式內部處理）則系統呼叫c++標準庫中定義的函式unexpected()。

僅當函式中所丟擲的異常，沒有在該函式內部處理，而是逆呼叫鏈回溯尋找匹配的catch子句的時候,異常規範才起作用。如果異常規範形式為throw()，則表示不得丟擲任何異常。

◆2、虛函式中的異常規範

派生類的虛函式的異常規範必須與基類虛函式的異常一樣或更嚴格。因為當派生類的虛函式被指向基類型別的指標呼叫時，保證不會違背基類成員函式的異常規範。例如：

class cbase

;class cderived:public cbase