= deleteवाक्यविन्यास का आधा उद्देश्य कुछ मापदंडों के साथ लोगों को कुछ कार्यों को कॉल करने से रोकने में सक्षम होना है। यह मुख्य रूप से कुछ विशिष्ट परिदृश्यों में निहित रूपांतरणों को रोकने के लिए है। किसी विशेष अधिभार को रोकने के लिए, इसे अधिभार संकल्प में भाग लेना होगा।
आपके द्वारा दिया गया उत्तर आपको एक आदर्श उदाहरण देता है:
struct onlydouble {
onlydouble(std::intmax_t) = delete;
onlydouble(double);
};
यदि deleteफ़ंक्शन को पूरी तरह से हटा दिया जाता है, तो यह = deleteसिंटैक्स को इसके बराबर बना देगा :
struct onlydouble2 {
onlydouble2(double);
};
आप ऐसा कर सकते हैं:
onlydouble2 val(20);
यह कानूनी C ++ है। कंपाइलर सभी निर्माणकर्ताओं को देखेगा; उनमें से कोई भी सीधे पूर्णांक प्रकार नहीं लेता है। लेकिन उनमें से एक अंतर्निहित रूपांतरण के बाद इसे ले सकता है। तो यह है कि फोन करेंगे।
onlydouble val(20);
यह कानूनी C ++ नहीं है। कंपाइलर deleteडी सहित सभी निर्माणकर्ताओं को देखेगा । यह एक सटीक मैच देखेगा, के माध्यम से std::intmax_t(जो किसी भी पूर्णांक शाब्दिक से मेल खाएगा)। तो संकलक इसे चुन लेंगे और फिर तुरंत एक त्रुटि जारी करेंगे, क्योंकि यह एक deleteडी फ़ंक्शन का चयन करता है।
= deleteइसका मतलब है "मैं यह मना करता हूं," केवल नहीं, "यह मौजूद नहीं है।" यह ज्यादा मजबूत बयान है।
मैं पूछ रहा था कि C ++ मानक क्यों कहता है = हटाएँ का अर्थ है "मैं इसे मना करता हूं" के बजाय "यह मौजूद नहीं है"
ऐसा इसलिए है क्योंकि हमें यह कहने के लिए विशेष व्याकरण की आवश्यकता नहीं है "यह मौजूद नहीं है।" हम इस प्रश्न में विशेष रूप से "इस" की घोषणा नहीं करते हैं। "मैं इसे मना करता हूं" एक निर्माण का प्रतिनिधित्व करता है जिसे विशेष व्याकरण के बिना प्राप्त नहीं किया जा सकता है। इसलिए हमें "मैं इसे मना करता हूं" कहने के लिए विशेष व्याकरण मिलता है, दूसरी बात नहीं।
एकमात्र कार्यक्षमता जो आपके पास स्पष्ट है "यह मौजूद नहीं है" व्याकरण होगा किसी को बाद में इसे अस्तित्व में घोषित करने से रोकने के लिए होगा। और यह सिर्फ इतना उपयोगी नहीं है कि इसके अपने व्याकरण की आवश्यकता हो।
अन्यथा यह घोषित करने का कोई तरीका नहीं है कि प्रतिलिपि निर्माता मौजूद नहीं है, और इसके अस्तित्व के कारण निरर्थक अस्पष्टताएं हो सकती हैं।
कॉपी कंस्ट्रक्टर एक विशेष सदस्य फ़ंक्शन है। हर क्लास में हमेशा कॉपी कंस्ट्रक्टर होता है। जैसे उनके पास हमेशा कॉपी असाइनमेंट ऑपरेटर, मूव कंस्ट्रक्टर आदि होते हैं।
ये कार्य मौजूद हैं; सवाल केवल यह है कि क्या उन्हें कॉल करना कानूनी है। यदि आपने यह कहने की कोशिश की है कि = deleteइसका मतलब है कि वे मौजूद नहीं थे, तो विनिर्देश को यह बताना होगा कि फ़ंक्शन के मौजूद न होने का क्या अर्थ है। यह एक अवधारणा नहीं है जिसे विनिर्देशन संभालता है।
यदि आप ऐसे फ़ंक्शन को कॉल करने का प्रयास करते हैं जो अभी तक घोषित / परिभाषित नहीं किया गया है, तो कंपाइलर त्रुटि करेगा। लेकिन यह एक अपरिभाषित पहचानकर्ता के कारण त्रुटि करेगा , न कि "फ़ंक्शन मौजूद नहीं है" त्रुटि के कारण (भले ही आपका कंपाइलर इसे इस तरह से रिपोर्ट करता है)। विभिन्न निर्माणकर्ताओं को सभी अधिभार संकल्प द्वारा कहा जाता है, इसलिए उनके "अस्तित्व" को उस संबंध में नियंत्रित किया जाता है।
हर मामले में, या तो पहचानकर्ता के माध्यम से घोषित एक फ़ंक्शन है, या एक कंस्ट्रक्टर / विध्वंसक (यह भी पहचानकर्ता के माध्यम से घोषित किया गया है, बस एक प्रकार की पहचानकर्ता)। संचालक ओवरलोडिंग पहचानकर्ता को सिंटैक्टिक चीनी के पीछे छिपा देता है, लेकिन यह अभी भी है।
C ++ विनिर्देशन "मौजूद नहीं है" फ़ंक्शन की अवधारणा को संभाल नहीं सकता है। यह एक अधिभार बेमेल को संभाल सकता है। यह एक अधिभार अस्पष्टता को संभाल सकता है। लेकिन यह पता नहीं है कि वहाँ क्या नहीं है। तो = deleteकम उपयोगी के बजाय "इस कॉल को विफल करने का प्रयास" के रूप में अधिक उपयोगी के रूप में परिभाषित किया गया है "दिखावा मैंने इस लाइन को कभी नहीं लिखा।"
और फिर से, पहले भाग को फिर से पढ़ें। आप ऐसा नहीं कर सकते "फ़ंक्शन मौजूद नहीं है।" इसका एक और कारण है कि इसे इस तरह परिभाषित किया गया है: क्योंकि = deleteसिंटैक्स के मुख्य उपयोग मामलों में से एक उपयोगकर्ता को कुछ पैरामीटर प्रकारों का उपयोग करने के लिए, स्पष्ट रूप से और आगे के लिए मजबूर करने में सक्षम होना है। मूल रूप से, अंतर्निहित प्रकार रूपांतरणों को विफल करने के लिए।
आपका सुझाव ऐसा नहीं होगा।