バリデーションテンプレートを連鎖する

Question

次のコードのXは、C++ 11バリデーションテンプレートを使用するように変換され、任意の数のテンプレート引数をサポートする必要があります。たぶん

template<int OFFSET> 
struct A { enum O { offset = OFFSET }; enum S { size = 2 }; }; 

template<int OFFSET> 
struct B { enum O { offset = OFFSET }; enum S { size = 4 }; }; 

template<int OFFSET> 
struct C { enum O { offset = OFFSET }; enum S { size = 10 }; }; 

template < template <int> class B0, 
      template <int> class B1, 
      template <int> class B2 > 
struct X : public B0<1>, 
        B1<B0<1>::size * B0<1>::offset >, 
        B2< B1<B0<1>::size * B0<1>::offset >::size * 
         B1<B0<1>::size * B0<1>::offset >::offset > 
{ }; 

int main(int argc, const char *argv[]) 
{ 
    X<A, B, C> x; 
    return 0; 
} 

Answer 1

：

template <int Var, template <int> Head, typename... Tail> 
struct X_helper : Head<Var>, 
       , X_helper<Head<Var>::size * Head<Var>::offset, Tail...> 
{}; 

template <int Var, template <int> Arg> 
struct X_helper : Head<Var> 
{}; 

template <typename... Args> 
struct X : X_helper<1, Args...> 
{}; 

は、私はセマンティクスが右だ願っています。

Answer 2

あなたはまだこの質問に興味がありますか？

私はC++ 11を使用しているので、私は答えようとしました。

私はあなたが望むものを理解することはできません（よく...あなたが2012年に望んでいたものですが）次の例があなたの必要条件を満たすはずです。

template<int OFFSET> 
struct A { enum O { offset = OFFSET }; enum S { size = 2 }; }; 

template<int OFFSET> 
struct B { enum O { offset = OFFSET }; enum S { size = 4 }; }; 

template<int OFFSET> 
struct C { enum O { offset = OFFSET }; enum S { size = 10 }; }; 

template <int N, template <int> class ...> 
    struct H; 

template <int N> 
    struct H<N> 
    { }; 

template <int N, 
      template <int> class C1, 
      template <int> class ... Cs> 
    struct H<N, C1, Cs...> : public C1<N>, 
          public H<C1<N>::size * C1<N>::offset, Cs...> 
    { }; 

template <template <int> class ... C> 
    struct X : public H<1, C...> 
    { }; 

int main() 
{ 
    X<A, B, C> x; 

    return 0; 
} 

p.s：私の悪い英語のため申し訳ありません