Jaka jest różnica między std :: initializer_list <int> ({1,2,3}) i {1,2,3}?

Question

Mam następujących funkcji szablonu:

template<typename T> void foo2(T t) {} 

wiem, że nie można nazwać go za pomocą:

foo2({1,2,3}); 

ponieważ lista inicjująca jest non wyprowadzoną kontekst dla szablonu argumentu. Muszę użyć:

foo2<std::initializer_list<int>>({1,2,3}); 

ale mogę również użyć:

foo2(std::initializer_list<int>({1,2,3})); 

co sprawia, że ​​zastanawiam się, jaka jest różnica pomiędzy: {1,2,3} i std::initializer_list<int>({1,2,3})?

Answer 1

A braced-init list nie jest wyrażeniem, a zatem nie ma typu. Podczas rozmowy telefonicznej

foo2({1,2,3}); 

kompilator nie wie, jaki rodzaj {1,2,3} reprezentuje w swoim umyśle, a więc nie skompilować.

foo2<std::initializer_list<int>>({1,2,3}); 

kompiluje bo tu kompilator nie musi wywnioskować typ, podałeś to, to jest std::initializer_list<int>. Może zainicjować t z {1,2,3}.

Trzecie połączenie również kompiluje, ponieważ kompilator może wywnioskować typ. std::initializer_list<int>({1,2,3}) to oczywiście std::initializer_list<int>, dzięki czemu może zainicjować t z przekazaną wartością prava.