दो खाली खाली घुंघराले ब्रेसिज़ क्यों {{}} एक तत्व के साथ एक std :: startizer_list <double> बनाता है, शून्य नहीं?

Question

है मैं निम्नलिखित निर्माता:

MyItem(std::initializer_list<double> l) { 
    std::cout << "l size " << l.size() << ")" << std::endl; 
} 

जो बाद में डबल घुंघराले ब्रेसिज़ के साथ कहा जाता है:

MyItem{{}} 

परिणाम l.size() देता है 1.

है यांत्रिकी के पीछे क्या है ऐसा व्यवहार?

ऐसा लगता है कि एकमात्र तत्व के लिए एक डिफ़ॉल्ट कन्स्ट्रक्टर की तरह नेस्टेड {} नाटकों की तरह लगता है, लेकिन मुझे समझ में नहीं आता कि कटौती क्यों और कैसे टाइप करती है।

Answer 1

जब आप MyItem ऑब्जेक्ट को प्रारंभ करने के लिए ब्रेसिज़ (सूची-प्रारंभिकरण) का उपयोग करते हैं, तो आपके द्वारा दिखाए गए सूची निर्माता बहुत लालची हैं।

MyItem foo{{}}; 

यह काम करता है क्योंकि वहाँ कुछ संदर्भों हैं: - एक मूल्य-प्रारंभ double (0,0)

MyItem foo({}); 
MyItem foo{std::initializer_list<double>{}}; 

यह एक एक भी तत्व से युक्त सूची से गुजरता है:

ये एक खाली सूची से होकर गुजरेगा जहां आप ज्ञात प्रकार के स्थान पर बस ब्रेसिज़ का उपयोग कर सकते हैं। यहां, यह सूची निर्माता को पसंद करने से जानता है कि दी गई सूची में double होना चाहिए।

पूर्णता के लिए, ऐसा लगता है कि यह एक खाली सूची पास करता है, लेकिन यह वास्तव में foo को प्रारंभ करता है यदि उसके पास डिफ़ॉल्ट कन्स्ट्रक्टर है (या विशेष मामलों में, लगभग कुछ समकक्ष करता है)। यदि कोई डिफ़ॉल्ट कन्स्ट्रक्टर नहीं है, तो यह सूची निर्माता, as shown here का चयन करेगा।

MyItem foo{}; 

Answer 2

यह अभिव्यक्ति

MyItem{{}} 

स्पष्ट प्रकार रूपांतरण (कार्यात्मक संकेतन) को दर्शाता है।

सी ++ मानक के अनुसार (5.2.3 स्पष्ट प्रकार रूपांतरण (कार्यात्मक अंकन))

1. इसी तरह, एक सरल प्रकार-विनिर्देशक या typename-विनिर्देशक के बाद ब्रेस्ड-इनिट-लिस्ट निर्दिष्ट प्रकार डायरेक्ट-लिस्ट-प्रारंभिक (8.5.4) निर्दिष्ट ब्रेस्ड-इनिट-सूची, के साथ एक अस्थायी ऑब्जेक्ट बनाता है और इसका मान अस्थायी वस्तु के रूप में है।

कक्षा MyItem रूपांतरण प्रारंभकर्ता-सूची निर्माता

MyItem(std::initializer_list<double> l) { 
    std::cout << "l size " << l.size() << ")" << std::endl; 
} 

कि स्पष्ट प्रकार रूपांतरण के लिए चयन किया जाता है है।वास्तव में यह तो निर्माता एक तत्व

{ {} } 

प्रकार का एक अदिश वस्तु डबल एक रिक्त ब्रेसेस {} साथ प्रारंभ किया जा सकता है के साथ एक प्रारंभकर्ता सूची हो जाता है कॉल

MyItem({{}}); 

के बराबर है।

परिणामस्वरूप अभिव्यक्ति MyItem प्रकार का अस्थायी ऑब्जेक्ट बनाता है जिसे प्रारंभकर्ता सूची द्वारा प्रारंभ किया जाता है जिसमें डबल ब्रेसिज़ के माध्यम से मूल्य-प्रारंभिक प्रकार का एक तत्व होता है।