boost 状态机--简介

原文：The Boost Statechart Library
译者：penghuster

简介

Boost 状态图库是一个无需代码生成器就可以快速转换 UML 状态图表伪可执行的 C++ 代码框架。由于几乎支持所有 UML的特性直接转换，故所产生的C++代码十分接近于状态表的原文文字描述。

如何阅读此教程

该教程内容设计为逐步深入。读者可以从合适位置开始读，直到对于解决你的任务为止。特别地：

• 首先，仅仅有少数几个状态的简单状态机能够通过以下描述合理地实现，基本主题：秒表
• 其次，达到12个状态的大型状态机请参照以下文章：进阶主题：数码相机应该是很有帮助的。
• 最后，用户想要创建更加复杂的状态机，请参照：高级主题部分。另外，强烈建议阅读限制条件章节。

hello world

我们将用一个最简单的程序开始第一步，以下为状态表：

该状态图的实现代码如下：

#include <boost/statechart/state_machine.hpp>
#include <boost/statechart/simple_state.hpp>
#include <iostream>

namespace sc = boost::statechart;

// 此处定义为strcut 是为了避免所有成员都要添加 public关键字，如果你不介意，也可以使用class。

// 我们需要提前申明初始化状态，因为其必须在定义状态机的地方定义。
struct Greeting;

// Boost.Statechart 重度使用模板。子类必须总是将该初始化状态作为第一参数传递给基类
// 当状态机进行初始化时，必须被通知进入哪个状态这就是为什么 Greeting 作为第二个参数传递的原因。
struct Machine : sc::state_machine< Machine, Greeting > {};

//对于每个状态都必须指定其所属状态机以及其在状态表中的位置，
//两者是通过simple_state<>的参数来指定。
//因为我们拥有简单的状态机，故其上下文也是状态机。
//相应的，Machine 被当作上下文作为第二参数传递(上下文参数在下文将会进一步说明)。

struct Greeting : sc::simple_state< Greeting, Machine >
{
  // 不论何时状态机进入一个状态，就会创建一个相应的状态类的对象。
  //该对象将保持只要该状态机保持在此状态。最后，在此状态结束时该对象将销毁。
  //因此，进入动作通过定义构造函数来完成，出口动作通过定义析构函数来实现。
  Greeting() { std::cout << "Hello World!\n"; } // entry
  ~Greeting() { std::cout << "Bye Bye World!\n"; } // exit
};

int main()
{
  Machine myMachine;
  // myMachine 在构造函数调用后并没有运行，我们需要通过调用 initiate() 运行该状态机，
  //这将触发 初始状态 Greeting 的构造
  myMachine.initiate();
  // 当离开 main()时，myMachine 的析构将导致当前激活状态被析构
  return 0;
}

执行此程序输出 Hello World! 和 Bye Bye World!。