2012-01-07 41 views
5

Che aspetto avrebbe il X nel seguente codice se è stato convertito per utilizzare modelli variadici C++ 11 e dovrebbe supportare un numero arbitrario di argomenti modello?Concatenamento di modelli variadici insieme

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

risposta

3

Forse:

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

spero ho ottenuto la semantica destra.

+0

C'è qualche dettaglio mancante, si passa 'Args ...' a 'X_helper' ma il primo parametro che si aspetta è un' int'. – SirGuy

+0

Hai perfettamente ragione, grazie :) – filmor

0

Sei ancora interessato a questa domanda?

Sto lavorando con C++ 11, quindi ho provato a rispondere.

Non sono sicuro di capire cosa vuoi (beh ... cosa volevi nel 2012) ma penso che il seguente esempio dovrebbe catturare i tuoi requisiti.

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 .: dispiace per il mio pessimo inglese

Problemi correlati