2

Fusion 構造体のメンバーを反復処理し、そのメンバーの型を 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。機能する非常に簡単な代替手段の 1 つは、 を使用して構造体 (構造体が適合するシーケンス) とfusion::joint_view連結することです。mpl::vectorこのジョイント ビューは で直接使用することはできませんが、 を使用して同じ要素を持つを取得するboost::make_variant_overことで簡単に解決できます。このアプローチの問題の 1 つ (実際に問題があるかどうかはわかりませんが、間違いなく醜いです) は、ベクターと構造体の間に共通の要素がある場合、結果のバリアントのリストにそれらの要素が 2 回含まれることです。種類。これを解決したい場合は、ベクトルの代わりに を使用してから を使用できます。これにより、重複するタイプのない が得られます。使用する必要がありますfusion::result_of::as_vectorfusion::vectormpl::setmpl::fold<A, mpl::set<your types...>, mpl::insert<_1,_2> >::typempl::setfusion::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 に答える