क्या मैं एक shared_ptr को 0 असाइन कर सकता हूं? क्यूं कर?

Question

मुझे एहसास हुआ कि निम्नलिखित जीसीसी 4.7 में ठीक संकलित:

#include <memory> 

int main() { 
    std::shared_ptr<int> p; 
    p = 0; 
} 

हालांकि, वहाँ int से या int* से कोई असाइनमेंट ऑपरेटर है, और या तो int या int* या तो से कोई अंतर्निहित निर्माता है। int* से एक कन्स्ट्रक्टर है, लेकिन वह स्पष्ट है। मैंने मानक पुस्तकालय कार्यान्वयन की जांच की और निर्माता वास्तव में स्पष्ट है, और कोई फिशी असाइनमेंट ऑपरेटर दृष्टि में नहीं हैं।

क्या कार्यक्रम वास्तव में अच्छी तरह से गठित है या जीसीसी मेरे साथ गड़बड़ कर रहा है?

Answer 1

कारण यह काम करता है मानक से इस छोटे से उद्धरण है:

§4.10 [conv.ptr] p1

एक नल पॉइंटर स्थिर है एक अभिन्न निरंतर अभिव्यक्ति (5.19) पूर्णांक प्रकार की prvalue कि शून्य करने के लिए मूल्यांकन करता है या std::nullptr_t के प्रकार का प्रसार। [...] अभिन्न प्रकार के एक शून्य सूचक स्थिर को std::nullptr_t के प्रकार के रूप में परिवर्तित किया जा सकता है। [...]

और इस तथ्य है std::shared_ptrstd::nullptr_t से एक अंतर्निहित निर्माता है:

§20.7.2.2 [util.smartptr.shared] p1

constexpr shared_ptr(nullptr_t) : shared_ptr() { }

यह भी इस तरह कुछ विषमताएं के लिए अनुमति देता है:

#include <memory> 

void f(std::shared_ptr<int>){} 

int main(){ 
    f(42 - 42); 
} 

Live example.

Answer 2

आप केवल एक साझा सूचक का एक और उदाहरण के लिए एक साझा सूचक प्रदान कर सकते हैं। Share_pointer धारण प्रकार को असाइन करना संभव नहीं है।

shared_ptr& operator=(const shared_ptr& r);

तुम क्या कर रहे 0 बताए है (जो इस मामले में बराबर होती है शून्य) सूचक के लिए, नहीं प्रकार के मूल्य: afaik इस ऑपरेटर के लिए केवल अधिभार है। आप कोड में इस बिंदु पर भी प्रारंभ नहीं किया गया है।