当您在 C++ 模板编程中遇到复杂的问题时，尝试将其分解为几个较小的步骤（就像大多数编程问题一样）通常会有所帮助。这是一个可能的路径：
- 选择与所选 I 匹配的 X 并将它们存储在新的数据类型中，将 I 替换为位置（为此使用递归）
- 将 selected_data 中的 X 按 J 排序。我觉得这样写有点烦人。也许您应该为此创建一个单独的问题。
- 从排序和选择的 X 中提取位置
这是相应的代码。我正在使用std::conditional，但它当然很容易替换。我在测试中使用std::is_same，当然你并不需要它（否则实现起来很简单）。
std::conditional 和 std::is_same 的东西 + 实用程序头
#include <utility>
template <int... I>
struct index
{
};
template <typename... T>
struct data
{
};
template <int I, int J>
struct X
{
static constexpr int i = I;
static constexpr int j = J;
};
typedef data<X<0, 4>, X<1, 2>, X<2, 1>, X<1, 6>, X<1, 3>> data_t;
提取与我们要查找的I 匹配的Xs，并将is 替换为该位置。
template <int Pos, int I, typename Extracted, typename Rest>
struct ExtractImpl;
template <int Pos, int I, typename... ExtractedX>
struct ExtractImpl<Pos, I, data<ExtractedX...>, data<>>
{
using type = data<ExtractedX...>;
};
template <int Pos, int I, typename... ExtractedX, typename T, typename... Rest>
struct ExtractImpl<Pos, I, data<ExtractedX...>, data<T, Rest...>>
{
using type = typename std::conditional<
(T::i == I),
typename ExtractImpl<Pos + 1,
I,
data<ExtractedX..., X<Pos, T::j>>,
data<Rest...>>::type,
typename ExtractImpl<Pos + 1, I, data<ExtractedX...>, data<Rest...>>::
type>::type;
};
template <int I, typename Data>
struct Extract
{
using type = typename ExtractImpl<0, I, data<>, Data>::type;
};
using extracted = typename Extract<1, data_t>::type;
static_assert(std::is_same<extracted, data<X<1, 2>, X<3, 6>, X<4, 3>>>::value, "");
按 J 排序。这是通过将元素增量插入排序列表来完成的。可能有更优雅的方式来做到这一点。
template <typename T, typename LessList, typename RestList>
struct insert_impl;
template <typename T, typename... Lesser>
struct insert_impl<T, data<Lesser...>, data<>>
{
using type = data<Lesser..., T>;
};
template <typename T, typename... Lesser, typename Next, typename... Rest>
struct insert_impl<T, data<Lesser...>, data<Next, Rest...>>
{
using type = typename std::conditional<
(T::j < Next::j),
data<Lesser..., T, Next, Rest...>,
typename insert_impl<T, data<Lesser..., Next>, data<Rest...>>::type>::
type;
};
template <typename T, typename SortedList>
struct insert
{
using type = typename insert_impl<T, data<>, SortedList>::type;
};
template <typename SortedList, typename UnsortedList>
struct SortImpl;
template <typename SortedList>
struct SortImpl<SortedList, data<>>
{
using type = SortedList;
};
template <typename SortedList, typename T, typename... UnsortedX>
struct SortImpl<SortedList, data<T, UnsortedX...>>
{
using type = typename SortImpl<typename insert<T, SortedList>::type,
data<UnsortedX...>>::type;
};
template <typename UnsortedList>
struct Sort
{
using type = typename SortImpl<data<>, UnsortedList>::type;
};
using sorted = typename Sort<extracted>::type;
static_assert(std::is_same<sorted, data<X<1, 2>, X<4, 3>, X<3, 6>>>::value, "");
最后，提取你要找的索引：
template <typename List>
struct Indexes;
template <typename... Data>
struct Indexes<data<Data...>>
{
using type = index<Data::i...>;
};
using result = typename Indexes<sorted>::type;
static_assert(std::is_same<result, index<1, 4, 3>>::value, "");
警告词：虽然我在代码中看不到任何问题，但除了您的示例之外，我还没有对其进行测试...