का प्रयोग = के अर्थ में डिफ़ॉल्ट = हटाना

Question

निम्नलिखित कोड अच्छी तरह से संकलित किया गया है:

struct B { 
    B(int) {} 
}; 

struct D : B { 
    D() = default; 
}; 

जब तक मैं वर्ग D का एक उदाहरण बनाने के लिए:

D d; // error: use of deleted function 'D::D()' 

तो ऐसा कोई कारण (उपयोग के मामले है) D के कन्स्ट्रक्टर के लिए अनुमति देने के लिए, जब यह वास्तव में = delete; के रूप में काम करता है?

Answer 1

g++ त्रुटि में एक अच्छा विवरण देता है:

bla.cpp:6:5: note: ‘D::D()’ is implicitly deleted because the default definition would be ill-formed: D() = default;

डिफ़ॉल्ट निर्माता D के सभी भागों का निर्माण करने का प्रयास करेंगे। आपके पास कोई फ़ील्ड नहीं है, लेकिन इसमें प्रारंभिक B है - जिसमें कोई खाली कन्स्ट्रक्टर नहीं है, केवल int एक है।

डिफ़ॉल्ट व्यवहार समझ में आता है - D जब तक कि यह स्पष्ट रूप से कहा जो int साथ B के निर्माण के लिए एक खाली निर्माता नहीं करना चाहिए था, और संकलक अनुमान लगाना नहीं चाहता है। अन्यथा आपके पास D ऑब्जेक्ट होगा, और B कन्स्ट्रक्टर B में जो होता है उसके आधार पर जंक हो सकता है, उदाहरण के लिए यदि कोई फ़ील्ड प्रारंभ करना है।

मुझे यकीन है कि अगर आप अपने सवाल का शाब्दिक मतलब जब आप से पूछना क्यों यह "अनुमति" है, के रूप में B डिफ़ॉल्ट निर्माता हटा दी जाती है नहीं कर रहा हूँ, लेकिन मैं दो कारणों के बारे में सोच सकते हैं:

1. यह व्यवहार अच्छी तरह से परिभाषित किया गया है, और इसे अस्वीकार करने का कोई कारण नहीं है। त्रुटि का पता लगाना केवल तभी जब आप अवैध रूप से कुछ बनाने का प्रयास करते हैं, वैसे भी किया जाता है।
2. यह अधिक लचीला है - B बदलने के लिए एक डिफ़ॉल्ट कन्स्ट्रक्टर स्वचालित रूप से D को एक होने की अनुमति देगा।

Answer 2

Is there any reason (use case) to allow = default for D's constructor, when it's actually works as = delete;?

यह =delete के रूप में काम नहीं करता। यह कहता है कि यह क्या कहना है। कि आप स्पष्ट रूप से संकलक उत्पन्न डिफ़ॉल्ट कार्यान्वयन चाहते हैं।

ऐसा इसलिए होता है कि संकलित किए गए संकलक को परिभाषित किया जाना चाहिए। क्योंकि B का डिफ़ॉल्ट कन्स्ट्रक्टर पूरी तरह से हटा दिया गया है।

Answer 3

B में एक गैर-डिफ़ॉल्ट कन्स्ट्रक्टर है (इसका कन्स्ट्रक्टर एक तर्क लेता है जिसमें डिफ़ॉल्ट मान नहीं है)।

व्युत्पन्न D वर्ग इसलिए एक डिफ़ॉल्ट निर्माता नहीं है, उसके डिफ़ॉल्ट निर्माता को नष्ट कर दिया जाता है (जैसा कि संकलक D के लिए एक निर्माता है कि अपनी मूल वर्ग के B(int) निर्माता कॉल कर सकते हैं उत्पन्न नहीं कर सकते।)

D() = default; बस कहता है कि आप D के लिए डिफ़ॉल्ट कन्स्ट्रक्टर चाहते हैं, और ऊपर वर्णित अनुसार, डिफ़ॉल्ट कन्स्ट्रक्टर हटा दिया गया है।