启动状态机无法在启动时处理内部转换

我有以下状态机(抱歉，我找不到如何制作较小的 MRE(：

• SM，包含 MainSM，包含 SubSM。
• SM有一个内部转换表，上面写着"忽略事件触发器"。
• 启动时，SM 的初始状态为 MainSM，MainSM 的initial_state为"默认"(因此它不是 SubSM(。
• 只有SubSM处理"触发器"事件。

它运行良好，状态机按预期忽略Trigger事件。但是，如果MainSM的on_entry方法发送Trigger事件，则启动状态机将不会处理该事件并调用no_transition。

问题出在哪里？调用启动时 SM 尚未准备好吗？这是一个错误还是符合规范？

这是代码片段。 删除process_event呼叫线路 80 即可正常工作。

#include <iostream>
#include <boost/core/demangle.hpp>
#include <boost/msm/back/state_machine.hpp>
#include <boost/msm/front/state_machine_def.hpp>
#include <boost/msm/front/functor_row.hpp>
#define ON_ENTRY_LOG_NAME(name) 
template <class Event, class FSM>                   
void on_entry(const Event &, FSM&) {            
std::cout << "Entering " #name << std::endl;    
}
#define ON_EXIT_LOG_NAME(name) 
template <class Event, class FSM> 
void on_exit(const Event &, FSM&) { 
std::cout << "Exitting " #name << std::endl;    
}

namespace  // Concrete FSM implementation
{
namespace msm = boost::msm;
namespace msmb = boost::msm::back;
namespace msmf = boost::msm::front;
namespace mpl = boost::mpl;
// events
struct Stop {};
struct Recover {};
struct Start {};
struct Trigger {};
struct SubSM_front: msmf::state_machine_def<SubSM_front>
{
struct Fidgetting: msmf::state<>
{
ON_ENTRY_LOG_NAME(Fidgetting);
ON_EXIT_LOG_NAME(Fidgetting);
};
struct FidgettingCompulsively: msmf::state<>
{
ON_ENTRY_LOG_NAME(FidgettingCompulsively);
ON_EXIT_LOG_NAME(FidgettingCompulsively);
};
using initial_state = Fidgetting;
struct transition_table: mpl::vector<
msmf::Row<Fidgetting,             Trigger, FidgettingCompulsively>,
msmf::Row<FidgettingCompulsively, Trigger, Fidgetting>
> {};
ON_ENTRY_LOG_NAME(SubSM);
ON_EXIT_LOG_NAME(SubSM);
};
using SubSM = msmb::state_machine<SubSM_front>;
struct MainSM_front: msmf::state_machine_def<MainSM_front>
{
struct Default: msmf::state<>
{
ON_ENTRY_LOG_NAME(Default);
ON_EXIT_LOG_NAME(Default);
};
using initial_state = Default;
struct transition_table: mpl::vector<
msmf::Row<Default, Start, SubSM>
> {};
template <class Event, class FSM>
void on_entry(const Event &, FSM &fsm)
{
std::cout << "Entering MainSM" << std::endl;
// This line make a call to no_transition
fsm.process_event(Trigger{});
}
ON_EXIT_LOG_NAME(MainSM);
};
using MainSM = msmb::state_machine<MainSM_front>;
struct SM_front: msmf::state_machine_def<SM_front>
{
struct Stopped: msmf::state<>
{
ON_ENTRY_LOG_NAME(Stopped);
ON_EXIT_LOG_NAME(Stopped);
};
using initial_state = MainSM;
using transition_table = mpl::vector<
msmf::Row<MainSM,  Stop,    Stopped>,
msmf::Row<Stopped, Recover, MainSM>
>;
using internal_transition_table = mpl::vector<
msmf::Internal<Trigger>
>;
ON_ENTRY_LOG_NAME(SM);
ON_EXIT_LOG_NAME(SM);
};
using SM = msmb::state_machine<SM_front>;
void test()
{
SM sm;
sm.start();
sm.process_event(Trigger{});
sm.stop();
}
}
int main()
{
test();
return 0;
}

使用 GCC 5.5、Clang 8、Boost 1.58 和 1.73(C++14(进行测试。