将 N 类型的参数包折叠成 N-1 对

Question

我正在尝试将N 不同类型的参数包折叠成具有各自类型的std::tuple 或N-1 std::pairs。

例如表达式

ResolveToTupleOfPairs<void, int, long>::Type tuple;

应该评估为

std::tuple<std::pair<void, int>, std::pair<int, long>> tuple;

所以我正在寻找ResolveToTupleOfPairs 类型的实现，以按照解释折叠参数包。我当前的实现如下，但显然它导致类型是一对元组，每个对都持有相同类型两次，而不是<T0, T1>, <T1, T2>, ...。

template<typename... T>
struct ResolveToTupleOfPairs {
    static_assert(sizeof...(Args) > 1, "need at least two arguments");

    using Type = std::tuple<std::pair<T, T>...>;
};

c++17 解决方案我很好。

Answer 1

我们利用了参数包扩展真的很聪明的事实

template<typename...>
struct fold;

template<size_t... Is, typename... Ts>
struct fold<std::index_sequence<Is...>, Ts...>
{
    using tuple = std::tuple<Ts...>;
    using type = std::tuple<std::pair<std::tuple_element_t<Is, tuple>,
                                      std::tuple_element_t<Is + 1, tuple>>...>;
};

template<typename... Ts>
using fold_t = typename fold<std::make_index_sequence<sizeof...(Ts) - 1>, Ts...>::type;

Live