हम subclass में एक templated घोंसला वर्ग टाइप या परिभाषित कैसे करते हैं?

Question

निम्न पर विचार करें:

template <typename T> 
class Base { 
    public: 
    template <typename U> 
    class Nested { }; 
}; 

template <typename T> 
class Derived : public Base<T> { 
    public: 
    //How do we typedef of redefine Base<T>::Nested? 
    using Base<T>::Nested; //This does not work 
    using Base<T>::template<typename U> Nested; //Cannot do this either 
    typedef typename Base<T>::template<typename U> Nested Nested; //Nope.. 

    //now we want to use the Nested class here 
    template <typename U> 
    Class NestedDerived : public Nested { }; 

    //or like this: 
    Nested<int> nestedVar; // obviously does not work 
}; 

व्युत्पन्न कक्षा में टेम्पलेटेड नेस्टेड क्लास का उपयोग कैसे करें? क्या यह सी ++ मानक के वर्तमान संस्करण में करना संभव है?

Answer 1

असल using काम करता है के रूप में विज्ञापित है, यह सिर्फ टेम्पलेट में निर्भर नाम मुद्दे से छुटकारा पाने के नहीं है और यह नहीं वर्तमान में उर्फ ​​टेम्पलेट्स सीधे (fixed in C++0x हो जाएगा) कर सकते हैं:

template <class T> 
struct Base { 
    template <class U> struct Nested {}; 
}; 

template <class T> 
struct Derived : Base<T> { 
    using Base<T>::Nested; 

    // need to prefix Nested with template because 
    // it is a dependent template: 
    struct X : Base<T>::template Nested<int> {}; 

    // same here: 
    template<class U> 
    struct Y : Base<T>::template Nested<U> {}; 

    // data member, typename is needed here: 
    typename Base<T>::template Nested<int> data; 
}; 

void f() { 
    Derived<int>::Nested<int> n; // works fine outside 
} 

नहीं है एक और संभव पकड़ लिया जब टेम्पलेट्स में Derived<T>::Nested का उपयोग कर, लेकिन फिर से कि एक आश्रित नाम मुद्दा, नहीं विरासत से संबंधित है:

template<class T> 
void g() { 
    // Nested is a dependent type and a dependent template, thus 
    // we need 'typename' and 'template': 
    typedef typename Derived<T>::template Nested<int> NestedInt; 
} 

बस याद रखें कि ऐसे नाम हैं जो टेम्पलेट पर निर्भर तर्क

• typename अगर इसकी एक आश्रित प्रकार के साथ उपसर्ग होना जरूरी: typename A<T>::B
• सीधे template लगी होती है, तो इसकी एक आश्रित टेम्पलेट: A<T>::template f<int>()
• दोनों दोनों यदि: typename A<T>::template B<int>
• typename आधार स्तरीय सूचियों में गैर कानूनी है: template<class T> struct A : B<T>, C<T>::template D<int> {};

Answer 2

इस प्रयास करें:

template <typename T> 
class Base { 
    public: 
    template <typename U> 
    class Nested { }; 
}; 

template <typename T> 
class Derived : public Base<T> { 
    public: 
    //How do we typedef of redefine Base<T>::Nested? 
    //using Base<T>::Nested; //This does not work 
    //using Base<T>::template<typename U> Nested; //Cannot do this either 
    //typedef typename Base<T>::template<typename U> Nested Nested; //Nope.. 

    //now we want to use the Nested class here 
    template <typename U> 
    class NestedDerived : public Base<T>::template Nested<U> { }; 
}; 

int main() 
{ 
    Base<int>::Nested<double> nested; 

    Derived<int>::NestedDerived<double> nested_derived; 

    return 0; 
} 

स्लैकवेयर 13

Answer 3

पर जीसीसी 4.3.3 का उपयोग कर ठीक संकलित मैं अभी भी नहीं 100% यकीन है कि आप क्या चाहते हैं, लेकिन आप की कोशिश कर सकते।
:
यह दृश्य स्टूडियो पर संकलित

template <typename T> 
class Base { 
    public: 
    template <typename U> 
    class Nested { }; 
}; 

template <typename T> 
class Derived : public Base<T> { 
    public: 
    //now we want to use the Nested class here 
    template <typename U> 
    class NestedDerived : public Nested<U> { }; 
}; 

int _tmain(int argc, _TCHAR* argv[]) 
{ 
Base<int>::Nested<double> blah2; 
Derived<int>::NestedDerived<int> blah; 

return 0; 
} 

Answer 4

यह काम करने के लिए लगता है (संपादित करें:।! पहले टेम्पलेट बयान को दिखाने के लिए कुछ और पंक्तियां जोड़ी और समीर तलवार के लिए धन्यवाद मेरी स्वरूपण को सही करने के लिए)

template <typename T, typename U> 
class Derived : public Base<T> { 
    public: 
    typedef typename Base<T>::template Nested<U> Nested; 

    class NestedDerived : public Nested { }; 

    Nested nestedVar; 
};