例外仕様に基本型がある場合、関数は派生クラス例外をスローできますか？

Question

私は以下のコードを持っています。

class Base{}; 
class Derived: public Base{}; 

class Test 
{ 
public: 
    void fun() throw(Base) 
    { 
     throw Derived(); 
    } 
}; 

int main() 
{ 
    Test ob; ob.fun(); 
} 

例外仕様リストに基本型がある場合、fun（）は派生型の例外をスローできますか？

Answer 1

DerivedはBaseから派生するので、それは技術的には、Base。したがって、メソッド署名が基本型をリストしている場合は、派生した例外の型をスローできます。

@MSaltersによると、例外仕様のあるissuesがあることに注意してください。

Answer 2

これは間違いありません。もちろん可能です。たとえば、ref（ベースクラス）の例外をキャッチして、それを再スローすることができます。

//.. 
try 
{ 
    ob.fun(); 
} 
catch(Base& ex) 
{ 
    // do something with the exception; 

    // throw; // if you want it to be re-thrown 
} 

Answer 3

はい、問題ありません。その例外仕様はタイプTためのハンドラはタイプEの例外にマッチするようなタイプT（C++ 2003、15.4標準）

Answer 4

短い答えはイエス、それが可能となるが含まれている場合、この関数はタイプEの例外を許可します、長い方： 関数の例外仕様を使用しないでください。新しい標準C++ 0xでは、非推奨になります。

なぜ彼らはそれを非難しますか？なぜなら、C++例外仕様ではjavaのように動作しないからです。何かを投げようとすると、Javaのようなコンパイルエラーは発生しません。実行時にはstd::unexpected()関数が呼び出され、予期せぬハンドラ関数が呼び出されます。この関数は、デフォルトではプログラムを終了します。