C++ 11 Сгенерировать аргументы шаблона

Question

Возможно ли создать пакет шаблонов шаблонов?

У меня есть следующий код работы:

zip<0,1,2>.expand(c); 

Моя цель состоит в том, чтобы сформировать список 0,1,2 во время компиляции, как она будет использоваться с переменным числом шаблонов, например:

zip<make_sequence<3>>.expand(c); 

Мне нужно, чтобы это было сгенерировано во время компиляции, так как расширение запускает некоторые шаблонные функции, которые оптимизируются в зависимости от типа слоя/фильтра, поэтому я могу запустить другой код. Идея заключается в том, чтобы определить список слоев или фильтров, сгенерированных во время компиляции, и удалить некоторые ifs (и другие ситуации), поскольку это будет использоваться в среде HPC (и находится внутри критического пути).

Это внутри этого класса (упрощенный вариант):

template<class... Layer> 
class TRAV{ 
    template <int...CS> struct zip{ 
    static void expand(int c){ 
     constexpr int b = sizeof...(Layers); 
     expand2((TRAV::path<CS,b,typename Layers::MONAD_TYPE>(c),0)...); 
    } 
    template<typename...IS> 
    static void expand2(IS&&...) { 
    } 
}; 
void call(int c){ 
    zip<0,1,2>.expand(c); 
} 
}; 

Я также попытался решения, предложенные на сайте:

Implementation C++14 make_integer_sequence

How do I generate a variadic parameter pack?

Но ни один из них не работает для меня. Я получаю эту ошибку:

error: type/value mismatch at argument 1 in template parameter list for >‘template

error: expected a constant of type ‘int’, got ‘make_integer_sequence’

Любое предложение? спасибо!

Answer 1

Вам нужен помощник:

template<int... Seq> 
void call(int c, std::integer_sequence<int, Seq...>){ 
    zip<Seq...>::expand(c); 
} 

void call(int c){ 
    call(c, std::make_integer_sequence<int, 3>()); 
} 

Answer 2

Кроме того, решения, которые @ T.C. показал, вы также можете сделать что-то похожее на работу zip<make_sequence<3>>. Это будет выглядеть следующим образом:

apply_indices<zip<>,std::make_index_sequence<3>> 

Реализация такого помощника является:

#include <utility> 

template<typename,typename> struct apply_indices_impl; 

template<typename T,template<T...> class C,T... Ns> 
struct apply_indices_impl<C<>,std::integer_sequence<T,Ns...>> 
{ 
    using type = C<Ns...>; 
}; 

template<typename T,typename I> 
using apply_indices = typename apply_indices_impl<T,I>::type; 

Live example