我正在尝试使用 Boost 状态机，但在无限循环中运行我的机器时遇到了分段错误。本质上，我在下面显示的 boost 状态机仿函数示例中有相同的示例：
唯一的区别是我现在一进入 State4 就触发“event1”发生，因此创建了一个循环。这适用于数千次迭代，但随后会出现段错误。我是否违反了某种 UML 规则并溢出了堆栈？我基本上只有一个阻塞事件，然后我希望所有其他状态自动触发，然后以 State4 结束（例如，这实际上是等待来自网络的消息的阻塞调用）。我将如何使用元状态机正确实现这一点，这样我就不会炸毁堆栈？
更新
我在这里包含了导致我的问题的源代码：http:
//pastebin.com/fu6rzF0Q
这基本上是仿函数前端的示例，除了以下更改：
添加了“假装”阻塞调用功能：
struct BlockingCall {
template <class EVT, class FSM, class SourceState, class TargetState>
void operator()(EVT const &, FSM &, SourceState &, TargetState &) {
std::cout << "my_machine::Waiting for a thing to happen..." << std::endl;
// Pretend I'm actually waiting for something
std::this_thread::sleep_for(std::chrono::milliseconds(100));
std::cout << "my_machine::OMG the the thing happened!" << std::endl;
}
};
我还更新了转换表中的最后一行：
struct transition_table : mpl::vector<
// Start Event Next Action Guard
// +---------+-------------+---------+---------------------+----------------------+
Row < State1 , none , State2 >,
Row < State2 , none , State3 , State2ToState3 >,
Row < State3 , none , State4 , none , always_false >,
// +---------+-------------+---------+---------------------+----------------------+
Row < State3 , none , State4 , State3ToState4 , always_true >,
Row < State4 , none , State1 , BlockingCall >
// +---------+-------------+---------+---------------------+----------------------+
> {};
请注意，不再需要触发从 State4 移动到 State1 的事件。毫无疑问，这段代码会给你一个段错误，并且会有一个长达 1000 行的堆栈跟踪。
我还应该注意，无论我等待多久，我总是最终会出现段错误。我已经尝试将 sleep 更改为 1 - 100，它最终会死掉。我想我需要某种方式在单个循环完成后展开堆栈。
更新 2 所以我发现当我在无限循环中触发事件时我没有段错误。这是我所做的：
首先，我将转换表设置回原始示例：
struct transition_table : mpl::vector<
// Start Event Next Action Guard
// +---------+-------------+---------+---------------------+----------------------+
Row < State1 , none , State2 >,
Row < State2 , none , State3 , State2ToState3 >,
Row < State3 , none , State4 , none , always_false >,
// +---------+-------------+---------+---------------------+----------------------+
Row < State3 , none , State4 , State3ToState4 , always_true >,
Row < State4 , event1 , State1 , none >
// +---------+-------------+---------+---------------------+----------------------+
> {};
然后我将主程序更改为以下内容：
void test() {
my_machine p;
// needed to start the highest-level SM. This will call on_entry and mark the
// start of the SM
// in this case it will also immediately trigger all anonymous transitions
p.start();
// this event will bring us back to the initial state and thus, a new "loop"
// will be started
while (true) {
p.process_event(event1());
}
}
现在我一直在全速运行（没有睡眠）并且我没有出现段错误。基于此，似乎没有办法启动状态机并让它运行并处理内部事件，对吗？我总是必须在外部有一些至少触发的过程？
更新 3
最终我的目标是实现如下图所示：
我的意图是启动状态机，然后它会简单地等待传入消息而无需任何进一步的干预。