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}); 

을하지만, 또한 사용할 수 있습니다 {1,2,3} 및 std::initializer_list<int>({1,2,3}) :

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

날의 차이점은 무엇입니까 궁금하게하는?

Answer 1

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}으로 초기화 할 수 있습니다.

컴파일러가 형식을 추론 할 수 있기 때문에 세 번째 호출도 컴파일됩니다. std::initializer_list<int>({1,2,3})은 분명히 std::initializer_list<int>이므로 전달 된 prvalue로 t을 초기화 할 수 있습니다.