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

1. #include <boost/statechart/event.hpp> 
2. #include <boost/statechart/state_machine.hpp> 
3. #include <boost/statechart/simple_state.hpp> 
4.  
5. namespace sc = boost::statechart; 
6.  
7. struct EvStartStop : sc::event< EvStartStop > {}; 
8. struct EvReset : sc::event< EvReset > {}; 
9.  
10. struct Active; 
11. struct StopWatch : sc::state_machine< StopWatch, Active > {}; 
12.  
13. struct Stopped; 
14.  
15. // 这里的simple_state类模板可以接受4个参数：
16. // - 第3个参数指定内部的初始状态，如果有一个这样的状态的话。
17. //   在这里，Active有一个内部状态（Stoped）， 所以将这个内部
18. //   初始状态传给它的基类。
19. // - 第4个参数指定是否保留和保留什么类型历史
20.  
21. // Active是最外层的状态，因此要把它所属的状态机类传给它
22. struct Active : sc::simple_state< 
23.   Active, StopWatch, Stopped > {}; 
24.  
25. // Stopped 和 Running 都把Active作为它们的上下文，这使他们嵌入到了Active状态中。struct Running : sc::simple_state< Running, Active > {}; 
26. struct Stopped : sc::simple_state< Stopped, Active > {}; 
27.  
28. // 因为状态的上下文必须是一个完整的类型（不能单单是声明），
29. // 所以状态机必须要在“外层状态”之间先定义。
30. // 也就是说，我们需要从状态机开始，然后是最外层的状态，然后是其内部的状态，如此反复。
31. // 我们可以用广度或深度方式，再或是以两都混合的方式来进行定义。
32.  
33. int main() 
34. { 
35.   StopWatch myWatch; 
36.   myWatch.initiate(); 
37.   return 0; 
38. }

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