Chinaunix首页 | 论坛 | 博客
  • 博客访问: 3105753
  • 博文数量: 396
  • 博客积分: 0
  • 博客等级: 民兵
  • 技术积分: 4209
  • 用 户 组: 普通用户
  • 注册时间: 2016-07-04 13:04
文章分类

全部博文(396)

文章存档

2022年(1)

2021年(2)

2020年(8)

2019年(24)

2018年(135)

2017年(158)

2016年(68)

我的朋友

分类: 嵌入式

2018-02-08 11:19:30

typedef unsigned char State; typedef State(*Procedure)(void *);

这样就可以方便地定义一个函数指针数组:

Procedure Steps[] = { step_init, step_count, step_done, step_default };

step_init,step_count等是函数名,再定义状态:

enum states{ s_init, s_count, s_done, s_default };

枚举定义对应着{0,1,2,3},有了这些再状态机联系那么可以想到,数组的索引就是状态定义,上核心代码,两行(简单吧!关键是想到):

void BestStateMachine(void * invar) {

static State NS = s_init; //定义下一状态

NS = Steps[NS](invar);

}

static的变量NS在每次BestStateMachine调用会得到维护,我们只需再每Steps返回下一个状态并保存到NS中可以实现状态的保存和切换。再说说为什么要加个void*的参数,状态机一般有很多自身变量的维护,而且对于mealy状态机还需根据输入判断,因为函数调用返回是不保留局部变量的,那么就需要将变量传递来实现更改和保存,之所以只用了一个void*参数是因为,如果需要保存和传递的变量很多,直接传递会在调用函数是浪费大量的栈空间,且效率低下,采用这种模式,你可以将变量用一个结构体封装,然后将结构体指针传递给void *的形参,再函数内部再强制转换即可使用结构体内部的变量。现在你已经在嘀咕这作者真啰嗦,好上实例代码,就是一个简单的计数器(以前学状态机都从计数器开始),在计数完成打印信息:

#include typedef unsigned char State; typedef State(*Procedure)(void *); enum states{ s_init, s_count, s_done, s_default };//状态定义 typedef struct _SM_VAR //对状态机参数封装
{ int cnt;
}SM_VAR;
State step_init(void * arg)//初始化
{
    SM_VAR *p = (SM_VAR *)arg;
    p->cnt = 0; printf("CS:init ;cnt=%d;NS:count\n", p->cnt); return s_count;
}
State step_count(void * arg)//计数
{
    SM_VAR *p = (SM_VAR *)arg; if (p->cnt < 3){
        p->cnt+=1; printf("CS:count;cnt=%d;NS:count\n", p->cnt); return s_count;
    } else{ printf("CS:count;cnt=%d;NS:done\n", p->cnt); return s_done;
    }
}
State step_done(void * arg)//计数完成
{
    SM_VAR *p = (SM_VAR *)arg; printf("CS:done ;cnt=%d;NS:init\n", p->cnt); return s_init;
}
State step_default(void * arg)//错误过程
{
    SM_VAR *p = (SM_VAR *)arg; printf("Wrong State\n"); return s_init;
}
Procedure Steps[] = { step_init, step_count, step_done, step_default }; void BestStateMachine(void * invar)
{ static State NS = s_init; //定义下一状态
    NS = Steps[NS](invar);
} int main(void)
{
    SM_VAR var; int i; for (i = 0; i <8; i++){//给状态机8个周期的时钟驱动
        BestStateMachine(&var);
    } return 0;
}

最后在VS2013上调试如下:

CS:init ;cnt=0;NS:count CS:count;cnt=1;NS:count CS:count;cnt=2;NS:count CS:count;cnt=3;NS:count CS:count;cnt=3;NS:done CS:done ;cnt=3;NS:init CS:init ;cnt=0;NS:count CS:count;cnt=1;NS:count
请按任意键继续. . .
阅读(3021) | 评论(0) | 转发(0) |
给主人留下些什么吧!~~