使用“auto”推断嵌套初始化列表的类型

Question

我正在尝试使用auto 自动推断嵌套std::initializer_list 的类型。

auto list = {
    {{ 0, 1}, { 2, 3 }},
    {{ 4, 5}, { 6, 7 }},
};

这里的实际类型是std::initializer_list<std::initializer_list<std::initializer_list<int>>>，但是当我尝试编译它时，我收到一个错误，指出auto 无法推断出类型。有没有办法让auto 识别这样的构造？

我有一个程序，其中这些初始化列表可以是任意大小和深度，因此硬编码类型是不切实际的。

附加信息：

我在这里找到了关于初始化列表的文档：https://en.cppreference.com/w/cpp/language/list_initialization

braced-init-list 不是表达式，因此没有类型，例如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。

文档似乎表明使用auto 进行类型推导有一个特殊例外，因此您会认为这会起作用...但似乎当您使用嵌套列表时auto 无法推断类型.

Answer 1

我有一个程序，其中这些初始化列表可以是任意大小和深度，因此硬编码类型是不切实际的。

那么你需要解决这个问题。

您不应该将花括号初始化列表视为一种快速而肮脏的方式来创建值数组，而无需考虑它们的类型。那不是他们的目的。它们的目的是初始化值。 std::initializer_list 类型旨在作为初始化某些类型过程中的中间阶段（这就是为什么采用单个 initializer_list 的构造函数在列表初始化中具有特殊含义。

如果您想要拥有各种深度的数组的数组等，那么您将需要弄清楚该构造需要是哪种类型并输入它。 auto 只能推导出一级braced-init-list；如果需要更深层次，则需要明确指定类型。

使用auto进行类型推导有一个特殊例外

是的，有。但它只适用于推导auto 本身 的列表，不适用于auto 的推导需要的任何东西。

为了使auto list = {{1, 2, 3}}; 工作，编译器必须推导出两种类型：用于{1, 2, 3} 的类型和用于list 的类型。推导list 的类型需要推导嵌套的braced-init-list 的类型。但是您不能推断出花括号初始化列表的类型。因此它不起作用。

还应该注意的是，即使它确实有效，它实际上也不会有效。原因是list 内部的initializer_list 将引用一个临时数组。将在初始化表达式结束时销毁的临时数组。这与string_view sv = std::string("foo"); 没有产生有用的东西的原因基本相同。