c++ - 例外宣言から派生したオブジェクト型は予期しないものですか?

Question

C++ では、例外宣言指定子で、基底クラスを宣言してから派生クラスをスローすると、予期しない例外になりますか?

score 2 · Accepted Answer

C++ では、例外宣言指定子で、基底クラスを宣言してから派生クラスをスローすると、予期しない例外になりますか?

いいえ、許可されています。

参考： C++03 15.4 例外仕様

パラ 6:

exception-specification には、同じ型を複数回含めることができ、継承によって関連付けられたクラスを含めることができますが、そうするのは冗長です。例外仕様には、クラス std::bad_exception (18.6.2.1) を含めることもできます。

パラグラフ 8に関連する例があります。

[Example:
class X { };
class Y { };
class Z: public X { };
class W { };
void f() throw (X, Y)
{
    int n = 0;
    if (n) throw X(); // OK
    if (n) throw Z(); // also OK    <------- Example of the exact scenario you posted
    throw W(); // will call unexpected()
}
—end example]

Exception 仕様は失敗した実験と見なされ、ほとんどのコンパイラはそれらを正しく実装していないことに注意してください。したがって、それらを使用しないでください（むしろ使用しないでください）。

score 0 · Accepted Answer

私はこれが恐ろしい非回答であることを知っていますが、例外指定を使用しないでください:

http://www.gotw.ca/publications/mill22.htm

c++ - 例外宣言から派生したオブジェクト型は予期しないものですか?

2 に答える 2

Related

Reference