Dlaczego lista wiersza-inicjalizowanego zachowuje się inaczej w wywołaniu funkcji w porównaniu z wywołaniem konstruktora?

Question

Kompilowanie następującego kodu z kodem 3.5.0 i gcc 4.9.1 powoduje błąd w ostatniej instrukcji.

#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? <<< 
} 

Dlaczego Foo({1, 2}) porządku podczas bar({1, 2}) nie jest?

Szczególnie byłoby wspaniale dowiedzieć się o racjonalności.

Answer 1

Foo({1,2}) tworzy tymczasowy obiekt Foo i wywołuje konstruktor kopiowania.

Zobacz ten zmodyfikowany przykład z konstruktora kopii usunięcia: http://coliru.stacked-crooked.com/a/6cb80746a8479799

błędy go z:

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

Answer 2

Linia

bar({1, 2}); 

faktycznie przechodzi w funkcji bar, tymczasowy obiekt z wpisz

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

i nie ma możliwości przekonwertowania tego tymczasowego obiektu na typ pierwszego argumentu, który jest int. Zatem error

nie może konwertować <brace-enclosed initializer list> do int dla argumentu 1 do

void bar(int, int)