如何使用模板创建多维 std::array？

Question

如何使用一些智能可变参数模板“MDA”创建具有（当然）已知初始尺寸的多维std::array类型。Typeconstexpr

维数应可变。

最后，我希望能够写：

MDA<int,3,4,5,6> a4d{};

结果应该等于

std::array < std::array < std::array < std::array<int, 6> , 5 > , 4 > , 3 > a4d{};

并节省大量（复杂的，甚至容易出错的）打字工作。. .

---

编辑：

我不确定这是否可能。但我正在寻找的是一些“打字保护程序”，可能与using声明结合使用。

Answer 1

当然可以使用辅助类模板，C++11（静态断言部分除外）

#include <array>

template<typename T, std::size_t Head, std::size_t... Tail>
struct MDA_impl{
    using type = std::array<typename MDA_impl<T, Tail...>::type, Head>;
};
// Base specialization
template<typename T, std::size_t N>
struct MDA_impl<T,N>{
    using type = std::array<T, N>;
};

template<typename T, std::size_t... Ns>
using MDA = typename MDA_impl<T,Ns...>::type;

int main(){
    static_assert(std::is_same_v<MDA<int,3,4,5,6>,
                  std::array<std::array<std::array<std::array<int, 6>,5>,4>,3>>);
}