多维 std::initializer_list 其中维数指定为其类的模板参数答案

【问题标题】：multidimensional std::intializer_list where the number of dimensions is specified as a template argument of its class多维 std::initializer_list 其中维数指定为其类的模板参数
【发布时间】：2012-11-20 12:06:57
【问题描述】：

我有一个当前不接受 initializer_list 初始化的多维数组，但我想允许这样做。但是，我似乎无法根据模板参数为 std::initializer_list 指定任意数量的嵌套。

// e.g. 5D array:
array<int, 5> arr(10, 5, 20, 34, 10); // the integers are the lengths of each dimension.

// This is what I'm trying to achieve on top of the above:
// creates the array and initializes it
array<int, 5> arr{ {{{{0, 1}}}}, {{{{1, 1}}}} };

// class signature:
// template <template T, unsigned dimensions> array { ... }
// --> where T is the array element type

答案不一定要用std::initializer_list。

【问题讨论】：

好吧，array<T, 1> 应该接受 initializer_list<T>，array<T, N> 应该接受 initializer_list<array<T, N-1>>...
你的意思是 5d 数组，还是只是列不均匀的 2d 数组（锯齿状数组）？
@JesseGood：真正的多维数组。
@ZachSaw：所以，要访问一个元素，你可以这样做array[1][1][1][1][1];?
@JesseGood: arr(1,1,1,1,1).

标签： c++ templates gcc c++11 template-meta-programming

【解决方案1】：

我认为这应该可行：

template<typename BASE, int N>
struct nested {
  typedef std::initializer_list<typename nested<BASE,N-1>::initializer_list> initializer_list;
};

template<typename BASE>
struct nested<BASE,0> {
  typedef BASE initializer_list;
};


template<typename BASE, int N>
struct multi {
  multi(typename nested<BASE,N>::initializer_list& init) {
  };
};

不幸的是，我的两个 gcc 版本都没有有效的 initializer_list 支持，所以我无法正确测试。

【讨论】：