stdd::initializer_list堆分配内存吗？

Question

简单的问题是，std：：initializer\u list堆是否分配内存？我说的不是它的元素项，而是缓冲区本身来存储元素。

Answer 1

这是一个有趣的问题。我同意Josh的回答，只是想补充一下，我创建了以下相关实验。我尝试编译并运行以下代码：

#include <iostream>
#include <vector>

int main()
{
   std::vector<int> v = {

#include "x.inc"

   };

   std::cout << v.size() << std::endl;
}

其中x.inc包含100M次0，加上尾随的0，由该程序生成：

#include <fstream>

int main()
{
   std::ofstream f("x.inc");

   for (int i = 0; i < 100000000; i++)
      f << "0, ";
   f << "0\n";
}

用GCC创建的结果可执行文件有328 MB，这表明整个std：：intializer\u list实例实际上显示在程序的数据段中。运行时，没有分段错误，Valgrind报告没有堆分配，除了向量v所需的400 MB之外。

Answer 2

以下是cp首选项必须说的（强调我的）：

底层数组不能保证在原始初始化程序列表对象的生命周期结束后仍然存在。std::initializer_list的存储是未指定的（即它可以是自动、临时或静态只读内存，具体取决于情况）。（直到C14）

底层数组是一个const T[N]类型的临时数组，其中每个元素都是从原始初始值设定项列表的相应元素复制初始化的（缩小转换无效除外）。基础数组的生存期与任何其他临时对象相同，只是从数组初始化initializer\u list对象会延长数组的生存期，就像将引用绑定到临时对象一样（但也有相同的例外，例如初始化非静态类成员）。底层阵列可以在只读内存中分配。（自C 14起）

也就是说，可能不是。我想不出编译器或库作者会选择将其放在堆上的情况，但“未指定”一词的使用让它听起来似乎无法保证如何分配临时数组。C标准中可能有更好的规范。

另一个要点是您绝对不应该尝试编写底层数组内存。