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

Question

私は次のコードを理解しようとしています。Derivedは、Tから派生した構造であり、「、」は何を意味し、次にフォールバック{}を意味します。

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;
};