我们可以为多维数组添加别名,如下所示:
template<typename T, size_t size1, size_t size2>
using myArray = std::array<std::array<T, size2>, size1>;
但这仅允许我们预定义数量的尺寸。有没有办法将其转换为可变参数模板,以便我们可以编写其中任何一个:
myArray<int, 2, 2, 2> arr3d;
myArray<int, 2, 2, 2, 2> arr4d;
我已经尝试了一些方法,但是对其中任何一个都不完全满意。
这个:
template<typename T, size_t size>
using myArray<T, size> = std::array<T, size>;
template<typename T, size_t size, size_t... more>
using myArray = std::array<myArray<T, more...>, size>;
甚至无法编译,因为别名模板显然不允许模板专门化。
目前,这是我最好的解决方案,但删除了所有我想保留的std :: array构造函数:
template<typename T, size_t size, size_t... more>
struct myArray : public std::array<myArray<T, more...>, size> {};
template<typename T, size_t size>
struct myArray<T, size> : public std::array<T, size>{};
使用此解决方案,我将总是必须在每个数组访问之前编写“ .internal”:
template<typename T, size_t size, size_t... more>
struct myArr {
std::array<myArr<T, more...>, size> internal;
};
template<typename T, size_t size>
struct myArr<T, size> {
std::array<T, size> internal;
};
那么,谁能想到第二种解决方案,但我可以将构造函数保留在哪里呢?我不能
我建议您简单地将维度相乘并得到一个std::array
。例如:std::array<int, D0 * D1 * D2 * D3>
。然后,您可以提供实用程序函数或包装器类,以将多维索引转换为一维。
无论如何...
这是一个使用显式模板专门化的简单递归解决方案:
template <typename T, std::size_t... Ds>
struct nested_array;
template <typename T, std::size_t D>
struct nested_array<T, D>
{
using type = std::array<T, D>;
};
template <typename T, std::size_t D, std::size_t... Ds>
struct nested_array<T, D, Ds...>
{
using type = std::array<typename nested_array<T, Ds...>::type, D>;
};
static_assert(std::is_same_v<
typename nested_array<int, 1, 2, 3>::type,
std::array<std::array<std::array<int, 3>, 2>, 1>
>);
这是一个基于变量模板部分专业化的解决方案:
template <typename T>
struct t { using type = T; };
template <typename T>
using unwrap = typename T::type;
template <typename T, std::size_t... Ds>
constexpr auto nested_array = t<void>{};
template <typename T, std::size_t D>
constexpr auto nested_array<T, D> = t<std::array<T, D>>{};
template <typename T, std::size_t D, std::size_t... Ds>
constexpr auto nested_array<T, D, Ds...> =
t<std::array<unwrap<decltype(nested_array<T, Ds...>)>, D>>{};
static_assert(std::is_same_v<
unwrap<decltype(nested_array<int, 1, 2, 3>)>,
std::array<std::array<std::array<int, 3>, 2>, 1>
>);
本文收集自互联网,转载请注明来源。
如有侵权,请联系 [email protected] 删除。
我来说两句