Boost Fusion / MPL: преобразование типа из последовательности в последовательность эквивалентных any_range - PullRequest
Новая
       54

Boost Fusion / MPL: преобразование типа из последовательности в последовательность эквивалентных any_range

3 голосов
/ 30 марта 2011

Я хочу использовать Boost's any_range для обработки нескольких неоднородных диапазонов данных.Тип моих диапазонов данных известен как вектор Fusion, например: 

typedef vector<double, int, char> TypeSequence

Учитывая такой тип, я хочу написать шаблон для получения следующего типа, такого как: 

vector<AnyRange<double>::value, AnyRange<int>::value, AnyRange<char>::value>

, где AnyRange определяется как: 

using namespace boost;
template <typename T>
struct AnyRange
{
    typedef typename any_range<typename T, forward_pass_traversal_tag, int, std::ptrdiff_t> value;
};

Я пытался и потерпел неудачу.Это возможно даже с Fusion?MPL?Или, возможно, я иду по неверному пути с any_range.

1 Ответ

7 голосов
/ 30 марта 2011

Вы можете легко сделать это, используя boost :: mpl :: transform , который вы можете использовать с последовательностями Fusion (при условии, что вы включаете соответствующие заголовки, чтобы последовательности Fusion вели себя как подтверждающие последовательности MPL): 

#include <boost/range/any_range.hpp>

#include <boost/fusion/include/mpl.hpp> // Required to adapt Fusion to MPL
#include <boost/fusion/include/vector.hpp>

#include <boost/mpl/transform.hpp>


template < typename T >
struct EmbedInAnyRange
{
    typedef boost::any_range< // no need for typename here
        T,                    // no need for typename here
        forward_pass_traversal_tag, 
        int,                  // not sure what this parameter is, I leave int...
        std::ptrdiff_t
    > type;
};

int main()
{
    typedef boost::fusion::vector< double, int, char > Tuple;

    typedef boost::mpl::transform<
        Tuple,
        EmbedInAnyRange< boost::mpl::_ >
    >::type AnyRangeTuple;

    AnyRangeTuple myTuple( 
        std::vector< double >(), 
        std::list< int >(), 
        std::vector< char >() );
}

Если вы хотите, вы можете поместить преобразование в его собственную метафункцию: 

template < typename Seq >
struct EmbedAllInAnyRange
{
    typedef typename boost::mpl::transform< // typename needed
        Seq,
        EmbedInAnyRange< boost::mpl::_ >
    >::type type;
};

...

typedef EmbedAllInRange< Tuple >::type AnyRangeTuple;
...