关闭

有限状态机

424人阅读 评论(0) 收藏 举报
分类:
 

有限状态机

分类: C/C++ 442人阅读 评论(0) 收藏 举报
有限状态机是一种数学概念,运用到程序中,可用于有限数量的状态的变化,每个子程序进行一些处理并选择下一种状态。

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


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可以,那么理论上也是可行的。


密码锁的例子

  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. }   
0
0

查看评论
* 以上用户言论只代表其个人观点,不代表CSDN网站的观点或立场
    个人资料
    • 访问:220432次
    • 积分:3425
    • 等级:
    • 排名:第10173名
    • 原创:77篇
    • 转载:284篇
    • 译文:0篇
    • 评论:19条
    最新评论