具有函数指针的有限状态机

Question

我正在学习使用有限状态机来完成某些任务，但在导航状态表和执行函数以使其成为有用的系统时遇到问题。

考虑我的状态机：

_{（来源：wikimedia.org）}

说明：
* = 将字符打印到标准输出
N = '\n'
S = ' '
A = aA-zZ

我从维基百科上基于自动机的编程开始使用的代码可以工作对于这样一个简单的机器，但我想修改它，以便我可以拥有更强大的状态转换表并根据这些状态调用函数。

我已经在 Pastebin 上发布了工作基本代码以及我想使用的转换表样式。

我之前没有使用过函数指针，所以我不确定如何根据 process_event 接收到的数据编写转换函数。最终我想要一个模板，允许我有状态输入/输出和状态输入/输出。转换输入/输出函数，这样我就可以更有效地编写复杂的用户菜单，甚至编程算法。

Answer 1

使用函数作为状态非常强大，但与使用递归函数（返回函数的函数状态）相比，使用转换表非常容易出错且痛苦。一个值得您考虑的出色实现是量子分层状态机。虽然它只有大约 1000 行代码作为基础，但它有一本随附的书 解释您对其工作原理可能存在的任何疑问。非常强大，速度非常快。

Answer 2

你检查了吗
Boost.msm - 非常高-用于富有表现力的 UML2 有限状态机的性能库。

阅读文档，因为它都是关于管理状态机的复杂性的。

您可能更喜欢 boost 中的其他状态机实现，因为它编译速度更快，因为它不是为超高速而设计的（这并不意味着它不够快）Boost.Statechart - 可以用易于阅读和维护的 C++ 代码实现任意复杂的有限状态机。

正如 Brent Arias 提到的，你应该阅读 http://www.state-machine.com/ 的书psicc2/index.php 它是状态机圣经。

Answer 3

您的编译问题表明它无法从 int 转换为 void (*)(int) 来自分支结构：

struct branch
{
    int event_type:3;
    enum states state_new:2;
    int do_func:1;
};

do_func 已定义作为整数而不是 void (*do_func)(int)；