派生クラスのコンストラクタでNoexcept約束：ベースコンストラクタで有望なnoexceptなしで使用できますか？

Question

はのは、私が

class C : public B { 
    public: 
    C() noexcept; 
} 

がnoexcept指定子は、基本クラスによって、同じ約束を必要としていたクラスがあるとしましょうか？つまり、noexceptの使用を検討しているときに、C :: C（）の動作を調べるか、B :: B（）が例外をスローするかどうかを検討する必要がありますか？

たとえば、B :: Bが例外をスローすると、それはC :: Cまたは新しいクラスインスタンスを要求していたコードに伝播しますか？ - C :: Cに伝播すると、それが基底クラスがコンストラクタのnoexceptでない場合、コンストラクタのnoexceptを避ける理由の1つになります。

Answer 1

^†基本クラスのコンストラクタをnoexceptとして宣言する必要はありませんが、noexceptとして宣言されている派生コンストラクタによって呼び出された場合はスローしないでください。

はい、ベースクラスのコンストラクタが（例外などの理由で）スローする可能性があるかどうかを検討する必要があります。

私の質問には、次の例外がありますか？

コールがこのような流れ：サブオブジェクト（それはベースまたはメンバーであるかどうか）コンストラクタがスローした場合

caller 
    -> derived constructor (the noexcept applies to this) 
    -> subobject constructors (includes bases) 
    - derived constructor body (not a call, but part of the derived constructor that is executed after the subobjects are constructed) 

だから、それは最初のない由来のコンストラクタ、に行くと^††は、コンストラクターがnoexceptでなかった場合、呼び出し元に伝播するように例外を呑み込むことはできません。しかしそれ以来、std::terminateが呼び出されます。

派生によって、それは要件を満たしていないし、そうしないrarly理由があるので、それ自体がnoexceptを宣言することができ、必要に応じてベースが実際に投げていない場合は†。おそらく、基本クラスがC++ 03をサポートしなければならないライブラリの一部である場合、派生クラスは後の標準を引き継ぐかもしれませんが、それは理にかなっています。

^†† function-try-blockでキャッチすることはできますが、それらは常に再びスローされます。