c++ - 使用 Variadic 模板的任意维数组

Question

如何在 C++11 中创建一个 Array 类，它可以像

Array < int, 2, 3, 4> a, b; 
Array < char, 3, 4> d; 
Array < short, 2> e;

并以类似的方式访问它

a[2][1][2] = 15; 
d[1][2] ='a';

我还需要重载运算符作为

T &operator[size_t i_1][size_t i_2]...[size_t i_D]; 

不存在。我该怎么做？

Answer 1

最简单的方法是嵌套 std::array :

#include<array>

template<class T, size_t size, size_t... sizes>
struct ArrayImpl {
    using type = std::array<typename ArrayImpl<T, sizes...>::type, size>;
};

template<class T, size_t size>
struct ArrayImpl<T, size> {
    using type = std::array<T, size>;
};

template<class T, size_t... sizes>
using Array = typename ArrayImpl<T, sizes...>::type;

在此解决方案中 Array<char, 3, 4>与std::array<std::array<char, 4>, 3>相同- 由较小维度的数组组成的数组。

这也展示了如何实现 operator[]对于许多维度。 operator[]您的对象需要返回 operator[] 的对象也被定义。在这种情况下，它是对较小维度数组的引用。