रोकें प्रत्येक उपवर्ग

Question

यहाँ के लिए लेखन क्लोन विधि मेरी मामला है:

class A 
{ 
public: 
    virtual A* clone() = 0; 
}; 

class B : public A 
{ 
    virtual B* clone() override 
    { 
     return new B(); 
    } 
}; 

मेरी कोड A की sublcasses के अब 100% में सिर्फ clone विधि ठीक उसी तरह केवल वर्ग D के लिए मैं वापसी प्रकार D है लागू और मैं निश्चित रूप से D का ऑब्जेक्ट बना देता हूं।

मैं इस डुप्लिकेशन को कैसे रोक सकता हूं? क्या पैटर्न या चाल मदद कर सकते हैं?

मैंने CRTP pattern का उपयोग करने का विचार किया है, लेकिन यह टेम्पलेट का उपयोग करता है, और मेरा कार्य वर्चुअल है। जैसा कि हम टेम्पलेट्स और आभासी कार्यों को समझते हैं असंगत हैं।

NVI pattern या तो काम नहीं करता है, क्योंकि क्लोन विधियों के रिटर्न प्रकार अलग हैं।

Answer 1

[class.virtual]/8:

D::f की covariant वापसी प्रकार में वर्ग प्रकार से अलग हैं कि B::f की, D::f की वापसी प्रकार में वर्ग प्रकार पर पूरा किया जाएगा D::f की घोषणा का बिंदु या प्रकार D श्रेणी होगी।

तो CRTP, पूरी तरह से काम नहीं कर सकते हैं के बाद से टेम्पलेट तर्क जो व्युत्पन्न वर्ग को संदर्भित करता है एक अधूरी प्रकार होगा, और इस तरह covariant वापसी प्रकार मुश्किल अनुकरण करने के लिए कर रहे हैं।

class A 
{ 
public: 
    virtual A* clone() = 0; 
}; 

namespace detail { 
    template <typename T> 
    struct Cloner : A { 
     using A::A; // For constructors 
     virtual A* clone() override {return new T;} 
    }; 
} 

template <typename T> 
struct Cloner : detail::Cloner<T> { 
    using detail::Cloner<T>::Cloner; // For constructors 

    // For callers 
    template <class=void> 
    T* clone() {return static_cast<T*>(detail::Cloner<T>::clone());} 
}; 

class B : public Cloner<B> 
{ 
}; 

Demo:

हालांकि, यहां एक कोशिश है।

नोट दो बातें:

• व्युत्पन्न वर्ग प्रकार के सूचक के लौटने clone का अधिभार एक समारोह टेम्पलेट है। ऐसा इसलिए है कि हम वर्चुअल फ़ंक्शन clone को ओवरराइड नहीं करते हैं: यदि हम चाहते हैं, तो कोड खराब हो जाएगा, क्योंकि रिटर्न प्रकार कॉन्वर्सेंट नहीं है (ऊपर देखें)।

• क्योंकि clone एक फ़ंक्शन टेम्पलेट है, यह सुनिश्चित करने के लिए कि यह बिल्कुल कहलाता है, हम इसे वर्चुअल clone फ़ंक्शन को छुपाने दे सकते हैं। यह विरासत के माध्यम से प्राप्त किया गया है: व्युत्पन्न कक्षाओं में नाम बेस कक्षाओं में नाम छिपाते हैं। इस प्रकार यदि हम B-पॉइंटर/संदर्भ के माध्यम से कॉल करते हैं, तो हमें उपयुक्त रिटर्न प्रकार (B*) मिलता है, क्योंकि में detail::Cloner से पहले नाम देखा गया है।