C++：std::initializer_list

initializer_list是一种标准库类型，用于表示某种特定类型的值的数组。和vector一样，initializer_list也是一种模板类型，定义initializer_list对象时，必须说明列表中所含元素的类型。和vector不一样的是，initializer_list对象中的元素永远是常量值，我们无法改变initializer_list对象中元素的值。

initializer_list可以作用于可变数量的实参：有时我们无法提前预知应该向函数传递几个实参。为了编写能处理不同数量实参的函数，C++11新标准提供了两种主要的方法：如果所有的实参类型相同，可以传递一个名为initializer_list的标准库类型；如果实参的类型不同，我们可以编写一种特殊的函数，也就是所谓的可变参数模板。

作用于initializer_list对象的begin和end操作类似于vector对应的成员。begin()成员提供一个指向列表首元素的指针，end()成员提供一个指向列表尾元素的指针。

含有initializer_list形参的函数也可以同时拥有其他形参。

类模板initializer_list用于访问初始化列表(initialization list)，列表元素的数据类型为const T.编译器从花括号(brace)封闭的、元素由逗号分隔开的初始化列表自动构造initializer_list模板类, 例如：

auto il = {10,20, 30}; // the type of il is an initializer_list<int>

类模板initializer_list引用(refer to)但不包含这个这个列表的元素。复制这个initializer_list对象将引用到同一个基础列表而不是引用到基础列表的新的拷贝。std::initializer_list并不是一个容器，不要用它传递期望长期存储的值。构造函数的形参如果为一个initializer_list模板类，则这种特殊的构造函数称为初始化器列表构造函数(initializer_list constructor)，例如：

 

struct myclass {
  myclass (int,int);
  myclass (initializer_list<int>);
  /* definitions ... */
};
myclass foo {10,20};  // calls initializer_list constructor
myclass bar (10,20);  // calls first constructor 

 

仅可以从braced-init-list推导出initializer_list<T>。这一过程中，编译器自动查询哪些构造函数可以用initializer_list<T>作为参数，并据此确定initializer_list的模板参数T的类型，从而对braced-init-list做类型转换。

C++11标准明确规定不能由模板参数推导出对应实参std::initializer_list的类型。

C++还有一种特殊的形参类型(即省略符)，可以用它传递可变数量的实参。

省略符形参是为了便于C++程序访问某些特殊的C代码而设置的，这些代码使用了名为varargs的C标准库功能。通常，省略符形参不应用于其他目的。省略符形参只能出现在形参列表的最后一个位置。

std::initializer_list:This type is used to access the values in a C++ initialization list, which is a list of elements of type const T.