C语言实现状态机

有限状态机是一种数学概念，运用到程序中，可用于有限数量的状态的变化，每个子程序进行一些处理并选择下一种状态。

基本的实现思路就是用一张表保存所有可能的状态，并列出进入每个状态时可能执行的所有动作，其中最后一个动作就是计算下一个应该进入的状态。运行状态就是从初始状态开始，不停的在各个状态之间转换，直到结束状态。

FSM的实现方式：
1） switch/case或者if/else

这无意是最直观的方式，使用一堆条件判断，会编程的人都可以做到，对简单小巧的状态机来说最合适，但是毫无疑问，这样的方式比较原始，对庞大的状态机难以维护。

2） 状态表

维护一个二维状态表，横坐标表示当前状态，纵坐标表示输入，表中一个元素存储下一个状态和对应的操作。这一招易于维护，但是运行时间和存储空间的代价较大。

3） 使用State Pattern

使用State Pattern使得代码的维护比switch/case方式稍好，性能上也不会有很多的影响，但是也不是100％完美。不过Robert C. Martin做了两个自动产生FSM代码的工具，for java和for C++各一个，在http://www.objectmentor.com/resources/index上有免费下载，这个工具的输入是纯文本的状态机描述，自动产生符合State Pattern的代码，这样developer的工作只需要维护状态机的文本描述，每必要冒引入bug的风险去维护code。

4） 使用宏定义描述状态机
一般来说，C++编程中应该避免使用#define，但是这主要是因为如果用宏来定义函数的话，很容易产生这样那样的问题，但是巧妙的使用,还是能够产生奇妙的效果。MFC就是使用宏定义来实现大的架构的。

在实现FSM的时候，可以把一些繁琐无比的if/else还有花括号的组合放在宏中，这样，在代码中可以3）中状态机描述文本一样写，通过编译器的预编译处理产生1）一样的效果，我见过产生C代码的宏，如果要产生C++代码，己软MFC可以，那么理论上也是可行的。

密码锁的例子

[cpp]  view plain copy

1. #include <stdio.h>    
2. #include <stdlib.h>    
3. #include <string.h>     
4.   
5. typedef enum{     
6.     STATE0 = 0,     
7.     STATE1,     
8.     STATE2,    
9.     STATE3,     
10.     STATE4,    
11. }STATE;  
12.     
13.   
14. int main()     
15.   
16. {     
17.     char ch;   
18.     STATE current_state = STATE0;      
19.     while(1){     
20.         printf("In put password:");     
21.         while((ch = getchar()) != '\n')  
22.         {     
23.             if((ch < '0') || (ch > '9'))  
24.             {     
25.                 printf("Input num,ok?/n");     
26.                 break;     
27.             }     
28.             switch(current_state){     
29.             case STATE0:     
30.                 if(ch == '2')   current_state = STATE1;     
31.                 break;     
32.             case STATE1:     
33.                 if(ch == '4')   current_state = STATE2;     
34.                 break;     
35.             case STATE2:     
36.                 if(ch == '7')   current_state = STATE3;     
37.                 break;     
38.             case STATE3:     
39.                 if(ch == '9')   current_state = STATE4;     
40.                 break;     
41.             default:     
42.                 current_state = STATE0;     
43.                 break;     
44.             }     
45.         }     
46.   
47.         if(current_state == STATE4){     
48.             printf("Correct, lock is open!\n");     
49.             current_state =   STATE0;  
50.               
51.         }else  
52.         {  
53.             printf("Wrong, locked!\n");     
54.             current_state =   STATE0;  
55.               
56.         }  
57.         break;  
58.     }     
59.     return 0;     
60.   
61. }