ब्रांडेड-इनिट-लिस्ट एक कन्स्ट्रक्टर आमंत्रण बनाम फ़ंक्शन कॉल में अलग-अलग व्यवहार क्यों करती है?

Question

क्लैंग 3.5.0 और जीसीसी 4.9.1 के साथ निम्न कोड संकलित अंतिम विवरण में एक त्रुटि उत्पन्न करता है। जबकि bar({1, 2}) नहीं है

#include <iostream> 

struct Foo { Foo(int x, int y) { std::cout << "Foo(int = " << x << ", int = " << y << ")" << std::endl; } }; 

void bar(int x, int y) { std::cout << "bar(int = " << x << ", int = " << y << ")" << std::endl; } 

int main() 
{ 
    Foo({}, {}); // Foo(int = 0, int = 0) 
    Foo({1}, {2}); // Foo(int = 1, int = 2) 
    Foo({1, 2}); // Foo(int = 1, int = 2) 

    bar({}, {}); // bar(int = 0, int = 0) 
    bar({1}, {2}); // bar(int = 1, int = 2) 
    bar({1, 2}); // error: no matching function for call to 'bar' <<< Why? <<< 
} 

क्यों Foo({1, 2}) ठीक है?

विशेष रूप से, तर्क के बारे में जानना बहुत अच्छा होगा।

Answer 1

Foo({1,2}) एक अस्थायी Foo ऑब्जेक्ट बनाता है और कॉपी कन्स्ट्रक्टर को कॉल करता है।

प्रतिलिपि निर्माता के साथ इस संशोधित उदाहरण देखें हटाएँ: http://coliru.stacked-crooked.com/a/6cb80746a8479799

यह त्रुटियों के साथ:

main.cpp:6:5: note: candidate constructor has been explicitly deleted 
    Foo(const Foo& f) = delete; 

Answer 2

लाइन

bar({1, 2}); 

वास्तव में bar समारोह में गुजरता है, की एक अस्थायी वस्तु टाइप करें

<brace-enclosed initializer list> // it's made clear in the comments that brace initializers have no type 

और इस अस्थायी वस्तु को पहले तर्क के प्रकार में परिवर्तित करने का कोई तरीका नहीं है जो int है। इस प्रकार error

<brace-enclosed initializer list>int को तर्क 1 के लिए परिवर्तित नहीं कर सकते

void bar(int, int)