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

Question

В документации для 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());        
}

Answer 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