Boost的状态机库教程(2)

1 基础主题：秒表
    下面我们要为一个机械秒表建模一个状态机。这样一个秒表通常会有两个按钮。
     * Start/Stop
     * Reset
     同时有两种状态：
     * Stoped: 表针停留在上次停止时的位置：
        o 按下Reset按钮，表针回退到0的位置。秒表保持在Stoped状态不变。
        o 按下Start/Stop按钮，秒表转到Running状态。
     * Running: 表针在移动，并持续显示过去的时间：
        o 按下Reset按钮，表针回退到0的位置，秒表转到停止状态。
        o 按下Start/Stop按钮，转到Stoped状态。
    下面是其UML图：

1.1 定义状态和事件
两个按钮可以建模为两个事件。进而，定义出必要的状态和初始状态。我们从下面的代码开始，以前的代码片段会陆续加入其中：

#include <boost/statechart/event.hpp>

#include <boost/statechart/state_machine.hpp>

#include <boost/statechart/simple_state.hpp>

namespace sc = boost::statechart;

struct EvStartStop : sc::event< EvStartStop > {};

struct EvReset : sc::event< EvReset > {};

struct Active;

struct StopWatch : sc::state_machine< StopWatch, Active > {};

struct Stopped;

// 这里的simple_state类模板可以接受4个参数：

// - 第3个参数指定内部的初始状态，如果有一个这样的状态的话。

// 在这里，Active有一个内部状态（Stoped），所以将这个内部

// 初始状态传给它的基类。

// - 第4个参数指定是否保留和保留什么类型历史

// Active是最外层的状态，因此要把它所属的状态机类传给它

struct Active : sc::simple_state<

Active, StopWatch, Stopped > {};

// Stopped 和 Running 都把Active作为它们的上下文，这使他们嵌入到了Active状态中。

struct Running : sc::simple_state< Running, Active > {};

struct Stopped : sc::simple_state< Stopped, Active > {};

// 因为状态的上下文必须是一个完整的类型（不能单单是声明），

// 所以状态机必须要在“外层状态”之间先定义。

// 也就是说，我们需要从状态机开始，然后是最外层的状态，然后是其内部的状态，如此反复。

// 我们可以用广度或深度方式，再或是以两都混合的方式来进行定义。

int main()

{

StopWatch myWatch;

myWatch.initiate();

return 0;

}

这个代码已经可以编译了，但不会发生任何可察觉的事件。

posted on 2010-08-16 14:45 shaker(太子) 阅读(2179) 评论(0) 编辑收藏引用所属分类: C++

只有注册用户登录后才能发表评论。
【推荐】100%开源！大型工业跨平台软件C++源码提供，建模，组态！

相关文章: Relocate SVN 又是一个APIHOOK [zt] Windows APC机制 [zt]谈谈对APC的一点理解 NtProtectVirtualMemory 【转帖】Windows网络体系结构总结 Pro OGRE 3D Programming 中文翻译版本0.2.0 Boost的状态机库教程补充 Boost的状态机库教程(3) Boost的状态机库教程(2)

网站导航: 博客园 IT新闻 BlogJava 博问 Chat2DB 管理

留言簿(25)

随笔分类(52)

随笔档案(60)

精彩blog

链接

搜索

积分与排名

最新评论

阅读排行榜

评论排行榜