为什么大小不是 std::initializer_list 的模板参数？

Question

std::initializer_list 由编译器根据大括号括起来的初始化列表构造，并且该列表的大小必须是编译时常量。

那么为什么委员会决定从模板参数中省略大小呢？这可能会阻止某些优化并使某些事情变得不可能（从 std::initializer_list 初始化 std::array）。

Answer 1

如果 initializer_list 定义为 std::initializer_list，则任何采用 initializer_list< 的函数/code>，其中 type 是某种具体类型，现在必须是基于该列表大小的模板函数。或者他们必须要求用户传递特定类型和大小的initializer_list。和大小。

这两点都是非常令人难以接受的。并非每个人都将所有代码编写为模板。

您可以从花括号初始化列表（中间有内容的 {}）初始化 std::array。但这与 std::intiializer_list 不同。 array 类是聚合类型。它是一个包含单个元素的结构，该元素是一个公共数组。因此，在符合 C++11 的实现上，应该可以编译：

std::array<int, 3> myArray = {1, 3, 5};

但是，{1, 3, 5} 不是 std::initializer_list 对象；它只是一个花括号初始化列表，可用于初始化适当的类型。

您无法将 std::initializer_list 对象传递给聚合的构造函数（因为聚合没有构造函数），但您可以使用花括号初始化列表来调用聚合初始化来初始化 std::array，就像处理任何包含数组的结构一样。

std::initializer_list 和花括号初始化列表之间的区别有点像 int 和文字 0 之间的区别。将 int 对象隐式转换为指针类型（通常）是不合法的，但将整数文字 0 隐式转换为指针类型是合法的。 braced-init-lists 的工作方式是这样的：

int i = 0;    //Legal
void *j = 0;  //Legal
void *k = i;  //Not legal

std::array<int, 3> myArray = {1, 3, 5};             //Legal
std::initializer_list<int> myInitList = {1, 3, 5};  //Legal
std::array<int, 3> myArray = myInitList;            //Not legal

Answer 2

现有系统的一个优点是您可以导出从 DLL 获取 initializer_list 的函数。如果它是按照尺寸模板化的，则它们必须作为来源发货。