时间戳

首页 > 解决方案 > 将元组类型转换为另一种元组类型

c++ - 将元组类型转换为另一种元组类型

问题描述

假设我有一个元组类型std::tuple<x,y,z>，或者可能std::tuple<a,b>。我想要一种通用的方法来转换我的元组中的类型，例如“功能化”以获得

std::tuple<std::function<void(x)>,
           std::function<void(y)>,
           std::function<void(z)>>

或者也许为 shared_pointers 获取存储空间，例如

std::tuple<std::shared_pointer<a>,
           std::shared_pointer<b>>

我将如何使用 C++17 实现这一目标？C++20 的答案很有趣，但不适用于我目前的情况。

动机：我有一个类将由任意且不一定唯一的类型列表进行参数化，并且希望列表中的每种类型都有一个 std::function 成员。

标签： c++variadic-templates

解决方案

模板专业化可能是最简单的方法。

template <typename T>
struct functionize;

template <typename... Ts>
struct functionize<std::tuple<Ts...>> {
    using type = std::tuple<std::function<void(Ts)>...>;
}

using MyTuple = std::tuple<int, double, char>;
using MyTupleFunctionized = typename functionize<MyTuple>::type;

为了使其更通用，您可以接受模板模板参数以应用于包。

template <typename Tuple, template <typename> typename Component>
struct transform_tuple;

template <typename... Ts, template <typename> typename Component>
struct transform_tuple<std::tuple<Ts...>, Component> {
    using type = std::tuple<Component<Ts>...>;
}

using MyTuple = std::tuple<int, double, char>;
using MyTransformedTuple = typename transform_tuple<MyTuple, std::shared_ptr>::type;

更通用的解决方案在使用c++17或以后效果最好。在此之前，它只会匹配具有恰好 1 个参数的模板。之后c++17它还可以匹配std::vector具有 2 个模板参数的东西，其中第二个模板参数具有默认参数。

编辑：
正如@Jarod42 和@Caleth 在评论中指出的那样，我们可以在这方面进行更多改进。

template <typename Tuple, template <typename...> typename Component>
struct transform_tuple;

模板模板参数的参数包允许我们传递类似 a std::vectorin fromc++11和 forward 的东西。如果我们想要传递混合了类型和非类型参数的东西，比如std::array.

我们可以通过使用模板别名来部分解决这个问题。

template <typename T>
using FixedArray10 = std::array<T, 10>;

using MyTransformedTuple = typename transform_tuple<MyTuple, FixedArray10>::type;

推荐阅读