在子机上使用构造函数参数提升 MSM

Question

我正在尝试在主状态机和子状态机之间共享SyncBox 对象。理想的方法是将它传递给构造函数（在更复杂的情况下，子状态机将是区域之一的初始状态）。无论如何，我无法使这段代码正确编译和执行。有什么帮助吗？

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

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

class SyncBox {
    std::mutex mtx;
};

struct SubSMFE : public msm::front::state_machine_def<SubSMFE>
{
    struct InitState : public msm::front::state<> {};
    struct FakeState : public msm::front::state<> {};
    typedef InitState initial_state;
    struct transition_table : mpl::vector<
        Row < InitState, none, FakeState>
    > {};
};

//typedef msm::back::state_machine<SubSMFE> SubSM;
class SubSM : public msm::back::state_machine<SubSMFE> {
private:
    SyncBox& sb;
public:
    SubSM(SyncBox& sb) : sb(sb) { std::cout << "SubSMFE constructor" << std::endl; };
    void oneFunction() {
        // here i use syncBox. it must be a function of SubSM, not SubSMFE (oneFunction overrides start or enqueue_event)
    };
};

struct mainSMFE : public msm::front::state_machine_def<mainSMFE>
{
protected:
    SyncBox sb;
public:
    struct InitState : public msm::front::state<> {};
    typedef InitState initial_state;
    struct transition_table : mpl::vector<
        Row < InitState, none, SubSM>
    > {};
};

class mainSM : public msm::back::state_machine<mainSMFE> {
public:
    mainSM() : msm::back::state_machine<mainSMFE>(msm::back::states_ << SubSM(sb)) { };
};

int main()
{
    mainSM sm;
    return 0;
}

Answer 1

据我所知，你的一切都是正确的。

然而，问题在于子状态列表要求所有状态元素都是默认可构造的。 （据我所知，对于前端类来说，这可能不是真的，但还没有完全研究它）。

这意味着将引用存储为成员是禁止的。我建议改为存储一个指针。

class SubSM : public msm::back::state_machine<SubSMFE> {
  private:
    SyncBox* psb = nullptr;

  public:
    SubSM() = default;

    SubSM(SyncBox& psb)
        : psb(&psb)
    {
        std::cout << "SubSMFE constructor" << std::endl;
    };

它确实按预期工作：

Live On Coliru

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

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

class SyncBox {
    std::mutex mtx;
};

struct SubSMFE : public msm::front::state_machine_def<SubSMFE> {
    struct InitState : public msm::front::state<> { };
    struct FakeState : public msm::front::state<> { };
    using initial_state = InitState;
    // clang-format off
    struct transition_table : mpl::vector<
        Row < InitState, none, FakeState>
    > {};
    // clang-format on
};

// typedef msm::back::state_machine<SubSMFE> SubSM;

class SubSM : public msm::back::state_machine<SubSMFE> {
  private:
    SyncBox* psb = nullptr;

  public:
    SubSM() = default;

    explicit SubSM(SyncBox& psb)
        : psb(&psb)
    {
        std::cout << "SubSMFE constructor" << std::endl;
    };

    void oneFunction() {
        // here i use syncBox. it must be a function of SubSM, not SubSMFE
        // (oneFunction overrides start or enqueue_event)
    };
};

class mainSMFE : public msm::front::state_machine_def<mainSMFE> {
  protected:
    SyncBox sb;

  public:
    struct InitState : public msm::front::state<> { };
    using initial_state = InitState;
    // clang-format off
    struct transition_table : mpl::vector<
        Row < InitState, none, SubSM >
    > {};
    // clang-format on
};

class mainSM : public msm::back::state_machine<mainSMFE> {
  public:
    mainSM()
        : msm::back::state_machine<mainSMFE>(
            msm::back::states_ << SubSM(sb)) {};
};

int main() {
    mainSM sm;
}

打印

SubSMFE constructor