Cách sử dụng hai gói thông số cùng nhau?

Question

Ví dụ tôi có một mã như dưới đây với hai gói tham số

template<class... Ts, int... Is> 
struct B 
{ 

}; 

int main() 
{ 
    B<int, double, 0, 1> b; // compile error here 
    return 0; 
} 

Bất kỳ cách nào để có được là đúng?

Answer 1

Đó là không được phép. Tuy nhiên, bạn có thể thực hiện việc này:

template<typename ...> struct typelist {}; 

template<typename TypeList, int... Is> 
struct B;        //primary template. Only declaration! 

template<typename ... Ts, int ... Is> 
struct B<typelist<Ts...>, Is...>   //partial specialization 
{ 
    //here you know Ts... and Is... Use them! 
}; 

int main() 
{ 
    B<typelist<int, double>, 0, 1> b; 
    return 0; 
} 

Answer 2

Bạn có thể giới thiệu các mẫu helper để giới thiệu danh sách các loại/số nguyên:

template<typename TList, typename IList> struct X; 

template< 
    template<typename ...> class TList, typename ...Ts, 
    template<int ...> class IList, int ...Is> 
struct X <TList<Ts...>, IList<Is...> > 
{ 

}; 

template<typename ...Ts> struct TList {}; 
template<int ...Is> struct IList {}; 

int main() 
{ 
    X<TList<int, double>, IList<0, 1> > x; 
    return 0; 
} 

Answer 3

Tôi nghĩ rằng điều này gặp phải vấn đề XY. Nếu tôi đã hiểu rõ, những gì bạn muốn là vượt qua bất kỳ số lượng các loại khác nhau.

Bạn có thể làm điều đó bằng std::integral_constant:

template<typename... INTS> 
struct foo 
{ 
    ... 
}; 

template<typename T , T n> 
using number = std::integral_constant<T,n>; //An alias for less typing... 

foo<number<int,-1>,number<unsigned int,1>, /* etc */>; 

Nếu thats không phải những gì bạn muốn, tôi sẽ sử dụng cách tiếp cận typelist từng phần chuyên môn hóa khác gợi ý.