Конечные автоматы без конструкторов по умолчанию в boost: msm

В документации для boost :: msm есть пример конечного автомата без конструктора по умолчанию. Я могу заставить его работать, где я прыгаю прямо с супер-SM в суб-SM. Но когда я прыгаю с одной подсистемы SM на другую подсистему SM, целевой SM создается по умолчанию, и мои данные исчезают.
Ниже приведен пример. Я не могу заставить его скомпилироваться без предоставления конструкторов по умолчанию для вложенных состояний. Нужно ли предоставлять какую-то дополнительную информацию в моих sub-SMs, чтобы это работало?

Когда я запускаю пример, я получаю:

Jumping directly to Sub1
Sub1.data_ = 0x7fff5fbfd778
Jumping directly to Sub2
Sub2.data_ = 0x7fff5fbfd778
Jumping from Sub1 to Sub2
Sub1.data_ = 0x7fff5fbfd778
Sub2.data_ = 0xdeadbeef

Я ожидал, что 0xdeadbeef будет иметь тот же адрес, что и остальные.

#include <iostream>
#include <boost/msm/back/state_machine.hpp>
#include <boost/msm/front/state_machine_def.hpp>
#include <boost/msm/front/functor_row.hpp>

namespace {

using namespace boost::msm;
using namespace boost::msm::front;
namespace mpl = boost::mpl;

struct MyData {
int data;
};

struct EvGotoSub1 {};
struct EvGotoSub2 {};

struct MainSM_;
using Main = back::state_machine<MainSM_>;
struct Sub1SM_;
using Sub1 = back::state_machine<Sub1SM_>;
struct Sub2SM_;
using Sub2 = back::state_machine<Sub2SM_>;

struct Sub1SM_ : state_machine_def<Sub1SM_> {
struct Started : state<> {
template <class Event,class Fsm>
void on_entry(Event const& e, Fsm& fsm) {
std::cout << "Sub1.data_ = " << (void*) fsm.data_ << std::endl;
}
};
using initial_state = mpl::vector<Started>;
struct transition_table:mpl::vector<
Row<Started, EvGotoSub2, Sub2, none, none>
> {};
MyData* data_;

Sub1SM_() : data_((MyData*) 0xdeadbeef) {};
Sub1SM_(MyData* data) : data_(data) {};
};

struct Sub2SM_ : state_machine_def<Sub2SM_> {
struct Started : state<> {
template <class Event,class Fsm>
void on_entry(Event const& e, Fsm& fsm) {
std::cout << "Sub2.data_ = " << (void*) fsm.data_ << std::endl;
}
};
using initial_state = mpl::vector<Started>;
struct transition_table:mpl::vector<
//Row<Started, EvGotoSub1, Sub1, none, none>
> {};
MyData* data_;

Sub2SM_() : data_((MyData*) 0xdeadbeef) {};
Sub2SM_(MyData* data) : data_(data) {};
};

struct MainSM_ : state_machine_def<MainSM_> {
struct Started : state<> {};
using initial_state = mpl::vector<Started>;
struct transition_table:mpl::vector<
Row<Started, EvGotoSub1, Sub1, none, none>,
Row<Started, EvGotoSub2, Sub2, none, none>
> {};
MyData* data_;

MainSM_(MyData* data) : data_(data) {};
};
}

int main() {
MyData data { 123 };

auto CreateMain = [&data] {
auto ret = Main(back::states_ << Sub1(&data) << Sub2(&data), &data);
ret.start();
return ret;
};

std::cout << "Jumping directly to Sub1" << std::endl;
Main main = CreateMain();
main.process_event(EvGotoSub1());

std::cout << "Jumping directly to Sub2" << std::endl;
main = CreateMain();
main.process_event(EvGotoSub2());

std::cout << "Jumping from Sub1 to Sub2" << std::endl;
main = CreateMain();
main.process_event(EvGotoSub1());
main.process_event(EvGotoSub2());
}

1

Решение

Конструктор по умолчанию должен быть определен.
За Sub1 Вы также должны указать, какой конструктор Sub2 Вы хотите использовать:

auto ret = Main(back::states_ << Sub1(back::states_ << Sub2(&data), &data) << Sub2(&data), &data);

Это выводит:

Jumping directly to Sub1
Sub1.data_ = 0xbfe82bf0
Jumping directly to Sub2
Sub2.data_ = 0xbfe82bf0
Jumping from Sub1 to Sub2
Sub1.data_ = 0xbfe82bf0
Sub2.data_ = 0xbfe82bf0

живой пример: https://ideone.com/XMtDye

1

Другие решения


По вопросам рекламы ammmcru@yandex.ru
Adblock
detector