为什么自动类型扣减和模板类型扣减对于带括号的初始值设定项不同？

Question

auto var = { 1, 2, 3 };   // type deduced as std::initializer_list<int>

template<class T> void f(T parameter);

f({ 1, 2, 3 });          // doesn't compile; type deduction fails

我甚至知道这在C++11标准中有什么规定:14.8.2.5/5子弹5：

[如果程序有]一个函数参数，该函数参数的关联参数是初始值设定项列表(8.5.4)，但该参数没有std：：initializer_list或可能引用CV限定的std：：initializer_list类型。[示例：

模板空隙g(T)；

Answer 1

有两个重要的原因，模板不做任何演绎（这两个，我记得在讨论的家伙负责）

>

对未来语言扩展的关注（您可以发明多种含义--如果我们想为带支撑的init list函数参数引入完美的转发呢？）

大括号有时可以有效地初始化依赖于

template<typename T>
void assign(T &d, const T& s);

int main() {
  vector<int> v;
  assign(v, { 1, 2, 3 });
}