CRTP में टेम्पलेट पैरामीटर के नेस्टेड वर्ग का उपयोग करना

Question

मान लीजिए इस प्रकार मैं एक टेम्पलेट T टेम्पलेट पैरामीटर P की एक नेस्टेड वर्ग का उपयोग करता है परिभाषित,:

template<class P> class T 
{ 
public: 
    T(P& p) : p(p) {} 
    P& p; 
    typename P::Nested& get_nested() { return p.nested; } 
}; 

अगर मैं एक वर्ग A कि एक नेस्टेड वर्ग नामित शामिल घोषित अब

class A 
{ 
public: 
    class Nested 
    { 
    public: 
     int i; 
    }; 
    Nested nested; 
}; 

void test2a() 
{ 
    A a; 
    a.nested.i = 1; 
    T<A> t_a(a); 
    t_a.get_nested().i = 2; 
} 

, मैं एक वर्ग B कि, उसी तरह से, एक नेस्टेड CLA शामिल घोषित करने के लिए करना चाहते हैं: Nested, मुझे कोई समस्या नहीं के साथ प्रकार T<A> के एक चर परिभाषित कर सकते हैं एस एस Nested नामित और इस प्रकार है कि, T<B> से विरासत:

class B : public T<B> 
{ 
public: 
    class Nested 
    { 
    public: 
     int i; 
    }; 
    Nested nested; 
}; 

उपरोक्त कोड का संकलन त्रुटि के साथ विफल: "नेस्टेडबी का सदस्य नहीं है"

मुझे लगता है कि मैं समझता हूँ कि क्या हो रहा है: उस समय टेम्पलेट दर्ज किया गया है, कक्षा बी को विरासत के कारण अपूर्ण रूप से परिभाषित किया गया है।

हालांकि, मैं अगर वहाँ मदद के लिए ऐसा करने के लिए ...

धन्यवाद किसी भी तरह से है सोच रहा हूँ।

Answer 1

मैं अपने उदाहरण के लिए एक और दृष्टिकोण, बस

template<class P> class T 
{ 
public: 
    T(P& p) : p(p) {} 
    P& p; 
    auto& get_nested() { return p.nested; } 
}; 

साथ संकलन @ecatmur रूप में एक ही चाल का शोषण कर रहा था, लेकिन थोड़ा सरल:

template<class R = P> 
typename R::Nested& get_nested() { return p.nested; } 

इसी तरह, यहाँ संकलक है P::Nested के मूल्यांकन को स्थगित करने के लिए जब तक आप get_nested() पर कॉल न करें।

Answer 2

आपको get_nested के रिटर्न प्रकार के रिज़ॉल्यूशन को तब तक स्थगित करने की आवश्यकता है जब तक इसे कॉल न किया जाए।

template<typename unused = void> 
    typename std::conditional<false, unused, P>::type::Nested& 
    get_nested() { return p.nested; } 

एक और तरीका है (के बाद से सी ++ 14) वापसी प्रकार कटौती का उपयोग करना है:

auto& get_nested() { return p.nested; }