आंशिक टेम्पलेट्स के लिए सी ++ टाइपपीफ

Question

मुझे इस तरह एक टाइपपीफ करने की आवश्यकता है।

template< class A, class B, class C > 
class X 
{ 
}; 

template< class B, class C > 
typedef X< std::vector<B>, B, C > Y; 

मुझे पता चला कि यह C++ में समर्थित नहीं है। क्या कोई मुझे सलाह दे सकता है कि वैकल्पिक माध्यमों के माध्यम से इसे कैसे प्राप्त किया जाए?

धन्यवाद, गोकुल।

Answer 1

आप एक सी ++ है, तो 0x/C++ 1x संकलक, कि एक अलग वाक्य रचना के साथ अनुमति दी जाएगी (ऐसा लगता है मानो compilers अभी भी इस सुविधा का समर्थन नहीं करते):

template <typename B, typename C> 
using Y = X< std::vector<B>, B, C >; 

आप (जैसे पीटर पता चलता है) एक टेम्प्लेटेड struct में एक संलग्न प्रकार को परिभाषित करने, या विरासत कोस की तरह, अन्य तकनीकों का उपयोग कर सकते हैं (यदि संभव हो तो बचने के लिए):

template <typename B, typename C> 
class Y : public X< std::vector<B>, B, C > {}; 

Answer 2

इसे एक संरचना में रखकर। इस विचार को टेम्पलेट उपनाम कहा जाता है और सी ++ 0x मानक (the proposal) का हिस्सा है। लेकिन एक काम के आसपास द्वारा दिया जाता है:

template<class B, class C> 
struct Y { 
    typedef X<std::vector<B>, B, C> type; 
}; 

और अपने इच्छित प्रकार के रूप में Y<B, C>::type का उपयोग करें।

और आप सोच सकते हैं कि gcc4.5 या VS2010 पहले से ही इसका समर्थन कर सकता है, जैसा कि सी ++ 0x के बड़े उप-समूह के मामले में है, लेकिन मुझे आपको निराश करना है, जैसा कि हम अभी भी असमर्थित हैं:)।