C++ 17 如何使用模板完成对 Index_sequence 的翻转

在C++17中，`Index_sequence`是一个用于序列化索引的工具，它通常用于生成一系列递增的整数，类似于`std::make_index_sequence(5)`会产生`0, 1, 2, 3, 4`这样的序列。如果你想翻转这个序列，你可以利用C++的模板元编程来实现。下面是一个简单的例子：

#include <type_traits>

template<size_t... Is>
struct ReverseIndexSequence
{
    using type = typename ReverseIndexSequence<Is..., (sizeof...(Is) - 1 - Is)...>::type;
};

// Base case: empty sequence or a single element is already reversed
template<>
struct ReverseIndexSequence<> {
    using type = std::index_sequence<>;
};

template<size_t N>
struct ReverseIndexSequence<N, N> {
    using type = std::index_sequence<N-1, 0>;
};

// Recursive case
template<size_t... Is>
struct ReverseIndexSequence<Is...> {
    using type = typename ReverseIndexSequence<typename std::make_index_sequence<(sizeof...(Is)+1)/2>::type...,
                                                  typename std::make_index_sequence<(sizeof...(Is)-1)/2>::type...>::type;
};

// 使用示例
using ReversedSeq = typename ReverseIndexSequence<std::index_sequence<0, 1, 2, 3>>::type;

在这个例子中，我们定义了一个递归结构`ReverseIndexSequence`，通过不断缩小序列长度的一半，并将剩余的部分交换位置来达到翻转的效果。最后，`ReversedSeq`会得到原序列为`0, 1, 2, 3`的翻转版本。