2012-08-15 10 views
9

Rozważmy następujący kod:Czy możesz wygenerować pakiet szablonów variadic z rozmiaru i jego zawartości?

template<unsigned int... TSIZE> 
struct Base {}; 
template<unsigned int TORDER, unsigned int TDIM> 
struct Derived : public Base</* TDIM, TDIM, ... TDIM (TORDER times) */> {}; 

sądzisz, że istnieje trik poprawnie generować parametry szablonu bazy w drugiej linii tego przykładu? Na przykład chcę, aby Derived<3, 5> odziedziczyć po Base<5, 5, 5>. Jak to zrobić ?

Odpowiedz

10

Przy odrobinie PZT, to nie jest trudne, mimo wszystko:

template<unsigned ToGo, class T, T Arg, template<T...> class Target, T... Args> 
struct generate_pack 
    : generate_pack<ToGo-1, T, Arg, Target, Args..., Arg> 
{ // build up the 'Args' pack by appending 'Arg' ... 
}; 

template<class T, T Arg, template<T...> class Target, T... Args> 
struct generate_pack<0, T, Arg, Target, Args...> 
{ // until there are no more appends to do 
    using type = Target<Args...>; 
}; 

template<unsigned Num, class T, T Arg, template<T...> class Target> 
using GeneratePack = typename generate_pack<Num, T, Arg, Target>::type; 

template<unsigned int... TSIZE> 
struct Base{}; 

template<unsigned int TORDER, unsigned int TDIM> 
struct Derived 
    : GeneratePack<TORDER, unsigned, TDIM, Base> 
{ 
}; 

Live example.

+0

Och, można czerpać rekurencyjnie? To super. – jrok

+1

nazywa się to przekierowaniem metafunkcyjnym szablonów przez autorów Boost.MPL. – TemplateRex

Powiązane problemy