0


C++20之设计模式:状态模式

状态模式

状态模式

我必须承认:我的行为是由我的状态支配的。如果我没有足够的睡眠,我会有点累。如果我喝了酒,我就不会开车了。所有这些都是*状态(states)*,它们支配着我的行为:我的感受,我能做什么,我不能做什。

当然,我可以从一种状态转换到另一种状态。我可以去喝杯咖啡,它能让我从瞌睡中清醒过来(我希望如此!)所以我们可以把咖啡当作触发器,让你真正从困倦过渡到清醒。这里,让我笨拙地为你解释一下:

         coffee
sleepy ----------> alert

所以,状态设计模式是一个非常简单的想法:状态控制行为;状态可以改变;唯一的问题是引发了状态的变更。

基本上有两种方式:

  • 状态是带有行为的实际类,这些行为将实际状态从一个转换到另一个
  • 状态和转换只是枚举。我们有一个称为状态机(state machine)的特殊组件,它执行实际的转换。

这两种方法都是可行的,但实际上第二种方法是最常见的。这两种我们都会过一遍,但我必须承认我只会简单浏览第一个,因为这不是人们通常做事情的方式。

状态驱动的状态机

我们将从最简单的例子开始:一个电灯开关。它只能处于开和关的状态。我们将构建一个任何状态都能够切换到其他状态的模型:虽然这反映了状态设计模式的经典实现(根据GoF的书),但我并不推荐这样做。

首先,让我们为电灯开关建模:它只有一种状态和一些从一种状态切换到另一种状态的方法:

class LightSwitch
{
    State* state;
    public:
        LightSwitch()
        {
            state = new OffState();
        }
        void set_state(State* state)
        {
            this->state = state;
        }
};

这一切看起来都很合理。我们现在可以定义状态,在这个特定的情况下,它将是一个实际的类:

struct State
{
    virtual void on(LightSwitch* ls)
    {
        cout << "Light is already on\n";
    }
    virtual void off(LightSwitch* ls)
    {
        cout << "Light is already off\n";
    }
};

这个实现很不直观,所以我们需要慢慢地仔细地讨论它,因为从一开始,关于State类的任何东西都没有意义。

首先,

State

不是抽象的!你会认为一个你没有办法(或理由)达到的状态是抽象的。但事实并非如此。

第二,状态允许从一种状态切换到另一种状态。这对一个通情达理的人来说,毫无意义。想象一下电灯开关:它是改变状态的开关。人们并不指望

State

本身会改变自己,但它似乎就是这样做的。

第三,也许是最令人困惑的,

State::on/off

的默认行为声称我们已经处于这种状态!在我们实现示例的其余部分时,这一点将在某种程度上结合在一起。

现在我们实现

On

Off

状态:

struct OnState : State
{
    OnState() { cout << "Light turned on\n"; }
    void off(LightSwitch* ls) override;
};

struct OffState : State
{
    OffState() { cout << "Light turned off\n"; }
    void on(LightSwitch* ls) override;
};

实现OnState::off和OffState::on允许状态本身切换到另一个状态!它看起来是这样的:

void OnState::off(LightSwitch* ls)
{
    cout << "Switching light off...\n";
    ls->set_state(new OffState());
    delete this;
} // same for OffState::on

这就是转换发生的地方。这个实现包含了对

delete This

的奇怪调用,这在真实的c++中是不常见的。这对初始分配状态的位置做出了非常危险的假设。例如,可以使用智能指针重写这个示例,但是使用指针和堆分配清楚地表明状态在这里被积极地销毁。如果状态有析构函数,它将触发,你将在这里执行额外的清理。

当然,我们确实希望开关本身也能切换状态,就像这样:

class LightSwitch
{
    ...
    void on() { state->on(this); }
    void off() { state->off(this); }
};

因此,把所有这些放在一起,我们可以运行以下场景:

1 LightSwitch ls; // Light turned off
2 ls.on(); // Switching light on...
3 // Light turned on
4 ls.off(); // Switching light off...
5 // Light turned off
6 ls.off(); // Light is already off

我必须承认:我不喜欢这种方法,因为它不是直观的。当然,状态可以被告知(观察者模式)我们正在进入它。但是,状态转换到另一种状态的想法——根据GoF的书,这是状态模式的经典实现——似乎不是特别令人满意。

如果我们笨拙地说明从

OffState

OnState

的转换,则需要将其说明为

          LightSwitch::on() -> OffState::on()
OffState -------------------------------------> OnState

另一方面,从OnState到OnState的转换使用基状态类,这个类告诉你你已经处于那个状态

        LightSwitch::on() -> State::on()
OnState ----------------------------------> OnState

这里给出的示例可能看起来特别人为,所以我们现在将看看另一个手工创建的设置,其中的状态和转换被简化为枚举成员。

手工状态机

让我们尝试为一个典型的电话会话定义一个状态机。首先,我们将描述电话的状态:

enum class State
{
    off_hook,
    connecting,
    connected,
    on_hold,
    on_hook
};

我们现在还可以定义状态之间的转换,也可以定义为

enum class

:

enum class Trigger
{
    call_dialed,
    hung_up,
    call_connected,
    placed_on_hold,
    taken_off_hold,
    left_message,
    stop_using_phone
};

现在,这个状态机的确切规则,即可能的转换,需要存储在某个地方。

map<State, vector<pair<Trigger, State>>> rules;

这有点笨拙,但本质上

map

的键是我们移动的状态,值是一组表示

Trigger-State

的对,在此状态下可能的触发器以及使用触发器时所进入的状态。

让我们来初始化这个数据结构:

rules[State::off_hook] = {
    {Trigger::call_dialed, State::connecting},
    {Trigger::stop_using_phone, State::on_hook}
};

rules[State::connecting] = {
    {Trigger::hung_up, State::off_hook},
    {Trigger::call_connected, State::connected}
};
//  more rules here

我们还需要一个启动状态,如果我们希望状态机在达到该状态后停止执行,我们还可以添加一个退出(终止)状态:

State currentState { State::off_hook },
exitState { State::on_hook };

完成这些之后,我们就不必为实际运行(我们使用

orchestrating

这个术语)状态机而构建单独的组件了。例如,如果我们想要构建电话的交互式模型,我们可以这样做:

while(true)
{
    cout << "The phone is currently " << currentState << endl;
    
    select_trigger:
        cout << "Select a trigger:" << "\n";
    
    int i = 0;
    for(auto &&item : rules[currentState])
    {
        cout << i++ << ". " << item.first << "\n";
    }

    int input;
    cin >> input;
    for(input < 0 || (input+1) > rules[currentState].size())
    {
        goto select_trigger;
    }

    currentState = rules[currentState][input].second;
    if(currentState == exitState) break;
}

首先:是的,我确实使用

goto

,这是一个很好的例子,说明在什么地方使用

goto

是合适的(译者注:一般不建议在程序里面使用goto,这样会使得程序的控制流比较混乱)。对于算法本身,这是相当明显的:我们让用户在当前状态上选择一个可用的触发器(

operator<<

状态和触发器都在幕后实现了),并且,如果触发器是有效的,我们通过使用前面创建的规则映射转换到它。

如果我们到达的状态是退出状态,我们就跳出循环。下面是一个与程序交互的示例。

1 The phone is currently off the hook
2 Select a trigger:
3 0. call dialed
4 1. putting phone on hook
5 0
6 The phone is currently connecting
7 Select a trigger:
8 0. hung up
9 1. call connected
10 1
11 The phone is currently connected
12 Select a trigger:
13 0. left message
14 1. hung up
15 2. placed on hold
16 2
17 The phone is currently on hold
18 Select a trigger:
19 0. taken off hold
20 1. hung up
21 1
22 The phone is currently off the hook
23 Select a trigger:
24 0. call dialed
25 1. putting phone on hook
26 1
27 We are done using the phone

这种手工状态机的主要优点是非常容易理解:状态和转换是普通的枚举类,转换集是在一个简单的

std::map

中定义的,开始和结束状态是简单的变量

Boost.MSM 中的状态机

在现实世界中,状态机要复杂得多。有时,你希望在达到某个状态时发生某些操作。在其他时候,你希望转换是有条件的,也就是说,你希望转换只在某些条件存在时发生。

Boost.MSM (Meta State Machine)

,一个状态机库,是Boost的一部分,你的状态机是一个通过

CRTP

继承自

state_ machine_def

的类:

struct PhoneStateMachine : state_machine_def<PhoneStateMachine>
{
    bool angry{ false };
}

我添加了一个

bool

变量来指示调用者是否

angry

(例如,在被搁置时); 我们稍后会用到它。现在,每个状态也可以驻留在状态机中,并且可以从

state

类继承:

struct OffHook : state<> {};
struct Connecting : state<>
{
    template<class Event, class FSM>
    void on_entry(Event const& evt, FSM&)
    {
        cout << "We are connecting..." << endl;
    }
    // also on_exit
};
// other states omitted

如你所见,状态还可以定义在进入或退出特定状态时发生的行为。你也可以定义在转换时执行的行为(而不是当你到达一个状态时):这些也是类,但它们不需要从任何东西继承;相反,它们需要提供具有特定签名的

operator()

:

struct PhoneBeingDestoryed
{
    template<class EVT, class FSM, class SourceState, class TargetState>
    void operator()(EVT const&, FSM& SourceState&, TargetState&)
    {
        cout << "Phone breaks into a million pieces" << endl;
    }
};

正如你可能已经猜到的那样,这些参数提供了对状态机的引用,以及你将要进入和进入的状态。

最后,我们有守卫条件(

guard condition

):这些条件决定我们是否可以在第一时间使用一个转换。现在,我们的布尔变量

angry

不是

MSM

可用的形式,所以我们需要包装它:

struct CanDestoryPhone
{
    template<class EVT, class FSM, class SourceState, class TargetState>
    bool operator()(EVT const&, FSM& fsm, SourceState&, TargetState&)
    {
        return fsm.angry;
    }
};

前面的例子创建了一个名为

CanDestroyPhone

的守卫条件,稍后我们可以在定义状态机时使用它。

为了定义状态机规则,

Boost.MSM

使用MPL(元编程库)。具体来说,转换表被定义为

mpl::vector

,每一行依次包含:

  • 源状态
  • 状态转换
  • 目标状态
  • 一个要执行的可选操作
  • 一个可选守卫条件

因此,有了所有这些,我们可以像下面这样定义一些电话呼叫规则:

struct transition_table : mpl::vector<
    Row<OffHook, CallDialed, Connecting>,
    Row<Connecting, CallConnected, Connected>,
    Row<Connected, PlacedOnHold, OnHold>,
    Row<OnHold, PhoneThrownIntoWall, PhoneDestoryed, PhoneBeingDestoryed, CanDestoryPhone>
>
{};

在前面的方法中,与状态不同,

CallDialed

之类的转换是可以在状态机类之外定义的类。它们不必继承自任何基类,而且很容易为空,但它们必须是类型。

transition_table

的最后一行是最有趣的:它指定我们只能尝试在

CanDestroyPhone

保护条件下销毁电话,并且当电话实际上被销毁时,应该执行

PhoneBeingDestroyed

操作。

现在,我们可以添加更多的东西。首先,我们添加起始条件:因为我们正在使用

Boost.MSM

,起始条件是一个类型定义,而不是一个变量:

typedef OffHook initial_state;

最后,如果没有可能的转换,我们可以定义要发生的操作。它可能发生!比如,你把手机摔坏了,就不能再用了,对吧?

template <class FSM, class Event>
void no_transition(Event const& e, FSM&, int state)
{
    cout << "No transition from state " << state_names[state]
         << " on event " << typeid(e).name() << endl;
}
Boost MSM

将状态机分为前端(我们刚刚写的)和后端(运行它的部分)。使用后端API,我们可以根据前面的状态机定义构造状态机:

msm::back::state_machine<PhoneStateMachine> phone;

现在,假设存在

info()

函数,它只打印我们所处的状态,我们可以尝试

orchestrating

以下场景

1 info(); // The phone is currently off hook
2 phone.process_event(CallDialed{}); // We are connecting...
3 info(); // The phone is currently connecting
4 phone.process_event(CallConnected{});
5 info(); // The phone is currently connected
6 phone.process_event(PlacedOnHold{});
7 info(); // The phone is currently on hold
8 9
phone.process_event(PhoneThrownIntoWall{});
10 // Phone breaks into a million pieces
11
12 info(); // The phone is currently destroyed
13
14 phone.process_event(CallDialed{});
15 // No transition from state destroyed on event struct CallDialed

因此,这就是定义更复杂、具有工业强度的状态机的方式。

总结

首先,这是值得强调的

Boost.MSM

是Boost中两种状态机实现之一,另一种是

Boost.statechart

。我很确定还有很多其他的状态机实现。

其次,状态机的功能远不止这些。例如,许多库支持分层状态机的思想:例如,一个

生病(Sick)

的状态可以包含许多不同的子状态,如

流感(Flu)

水痘(Chickenpox)

。如果你在处于感染流感的状态,你也同时处于生病的状态。

最后,有必要再次强调现代状态机与状态设计模式的原始形式之间的差异。重复api的存在(例如

LightSwitch::on/off vs. State::on/off

)以及自删除的存在在我的书中是明确的代码气味。不要误会我的方法是有效的,但它是不直观的和繁琐的。


本文转载自: https://blog.csdn.net/weixin_51332735/article/details/140701546
版权归原作者 NingDream816 所有, 如有侵权,请联系我们删除。

“C++20之设计模式:状态模式”的评论:

还没有评论