ハナの述語を満たすタプル要素のインデックスのシーケンス

Question

Hanaの述語を満たすタプル要素のインデックスのシーケンスを取得する方法は簡潔ですか？

ここで私はちょうど標準ライブラリを使用しているために書いたコードです：

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; 

使用例：

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

をintsのタイプは今std::index_sequence<1ul, 3ul>ですが。

Answer 1

私はこのような何かを推測したい：

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]); }); 
}; 

range_c自体はMonadPlusのではないので、インデックスを取得しているだけで厄介な部分を。この関数を使用した実際の例は次のとおりです。

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>);