可变模板多维数组容器

Question

在c++ 0x可变模板提案文件Link中有一个支持任意维数的类的示例。我把它复制到下面:

template<typename T, unsigned PrimaryDimension, unsigned... Dimensions>
class array { /* implementation */ };
array<double, 3, 3> rotation matrix; // 3x3 rotation matrix

遗憾的是，没有提供实现。由于我对可变模板比较陌生，所以我很有兴趣看到这个容器的实现。

感谢所有能提供简单实现的人

Answer 1

下面是一个非常简单的实现(使用gcc4.6.1编译)，它演示了获得正确数组类型所涉及的递归-如果您对其他一些具体的实现细节感兴趣，请告诉我们:

template<class T, unsigned ... RestD> struct array;
template<class T, unsigned PrimaryD > 
  struct array<T, PrimaryD>
{
  typedef T type[PrimaryD];
  type data;
  T& operator[](unsigned i) { return data[i]; }
};
template<class T, unsigned PrimaryD, unsigned ... RestD > 
   struct array<T, PrimaryD, RestD...>
{
  typedef typename array<T, RestD...>::type OneDimensionDownArrayT;
  typedef OneDimensionDownArrayT type[PrimaryD];
  type data;
  OneDimensionDownArrayT& operator[](unsigned i) { return data[i]; }
}; 
int main()
{
    array<int, 2, 3>::type a4 = { { 1, 2, 3}, { 1, 2, 3} };
    array<int, 2, 3> a5{ { { 1, 2, 3}, { 4, 5, 6} } };
    std::cout << a5[1][2] << std::endl;
    array<int, 3> a6{ {1, 2, 3} };
    std::cout << a6[1] << std::endl;
    array<int, 1, 2, 3> a7{ { { { 1, 2, 3}, { 4, 5, 6 } } }};
    std::cout << a7[0][1][2] << std::endl;
}