1

これを修正する方法はありますか？

ubuntu 8.10 w / g++4.3.2で1.39_0を使用

次のステートチャートでは、「BUGGY」というフレーズが3回印刷されています。イベントがトリガーするのは1つの「BUGGY」だけであると予想されます。私が取り組んでいるプロジェクトの場合、イベントが複数の状態（通常は直交する状態のセットの奥深く）に到達する必要があるため、discard_event（）を返すことはできません。ステートチャートを変更する代わりに適用できる回避策がある場合は、知りたいです。

$ cat bug.cpp

#include <boost/intrusive_ptr.hpp>
#include <boost/mpl/list.hpp>    #include <boost/statechart/custom_reaction.hpp>
#include <boost/statechart/event.hpp>
#include <boost/statechart/simple_state.hpp>
#include <boost/statechart/state.hpp>
#include <boost/statechart/state_machine.hpp>
#include <iostream>

using namespace std;
namespace sc = boost::statechart;
namespace mpl = boost::mpl;

struct evSay : sc::event<evSay>{ };
struct top;
struct c1;
struct c2;
struct c3;
struct sm : public sc::state_machine<sm,top> { };

struct top : sc::simple_state<top,sm,mpl::list<c1,c2,c3> > {
       typedef sc::custom_reaction<evSay> reactions;
       sc::result react(const evSay &) {
               cout<<"BUGGY"<<endl;
               return forward_event();
       }
};

struct c1 : sc::simple_state <c1, top::orthogonal<0> > { };

struct c2 : sc::simple_state <c2, top::orthogonal<1> > { };

struct c3 : sc::state <c3, top::orthogonal<2> > {
       c3( my_context  ctx) : my_base(ctx) {
               post_event( boost::intrusive_ptr< evSay > (
                               new evSay() ) );
       }
};

int main() {
       sm* fsm = new sm();
       fsm->initiate();
       delete fsm;
       return 0;
}

$ g ++ bug.cpp && ./a.out
BUGGY
BUGGY
BUGGY

編集：：

これは、実際に取り組んでいるはるかに大きな問題で遭遇した問題を示すステートマシンの例です。topがevSayを転送することを私は知っています。c1、c2、c3はevSayに反応しないことに注意してください。これは、2つの状態がevSayに反応するように転送する必要がある例です。

#include <boost/intrusive_ptr.hpp>    
#include <boost/mpl/list.hpp>    
#include <boost/statechart/custom_reaction.hpp>
#include <boost/statechart/event.hpp>
#include <boost/statechart/simple_state.hpp>
#include <boost/statechart/state.hpp>
#include <boost/statechart/state_machine.hpp>    
#include <iostream>
using namespace std;
namespace sc = boost::statechart;
namespace mpl = boost::mpl;
namespace BUG {
struct evSay : sc::event<evSay>{ };
struct top;struct c1;struct c2;struct c3;struct c2_1;

struct sm : public sc::state_machine<sm,top> { };

struct top : sc::simple_state<top,sm,mpl::list<c1,c2,c3> > {
    typedef sc::simple_state<top,sm,mpl::list<c1,c2,c3> > my_type;
    typedef sc::custom_reaction<evSay> reactions;
    sc::result react(const evSay &) {
        cout<<"BUGGY"<<endl;
        return forward_event();
    }
};

struct c1 : sc::simple_state <c1, top::orthogonal<0> > { };
struct c2 : sc::simple_state <c2, top::orthogonal<1>, c2_1 > { };
struct c3 : sc::state <c3, top::orthogonal<2> > {
    c3( my_context  ctx) : my_base(ctx) {
        post_event( boost::intrusive_ptr< evSay > (
                new evSay() ) );
    }
};

struct c2_1 : sc::simple_state<c2_1, c2 > {
    typedef sc::custom_reaction<evSay> reactions;
    sc::result react(const evSay &) {
        cout<<"CHILD REACTION"<<endl;
        return forward_event();
    }
};
}

int main()
{
    BUG::sm* fsm = new BUG::sm();
    fsm->initiate();
    delete fsm;
    return 0;
}

出力：BUGGY
CHILD REACTION
BUGGY
BUGGY

4

2 に答える 2

1

必要な反応を状態の子状態に移動しますtop。これにより、イベントのラインから外れforward_stateます。インナータイプとしては実装していませんが、実装は可能です。

#include <boost/intrusive_ptr.hpp>    
#include <boost/mpl/list.hpp>    
#include <boost/statechart/custom_reaction.hpp>
#include <boost/statechart/event.hpp>
#include <boost/statechart/simple_state.hpp>
#include <boost/statechart/state.hpp>
#include <boost/statechart/state_machine.hpp>    
#include <iostream>
using namespace std;
namespace sc = boost::statechart;
namespace mpl = boost::mpl;


struct evSay : sc::event<evSay>{ };

struct top;struct c1;struct c2;struct c3;struct c2_1;struct sub_1;

struct sm : public sc::state_machine<sm,top> { };

struct top : sc::simple_state<top,sm, mpl::list<c1,c2,c3, sub_1> > { };

struct sub_1 : sc::simple_state<sub_1, top::orthogonal<3> > {
    typedef sc::custom_reaction<evSay> reactions;
    sc::result react(const evSay &) {
        cout<<"PARENT REACTION"<<endl;
        return forward_event();
    }
};

struct c1 : sc::simple_state <c1, top::orthogonal<0> > { };
struct c2 : sc::simple_state <c2, top::orthogonal<1>, c2_1 > { };
struct c3 : sc::simple_state <c3, top::orthogonal<2> > { };

struct c2_1 : sc::simple_state<c2_1, c2 > {
    typedef sc::custom_reaction<evSay> reactions;
    sc::result react(const evSay &) {
        cout<<"CHILD REACTION"<<endl;
        return forward_event();
    }
};

int main()
{
    sm* fsm = new sm();
    fsm->initiate();
    fsm->process_event(  evSay()  );
    delete fsm;
    return 0;
}

~$g++ test.cpp -I Downloads/boost_1_45_0
~$./a.out
子供
の反応親の反応

于 2011-01-07T06:34:05.297 に答える
0

このイベントは 1 つの「BUGGY」のみをトリガーすると予想されます。

私は正直に言うつもりはありません。3 つの直交する状態を指定react()し、外側の状態に を定義します。私が理解しているように (*) 3 つの最も内側の状態があります。イベントを進め続ける限り、3 つすべてが処理されます。

これらの 3 つのそれぞれには反応がないので、外側の状態で反応を探しに行き、1 つを見つけtopて呼び出します。結果として、forward次のまだ訪問されていない最も内側の状態を任意に選択します。同じです。

イベントが複数の状態に到達する必要があるため、discard_event() を返すことはできません (通常、状態の​​直交セットの奥深く)。

しかし、それはまさにあなたがここで達成していることです。複数の状態に到達したいと言っていますが、それらの状態の react() を起動したくないですか? 正直言ってあまり意味がありません。

明らかに「バグ」を一度も印刷しようとしていないので、アドバイスを与えるのは難しいです。正確に何を達成しようとしていますか?

(*) 記録のために、私は state_machine が新しいときに少しだけ遊んだだけで、製品コードで使用したことはないので、私はまったく専門家ではありません

于 2009-06-26T13:40:53.253 に答える