Perché la bretella-init-list si comporta diversamente in una chiamata di funzione rispetto a una chiamata del costruttore?

Question

Compilare il seguente codice con clang 3.5.0 e gcc 4.9.1 restituisce un errore nell'ultima istruzione.

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

Perché Foo({1, 2}) bene mentre bar({1, 2}) non lo è?

In particolare, sarebbe bello conoscere la logica.

Answer 1

Foo({1,2}) crea un oggetto Foo temporaneo e chiama il costruttore di copie.

Vedi questo esempio modificato con costruttore di copia eliminare: http://coliru.stacked-crooked.com/a/6cb80746a8479799

errori It con:

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

Answer 2

La linea

bar({1, 2}); 

passa effettivamente in funzione bar, un oggetto temporaneo di digitare

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

e non esiste alcun modo per convertire questo oggetto temporaneo al tipo del primo argomento che è un int. Così il error

non può convertire <brace-enclosed initializer list> a int per argomento 1 a

void bar(int, int)