c++ - 如何在使用 Boost MSM 编写的状态机中直接达到任何状态

Question

我目前正在使用 Boost MSM 库来编写状态机，并且我想编写单元测试来检查其状态之间的转换。对于每个单元测试，我需要编写重复的代码行以达到我想要开始的状态。因此，我想知道它们是否是一种在给定状态而不是启动状态下启动状态机的方法。

例如，如果我有一个像这样通常从 StartingState 开始的简单状态机，我想直接访问 IdleState 进行测试：

• --> 起始状态 --> 空闲状态 --> 错误状态

Answer 1

Boost.MSM 不直接支持您想要的功能。

initial_state但是您可以使用内部类型和预处理器宏来控制初始状态。

假设您的状态机定义在sm1.hpp.

sm1.hpp

#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 msm = boost::msm;
namespace msmf = boost::msm::front;
namespace mpl = boost::mpl;

// ----- Events
struct Event1 {};

// Test helper code
#if !defined(TEST_SM1_STATE)
#define TEST_SM1_STATE StartingState
#endif //!defined(TEST_SM1_STATE)

// ----- State machine
struct Sm1_:msmf::state_machine_def<Sm1_> {
    // States
    struct StartingState:msmf::state<> {
        // Entry action
        template <class Event,class Fsm>
        void on_entry(Event const&, Fsm&) {
            std::cout << "StartingState::on_entry()" << std::endl;
        }
    };
    struct IdleState:msmf::state<> {
        // Entry action
        template <class Event,class Fsm>
        void on_entry(Event const&, Fsm&) {
            std::cout << "IdleState::on_entry()" << std::endl;
        }
    };
    struct ErrorState:msmf::state<> {
        // Entry action
        template <class Event,class Fsm>
        void on_entry(Event const&, Fsm&) {
            std::cout << "ErrorState::on_entry()" << std::endl;
        }
    };

    // Set initial state
    using initial_state = TEST_SM1_STATE;

    // Transition table
    struct transition_table:mpl::vector<
        //          Start          Event   Next        Action      Guard
        msmf::Row < StartingState, Event1, IdleState,  msmf::none, msmf::none >,
        msmf::Row < IdleState,     Event1, ErrorState, msmf::none, msmf::none >
    > {};
};

// Pick a back-end
typedef msm::back::state_machine<Sm1_> Sm1;

测试.cpp

#define TEST_SM1_STATE IdleState
#include "sm1.hpp"

int main() {
    Sm1 sm1;
    sm1.start(); 
}

演示：https ://wandbox.org/permlink/dnLrAZ7fTJhg473q

关键是下面的代码：

// Set initial state
using initial_state = TEST_SM1_STATE;

您可以将任何状态设置为初始状态。在包含之前定义初始状态sm1.hpp，如下所示：

#define TEST_SM1_STATE IdleState
#include "sm1.hpp"