[] का उपयोग करते समय C ++ मानचित्र प्रकार के तर्क के लिए खाली कंस्ट्रक्टर की आवश्यकता क्यों होती है?

Question 1

C ++ मानक सूची और डिफ़ॉल्ट-निर्माण योग्य प्रकार भी देखें

एक बड़ा मुद्दा नहीं है, सिर्फ इसलिए कि मैं नहीं चाहता कि मेरी कक्षा विशेष तर्कों के बिना कभी भी त्वरित हो।

#include <map>

struct MyClass
{
    MyClass(int t);
};

int main() {
    std::map<int, MyClass> myMap;
    myMap[14] = MyClass(42);
}

यह मुझे निम्न g ++ त्रुटि देता है:

/us/

यदि मैं एक डिफ़ॉल्ट रचनाकार जोड़ता हूं तो यह ठीक संकलित करता है; मुझे लगता है कि यह गलत वाक्य रचना के कारण नहीं है।

Question 2

यह समस्या ऑपरेटर [] के साथ आती है। SGI प्रलेखन से उद्धरण:

data_type& operator[](const key_type& k)- उस वस्तु का संदर्भ देता है जो किसी विशेष कुंजी से जुड़ी होती है। यदि मानचित्र में पहले से ही ऐसा ऑब्जेक्ट नहीं है, operator[] तो डिफ़ॉल्ट ऑब्जेक्ट को सम्मिलित करता है data_type()।

यदि आपके पास डिफ़ॉल्ट कंस्ट्रक्टर नहीं है, तो आप इन्सर्ट / फ़ंक्शंस का उपयोग कर सकते हैं। निम्नलिखित उदाहरण ठीक काम करता है:

myMap.insert( std::map< int, MyClass >::value_type ( 1, MyClass(1) ) );
myMap.find( 1 )->second;

Question 3

हाँ। एसटीएल कंटेनरों में मूल्यों को कॉपी शब्दार्थ बनाए रखने की आवश्यकता है। IOW, उन्हें आदिम प्रकार (जैसे int) का व्यवहार करने की आवश्यकता है, जिसका अर्थ है, अन्य चीजों के बीच, उन्हें डिफ़ॉल्ट-रचनात्मक होना चाहिए।

इसके (और अन्य आवश्यकताओं के बिना) एसटीएल कंटेनरों को लागू करने वाले डेटा संरचनाओं पर विभिन्न आंतरिक कॉपी / चाल / स्वैप / संचालन की तुलना करना मुश्किल होगा।

C ++ मानक के संदर्भ में, मुझे लगता है कि मेरा उत्तर सटीक नहीं था। डिफ़ॉल्ट-निर्माण वास्तव में, आवश्यकता नहीं है :

20.1.4.1 से:

डिफ़ॉल्ट निर्माता की आवश्यकता नहीं है। कुछ कंटेनर क्लास सदस्य फ़ंक्शन हस्ताक्षर डिफ़ॉल्ट तर्क के रूप में डिफ़ॉल्ट निर्माता को निर्दिष्ट करते हैं। टी () एक अच्छी तरह से परिभाषित अभिव्यक्ति होनी चाहिए ...

इसलिए, कड़ाई से बोलते हुए, आपके मूल्य प्रकार को केवल डिफ़ॉल्ट रूप से रचनात्मक होने की आवश्यकता होती है यदि आप कंटेनर के एक फ़ंक्शन का उपयोग करते हैं जो अपने हस्ताक्षर में डिफ़ॉल्ट निर्माणकर्ता का उपयोग करता है।

वास्तविक आवश्यकताएं (23.1.3) एसटीएल कंटेनरों में संग्रहीत सभी मूल्यों से हैं CopyConstructibleऔर Assignable।

विशेष रूप से कंटेनरों के लिए अन्य विशिष्ट आवश्यकताएं भी हैं, जैसे कि होना Comparable(उदाहरण के लिए मानचित्र में कुंजियाँ)।

संयोग से, निम्न कोमो पर कोई त्रुटि नहीं है :

#include <map>

class MyClass
{
public:
    MyClass(int t);
};

int main()
{
    std::map<int, MyClass> myMap;
}

तो यह एक जी ++ समस्या हो सकती है।

Question 4

संग्रहीत प्रकार की stl :: मानचित्र की आवश्यकताओं की जाँच करें। कई stl संग्रह की आवश्यकता है कि संग्रहीत प्रकार में कुछ विशिष्ट गुण (डिफ़ॉल्ट निर्माता, प्रतिलिपि निर्माता, आदि) हैं।

तर्क के बिना कंस्ट्रक्टर को stl :: मैप की आवश्यकता होती है, क्योंकि इसका उपयोग तब किया जाता है, जब ऑपरेटर [] कुंजी के साथ लगाया जाता है, जो पहले से ही मैप द्वारा नहीं रखा गया है। इस मामले में ऑपरेटर [] नई प्रविष्टि को सम्मिलित करता है जिसमें पैरामीटर रहित निर्माणकर्ता का उपयोग करके निर्मित नई कुंजी और मूल्य शामिल होता है। और फिर यह नया मान लौटाया जाता है।

Question 5

अगर जांच:

आप भूल गए '' कक्षा की घोषणा के बाद।
MyType को तदनुसार घोषित किया जाना चाहिए था।
कोई डिफ़ॉल्ट कंस्ट्रक्टर नहीं ...

एसटीडी :: नक्शा घोषणा सही लगती है, मुझे लगता है।

Question 6

सबसे अधिक संभावना है क्योंकि std :: pair को इसकी आवश्यकता होती है। std :: pair वैल्यू सिमेंटिक्स का उपयोग करके दो मान रखती है, इसलिए आपको मापदंडों के बिना उन्हें तुरंत सक्षम करने की आवश्यकता है। इसलिए कोड कॉलर को मानचित्र मान वापस करने के लिए विभिन्न स्थानों में std :: pair का उपयोग करता है और यह आमतौर पर एक स्थानीय जोड़ी को वापस करने से पहले एक खाली जोड़ी को तत्काल भरने और उसमें मान निर्दिष्ट करने के द्वारा किया जाता है।

आप एक नक्शा <int, smartptr <MyClass>> का उपयोग करके स्मार्ट पॉइंटर्स के साथ इसे प्राप्त कर सकते हैं, लेकिन यह अशक्त बिंदुओं के लिए जाँच का ओवरहेड जोड़ता है।