C++テンプレートと派生クラス

Question

次のコードを理解しようとしています。次いで由来Tから構造と何を「」手段とフォールバック{}

Answer 1

template <class T> 
struct has_FlowTraits<T, true> 
{ 
    struct Fallback { bool flow; }; 
    struct Derived : T, Fallback { }; //What does it means ? 

    template<typename C> 
    static char (&f(SameType<bool Fallback::*, &C::flow>*))[1]; 

    template<typename C> 
    static char (&f(...))[2]; 

public: 
    static bool const value = sizeof(f<Derived>(0)) == 2; 
}; 

それはMember Detector Idiomの実装だがある派生します。 SFINAEを使用して、タイプTにflowというメンバーがあるかどうかをチェックします。

編集：お問い合わせのコンマはmultiple inheritanceです。 Struct derivedは（公開されて）から Tとフォールバックの両方を継承しています。

Answer 2

単なる多重継承です。以下はT由来する（及びさらなる定義を提供しない）さDerivedある：

struct Derived : T { }; 

そして以下はTとFallbackの両方に由来するDerivedある：

struct Derived : T, Fallback { }; 

すなわち、 Derivedは とのメンバーを継承します（Fallbackのメンバー）。この場合、Derivedは構造体なので、継承はデフォルトでpublic継承です。

Answer 3

コンマは、これらの2つのクラスから公開されているか、私的に（TまたはFallbackが構造体かクラスであるかによって）派生することを意味します。カンマには、Deriveが派生するクラスが含まれます。

Answer 4

それは意味：has_FlowTraits structの定義の中

、あなたもDerivedと呼ばれる新しいstructを定義します。

この構造体Derivedは、タイプTとタイプFallbackを継承しているとします。 （前の行を見ると、struct Fallbackが定義されています）。

{}は、実装の詳細がこれ以上ないことを単に意味します。このタイプを有効にするためのメソッドや属性の定義は必要ありません。