Недопустимый аргумент шаблона

Question

Я борюсь с шаблонами! Рассмотрим следующий код:

template <typename... Ts> struct Sequence {}; 

template<unsigned N> struct B { 
    template<unsigned P> struct C { 
    typedef int type; 
    }; 
}; 

Тогда это совершенно правильно:

template<unsigned... Is> 
struct Loop2 { 
    typedef Sequence< typename B<5>::C<Is>::type... > type; 
}; 

Loop2<3,1> l; 

Поэтому я не могу понять, почему это шаблонный вариант:

template<unsigned N, unsigned... Is> 
struct Loop3 { 
    typedef Sequence< typename B<N>::C<Is>::type... > type; 
}; 

не принимается компилятором , Это поднимет следующее сообщение об ошибке:

essai.cpp:29:51: error: template argument 1 is invalid 
    typedef Sequence< typename B<N>::C<Is>::type... > type; 

Для информации, которую я получил это с

g++ (SUSE Linux) 4.8.1 20130909 [gcc-4_8-branch revision 202388] 

Спасибо за любую помощь!

Кстати: любое предложение для лучшего названия приветствуется!

Answer 1

Как B не конкретный типа больше, вам нужно флаг C с template ключевым словом, как это depenend на значении N. Используя follwing код должен работать:

template<unsigned N, unsigned... Is> 
struct Loop3 { 
    typedef Sequence< typename B<N>::template C<Is>::type... > type; 
};