多维std :: array的可变参数模板

迈克尔·马恩

我们可以为多维数组添加别名,如下所示:

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>
>);

wandbox上的实时示例


这是一个基于变量模板部分专业化的解决方案:

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>
>);

wandbox上的实时示例

本文收集自互联网,转载请注明来源。

如有侵权,请联系 [email protected] 删除。

编辑于
0

我来说两句

0 条评论
登录 后参与评论

相关文章

可变参数模板和std :: array意外行为

constexpr可变参数模板并解压std :: array

std :: function的可变参数模板参数

从可变参数模板数组引用构造函数初始化双嵌套std :: array

C ++可变参数模板打包到std :: array中并解压缩

可变参数模板作为std :: function的参数

std :: function中的可变参数模板参数匹配

使用std :: function作为参数的可变参数模板

如何从可变参数模板参数创建std :: tuple <>?

std::invoke 不喜欢可变参数模板成员函数?

在可变参数模板中使用std :: placeholders

C ++ 11可变参数模板和std :: endl

std :: holds_alternative可变参数模板

可变参数模板,类型扣除和std :: function

std :: bind与可变参数模板和自动返回类型

计算可变参数模板元组中的 std::optional 类型

如何使用可变参数模板使用std :: function

对可变参数模板结构使用std :: visit

可变参数模板展开到std :: tuple

std :: function到可变参数成员函数,然后绑定可变参数模板参数

为什么模板参数推导因std :: function回调的可变参数模板参数而失败?

扩展可变参数模板模板参数以用于例如 std::variant<T...>

具有std :: enable_if的C ++可变参数模板部分模板专业化

获取多维可变参数std :: array的根类型

如何为std :: string可变参数模板参数调用c_str()?

使用来自 std::vector 的参数调用可变参数模板化函数

无法将std :: bind与可变参数模板参数一起使用

可变参数模板参数列表的std :: is_rvalue_reference的SFINAE失败

对带有可变参数模板的std :: ref()和std :: bind()有点迷惑