Séquence d'indices d'éléments de tuple satifying prédicat dans Hana

Question

Yat-il un concis façon d'obtenir une séquence d'indices d'éléments de tuples qui satisfont un prédicat à Hana?

Voici le code que j'ai écrit pour cela en utilisant seulement la bibliothèque standard:

template <template<typename> typename Pred, typename Tuple> 
class get_indices_of { 
    static constexpr size_t size = std::tuple_size<Tuple>::value; 
    template <size_t I, size_t... II> struct impl { 
    using type = std::conditional_t< 
     Pred<std::tuple_element_t<I,Tuple>>::value, 
     typename impl<I+1, II..., I>::type, 
     typename impl<I+1, II...>::type >; 
    }; 
    template <size_t... II> struct impl<size,II...> { 
    using type = std::index_sequence<II...>; 
    }; 
public: 
    using type = typename impl<0>::type; 
}; 
template <template<typename> typename Pred, typename Tuple> 
using get_indices_of_t = typename get_indices_of<Pred,Tuple>::type; 

Exemple d'utilisation:

using types = std::tuple<std::string,int,double,char>; 
using ints = get_indices_of_t<std::is_integral,types>; 

Le type de ints est maintenant std::index_sequence<1ul, 3ul>.

Answer 1

Je suppose quelque chose comme ceci:

constexpr auto get_indices_of = [](auto tuple, auto predicate){ 
    constexpr auto indices = to<tuple_tag>(range_c<std::size_t, 0, size(tuple)>); 
    return filter(indices, [=](auto i){ return predicate(tuple[i]); }); 
}; 

La seule partie délicate, il obtient les indices, puisque range_c lui-même est pas un MonadPlus. Votre exemple réel, en utilisant cette fonction, est:

constexpr auto types = make_tuple(
    type_c<std::string>, type_c<int>, type_c<double>, type_c<char>); 
constexpr auto ints = get_indices_of(types, trait<std::is_integral>);