c语言函数状态机实现,基于C语言的状态机实现技术

二、基于C语言的状态机实现

2.1、基于switch(状态)的实现

在实现有限状态机时，使用switch语句是最简单也是最直接的一种方式，其基本思路是为状态机中的每一种状态都设置一个case分支。

2.2基于函数指针数组的实现

一个函数指针数组可以像下面这样声明：

void (*state[MAX_STATES]) ();

如果知道了函数名，就可以像下面这样对数组进行初始化。

extern int a(),b(),c(),d();

int (*state[]) ()={a,b,c,c};

可以通过数组中的指针来调用函数：

(*state[i]) ();

所有函数必须接受同样的参数，并返回同种类型的返回值(除非你把数组元素做成一个联合)。还可以让状态函数返回一个指向通用后续函数的指针，并把它转换为适当的类型。这样，就不需要全局变量了。

如果你的状态函数看上去需要多个不同的参数，可以考虑使用一个参数计数器和一个字符串指针数组，就像main函数的参数一样。我们熟悉的int argc,char *argv[]机制是非常普遍的，可以成功地应用在你所定义的函数中。

三、参考资料

•从Wiki百科全书 http://en.wikipedia.org/wiki/Finite_state_automaton开始，你可以了解到许多同状态机相关的计算理论知识。

•状态机是UML的一个重要组成部分，Robert C. Martin在他的文章UML Tutorial: Finite State Machines中，介绍了如何使用UML语言来对状态机进行建模，你可以通过网址 http://www.objectmentor.com/resources/articles/umlfsm.pdf可以找到这一文档。

•FSME是Linux下一个基于Qt的状态机建模工具，它能够自动生成状态机框架代码，并且同时支持C++和Python语言，通过网站 http://fsme.sourceforge.net/你可以了解到有关FSME的更多信息，并能够下载最新版本的FSME。

•Qfsm也是一个运行在Linux下的状态机建模工具，它不仅提供了可视化的状态机编辑器，而且还能够对生成的状态机进行实时模拟，通过网站 http://qfsm.sourceforge.net/可以了解到Qfsm的更多信息。

•为Linux应用构造有限状态机 http://www.ibm.com/developerworks/cn/linux/l-fsmachine/index.html