एक साथ दो पैरामीटर पैक का उपयोग कैसे करें?

Question

उदाहरण के लिए मैं दो पैरामीटर पैक

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

}; 

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

पाने के लिए किसी भी तरह से सही है के साथ नीचे के रूप में एक कोड है?

Answer 1

कि अनुमति नहीं है। आप यह कर सकते हैं, हालांकि:

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

आप सहायक टेम्पलेट्स परिचय हो सकता है के प्रकार/पूर्णांकों सूचियों को पेश करने:

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

मुझे लगता है कि यह XY समस्या से पीड़ित है। अगर मैं अच्छी तरह से समझ गया हूं, तो आप जो भी चाहते हैं वह विभिन्न प्रकार की संख्याओं को पारित करना है।

आपको लगता है कि 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 */>; 

अगर thats तुम क्या नहीं करना चाहता, मैं typelist आंशिक-विशेषज्ञता दृष्टिकोण दूसरों सुझाव का प्रयोग करेंगे।