在编译时获取“std：：initializer\u list”的大小

Question

我试图用C（11/14）实现fortran的重塑功能，并设计了一个函数。此函数接受两个std：：initializer\u列表。第一个initializer\u列表给出了我用来初始化多维数组的初始值。第二个initializer\u列表给出了数组每个维度的大小。我写了一份这样的草稿

template<int D, typename T>
auto forreshape(const std::initializer_list<T> & values, const std::initializer_list<int> & shape)
{
    // some irrelevant codes to calculate lbound
    return for1array_gen<T, D>(lbound, shape, values); // returns D dimension array fornarray<T, D>
}
int main(){
    auto reshaped_array = forreshape<2>({1, 2, 3, 4, 5, 6}, {2, 3});
}

这个实现需要给定的非类型模板参数int D，但我想要不带D的东西，比如重塑（{1，2，3，4，5，6}，{2，3}） 。首先，我想使用std：：initializer\u list

Answer 1

也许使用std::initializer_list是个坏主意？

我想是的考虑一下

std::initializer_list<int> t;
std::initializer_list<int> a = {1,2,3};
std::initializer_list<int> b = {2,3};
if (rand() > 42)
    t = a;
else
    t = b;
auto reshaped_array = forreshape({1,2,3,4,5,6}, t);

在上面的例子中，在编译时不可能知道t.size（）。

但由于CWG 1591，您可以要求编译器通过引用C样式数组来推断初始值设定项列表的长度。

重塑的定义如下：

template<int D, typename T>
auto forreshape(const std::initializer_list<T> & values, const int (&shape)[D])
{
    // use D...
}