c++ - 将选定数量的参数包传递/转发给另一个功能

从这个earlier question上查找参数包的唯一值的数量开始，我想到，如果可行的是将选定数量的可变参数包传递/转发给另一个函数或返回它们，例如，假设我们有需要齐整包装的struct

template<size_t ... Rest>
struct my_struct;

我想有一个函数foo，该函数接受此参数包并返回另一个struct，该参数包具有传递给它的参数包的唯一值，例如

template<size_t N, size_t ... Rest>
my_struct<uniques<N,Rest...>> foo(const my_struct<N,Rest...> &a) {
// do stuff
}

举个例子:

my_struct<0,5,2,0,4,2> a;
my_struct<0,5,2,4> b = foo(a);

排序值在这里没有任何意义。仅使用标准库是否可以实现此功能？

最佳答案

只需将uniques包装在另一个元函数中即可。只是从我的last answer构建:

template <class T, template <T...> class Z>
struct quote_c {
    template <class... Ts>
    using apply = Z<Ts::value...>;
};

template <class MFC, class TL>
struct apply_typelist;

template <class MFC, class TL>
using apply_typelist_t = typename apply_typelist<MFC, TL>::type;


template <class MFC, class... Ts>
struct apply_typelist<MFC, typelist<Ts...>> {
    using type = typename MFC::template apply<Ts...>;
};

现在，我们有了my_struct的元函数类版本，还有一个使用元函数类和类型列表并将其卡在一起的元函数。

所以现在只是:

template <class T, T... Vals>
using typelist_c = typelist<std::integral_constant<T, Vals>...>;

template <size_t N,
          size_t ... Rest,
          class R = apply_typelist_t<quote_c<size_t, my_struct>,
                        uniq_t<typelist_c<size_t, N, Rest...>>>
          >
R foo(const my_struct<N,Rest...> &a) {
    // ...
}

通过<0,5,2,0,4,2>示例进行工作。

首先，我们将所有这些数字包装成类型以获得typelist<0i,5i,2i,0i,4i,2i>(我只是使用i作为简写表示它是std::integral_constant)。

接下来，我们将其包装在uniq_t中，这会产生typelist<0i,5i,2i,4i>。

接下来，我们将其传递到apply_typelist中，该类型为quote_c<size_t, my_struct>::apply<0i, 5i, 2i, 4i>

根据需要，它本身就是my_struct<0, 5, 2, 4>的别名。