C++ 模板类型确定问题

[flying_music]

大神帮忙看一下下面的代码为什么不能编译通过

#include <iostream>
#include <string>

using namespace std;

template <typename Type>
void printElements(const Type& col)
{
	for(const auto &item : col){
		cout << item << endl;
	}
}

int main()
{
	auto a = {1, 2, 3, 4};
	printElements(a); //OK
	printElements({1, 2, 3, 4}); //ERROR: couldn't deduce template parameter ‘Type’
	return 0;
}

既然auto可以推导出{1,2,3,4}的类型，然后调用printElements函数，那下面直接用{1,2,3,4}去调用就会提示不能确定类型呢？

[真相重于对错]

百度一下列表初始化

[qybao]

{} 这样的形式在变量初始化的时候可用，否则就是代码块。 比如 {printf(“”);} 这样的形式，lz觉得还是类型吗？

[真相重于对错]

花括号初始化器列表不是表达式，从而没有类型，如 decltype({1,2}) 非良构。没有类型意味着模板类型推导无法推导出与花括号初始化器列表相匹配的类型，因此给定声明 template<class T> void f(T); 则表达式 f({1,2,3}) 非良构。然而，模板形参可以另行推导，如 std::vector<int> v(std::istream_iterator<int>(std::cin), {}) 的情况，其中迭代器类型从首个实参推导，但亦用于第二形参位置。对于使用关键词 auto 的类型推导中有一个例外，在复制列表初始化中将任何花括号初始化器列表均推导为 std::initializer_list。

[真相重于对错]

例如有如下代码 struct A { int _a; int _b; }; 下面两个语句 A a={1,2}; int b={1,2}; 都是合法的，那么你怎么确定{1,2}到底是A类型，还是int [];

[真相重于对错]

上边的b,改为int b[]={1,2}，也就是说{1,2}，要根据他所要初始化的对象来确定类型，所以它本身没有类型。

[flying_music]

多谢各位回复，看完后我最终理解是这样的，{1, 2, 3}虽然在很多情况下被推导为std::initializer_list<int>，比如函数参数传递、auto推导时，但在模板类型推导时，它并非默认为std::initializer_list<int>类型，这个可能有设计上的考虑，也有可能是缺陷，总之，它不像5的类型是int，5.0的类型是double这样直接明了，而是需要更具体的上下文环境。

[真相重于对错]

不是缺陷，例如 struct M{ int x, int y }; template <typename T> void func(T m) { M x=m; } ..... func({1,2});//因为没有指定类型，则把它初始化为initializer_list，那么下面的语句将是错误的。