2

我想遍历任何融合结构的成员，将其成员的类型添加到 boost::mpl::vector （或集合）以创建这些类型的 boost::variant。任何帮助表示赞赏。 

struct A
{
    int a1;
    double a2;
    float a3;
};

BOOST_FUSION_ADAPT_STRUCT(
    A,
    (int,a1)
    (double,a2)
    (float,a3)
)

struct StructTypes
{
    template <typename T>
    void operator()( T& t ) const 
    {
        // how do I append to a list of types here?
    }
};

int main()
{
    A a;
    boost::fusion::for_each( a, StructTypes() );
}
4

1 回答 1

1

我不是专家，但我认为您无法使用fusion::for_each. 一个非常简单的替代方法是使用你的结构fusion::joint_view连接mpl::vector（你的结构适应的序列）。这个联合视图不能直接在 中使用boost::make_variant_over，但是可以通过使用fusion::result_of::as_vector获得fusion::vector相同元素的 a 来轻松解决。这种方法的一个问题（我不确定这是否真的是一个问题，但它无疑是丑陋的）是，如果你的向量和结构之间有共同的元素，则生成的变体将在其列表中包含两次这些元素类型。如果你想解决这个问题，你可以使用 anmpl::set而不是你的向量，然后使用mpl::fold<A, mpl::set<your types...>, mpl::insert<_1,_2> >::type. 这给你一个mpl::set没有任何重复的类型。你需要使用fusion::result_of::as_vector再次为了使用make_variant_over。

在 Coliru 上运行

#include <iostream>
#include <string>

#include <boost/variant.hpp>

#include <boost/fusion/include/adapt_struct.hpp>
#include <boost/fusion/include/mpl.hpp> //important: allows compatibility fusion-mpl
#include <boost/fusion/include/joint_view.hpp>
#include <boost/fusion/include/as_vector.hpp>
#include <boost/fusion/include/set.hpp>
#include <boost/fusion/include/fold.hpp>
#include <boost/fusion/include/for_each.hpp>


#include <boost/mpl/fold.hpp>
#include <boost/mpl/set.hpp>
#include <boost/mpl/vector.hpp>
#include <boost/mpl/insert.hpp>

namespace fusion=boost::fusion;
namespace mpl=boost::mpl;

struct A
{
    int a1;
    double a2;
    float a3;
};

BOOST_FUSION_ADAPT_STRUCT(
    A,
    (int,a1)
    (double,a2)
    (float,a3)
)

struct printer
{
    template <typename T>
    void operator()(T) const
    {
        std::cout << typeid(T).name() << ";";
    }
};


int main()
{
    typedef fusion::result_of::as_vector<fusion::joint_view<mpl::vector<bool,std::string>,A> >::type  types1;
    typedef boost::make_variant_over<types1>::type variant1;

    variant1 a = 3.5f;
    variant1 b = true;

    std::cout << a << " " << b << ". " << fusion::result_of::size<variant1::types>::type::value << " elements in the variant" << std::endl;
    fusion::for_each(variant1::types(),printer());
    std::cout << std::endl;

    typedef mpl::fold<A,mpl::set<std::string,int>,mpl::insert<mpl::_1,mpl::_2>>::type types2;
    typedef boost::make_variant_over<fusion::result_of::as_vector<types2>::type>::type variant2;

    variant2 a2 = 4;
    variant2 b2 = "bla"; 

    std::cout << a2 << " " << b2 << ". " << fusion::result_of::size<variant2::types>::type::value << " elements in the variant" << std::endl;
    fusion::for_each(variant2::types(),printer());
    std::cout << std::endl;
}
于 2013-10-16T11:47:34.167 回答