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

這個代碼已經可以編譯了，但不會發生任何可察覺的事件。