参数包中的筛选器类型

Question

我尝试创建可变参数模板/参数包的过滤类型并保留排序。

// example what im trying to accomplish
template<typename... Args>
struct query
{
using filtered = typename filtered<std::is_integral_v, Args...>
}

在此示例中，过滤将过滤所有整数类型，例如。

query<int, A, B>::filtered == query<A, B>::filtered

我怎样才能创建这样的实用程序或可以达到相同结果的东西

Answer 1

使用 Boost.Mp11，这是一个简短的单行代码(一如既往(：

using filtered = mp_filter<std::is_integral, mp_list<Args...>>;

请注意，如果您希望这是一个std::tuple，那就是：

using filtered = mp_filter<std::is_integral, std::tuple<Args...>>;

Answer 2

@Jarod42的评论有工作代码的演示

#include <tuple>
#include <type_traits>
template<template<class> class, template<class...> class, class...>
struct filter;
template<template<class> class Pred, template<class...> class Variadic>
struct filter<Pred, Variadic>
{
using type = Variadic<>;
};
template<template<class> class Pred,
template<class...> class Variadic,
class T,
class... Ts>
struct filter<Pred, Variadic, T, Ts...>
{
template<class, class>
struct Cons;
template<class Head, class... Tail>
struct Cons<Head, Variadic<Tail...>>
{
using type = Variadic<Head, Tail...>;
};
using type = typename std::conditional<
Pred<T>::value,
typename Cons<T, typename filter<Pred, Variadic, Ts...>::type>::type,
typename filter<Pred, Variadic, Ts...>::type>::type;
};

并与我的示例集成

template<typename... Args>
struct query
{
using filtered = filter<std::is_integral, std::tuple, Args...>::type
}

Answer 3

您可以使用std::tuple_cat()避免递归

#include <type_traits>
#include <tuple>
template <template <typename> class F, typename T>
std::enable_if_t<true == F<T>::value, std::tuple<>> filter ();
template <template <typename> class F, typename T>
std::enable_if_t<false == F<T>::value, std::tuple<T>> filter ();
template <typename...>
struct query;
template <typename ... Ts>
query<Ts...> deTuple (std::tuple<Ts...>);
template <template <typename> class F, typename ... Ts>
struct filtered
{ using type = decltype(std::tuple_cat(filter<F, Ts>()...)); };
template<typename... Args>
struct query
{
using filtered = decltype(deTuple(std::declval<
typename filtered<std::is_integral, Args...>::type>()));
};
class A {};
class B {};
int main ()
{
using T1 = typename query<int, A, B>::filtered;
using T2 = query<A, B>;
static_assert( std::is_same_v<T1, T2> );
}