सामान्यीकृत प्रतिलिपि बनाने वाले

Question

shared_ptr जैसी कक्षाओं को उनके रचनाकारों में एक और टेम्पलेट क्यों है?

उदाहरण के लिए:

template<class T> class shared_ptr { 
public: 
    template<class Y> 
    explicit shared_ptr(Y * p); 

मैं स्कॉट Meyers के प्रभावी सी ++, मद 45 है, जो कहते हैं कि यह पीछे विचार यह उन के माध्यम से बहुरूपता संभव बनाने के लिए है पढ़ने किया गया है; जो है, shared_ptr<B> से shared_ptr<A> निर्माण बी ए

से ली गई है लेकिन

explicit shared_ptr(T * p); 

काफी की तरह एक निर्माता को परिभाषित नहीं कर रहा है तो क्या होगा? मेरा मतलब है, इस कोड को बस ठीक काम करता है:

class C1 { 
}; 

class C2 : public C1 { 
}; 

template<typename T> 
class A 
{ 
public: 
    A(T &a) 
    { 
    var1 = a; 
    } 

    T var1; 
}; 

int main(int argc, char *argv[]) 
{ 
    C2 c2; 
    A<C1> inst1(c2); 
} 

तो क्यों न हम वहाँ निर्माता के लिए एक और टेम्पलेट की जरूरत है? केवल एक Base* लेता

#include <memory> 

class Base {}; 
class Derived : public Base {}; 

int main() { 
    std::shared_ptr<Base> ptr(new Derived); 
} 

तो shared_ptr, यह अंततः कि Base* सूचक पर delete कॉल करने के लिए मजबूर किया जाता है:

Answer 1

टेम्पलेट निर्माता के बिना, निम्नलिखित कोड अपरिभाषित व्यवहार होगा। लेकिन चूंकि Base में वर्चुअल विनाशक नहीं है और पॉइंटर वास्तव में Derived पर इंगित करता है, यह अपरिभाषित व्यवहार है।

लेकिन वास्तव में, उपरोक्त कोड अच्छी तरह से गठित है। shared_ptr के लिए टेम्पलेट कन्स्ट्रक्टर Derived* पॉइंटर लेता है और एक कस्टम डिलीटर स्टोर करता है जो को Derived* पॉइंटर पर कॉल करता है, जो ठीक है।

Answer 2

explicit shared_ptr(T * p); 

तो shared_ptr केवल इस निर्माता था, यह अपने पूरे उद्देश्य, एक संदर्भ बार गणना सूचक प्रदान करना है जो हार जाएगा।

संदर्भ गणना (या इसके बजाय एक सूचक) shared_ptr का एक हिस्सा है। इसे हर बार shared_ptr बनाया, नष्ट या कॉपी किया जाना चाहिए। और यह अंतिम भाग केवल तभी हासिल किया जा सकता है जब shared_ptr प्रतिलिपि दिनचर्या में पास हो जाए। एक नंगे सूचक को पास करने के लिए shared_ptr की संदर्भ संख्या

एक संदर्भ-गणना सूचक केवल तभी साझा किया जाता है जब इसकी संदर्भ संख्या 1 से अधिक हो जाती है। आपकी योजना के साथ यह स्पष्ट नहीं होता कि यह कभी भी होने वाला माना जाता है।

कुछ संदर्भ-गणना कार्यक्षमता सामान्य (गैर-टेम्पलेट) प्रतिलिपि निर्माता द्वारा प्रदान की जाती है। लेकिन यह सब नहीं।

उदाहरण के लिए

,

std::shared_ptr<Derived> d; 
std_shared_ptr<Base> b; 
... 
b = d; 

टेम्पलेट "कॉपी 'निर्माता के बिना संकलित करने के लिए विफल हो जाएगा। हम साझा poiters सामान्य संकेत के रूप में ही बहुरूपी व्यवहार प्रदान करना चाहते हैं, तो हम बस काम करने के लिए ऊपर निर्माण चाहते हैं। एक टेम्पलेट कन्स्ट्रक्टर यह प्रदान करता है।