std :: initializer_list <int>（{1,2,3}）と{1,2,3}の違いは何ですか？

Question

私は、次のしているテンプレート関数：

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

私は私が使用してそれを呼び出すことはできませんことを知っている：初期化子リストは、テンプレート引数のための非推定されるコンテキストがある

foo2({1,2,3}); 

ので。私が使用する必要があります：

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

を私はまた、使用することができます。

私は違いが何であるかを思ってしまう

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

：{1,2,3}とstd::initializer_list<int>({1,2,3})は？

Answer 1

A braced-init list発現ないので、タイプを持っていません。あなたは

foo2({1,2,3}); 

を呼び出すと、コンパイラは{1,2,3}があなたの心に何を表すのかのタイプを知りませんし、それはコンパイルされません。

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

は、ここでは、コンパイラが型を推測する必要がないので、あなたはそれを指定している、それはstd::initializer_list<int>でコンパイルされます。したがって、tを{1,2,3}で初期化することができます。

コンパイラが型を推定できるので、3番目の呼び出しもコンパイルされます。 std::initializer_list<int>({1,2,3})は明らかにstd::initializer_list<int>であるため、渡されたprvalueでtを初期化できます。