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

状态模式

      • 状态模式
        • 状态驱动的状态机
        • 手工状态机
        • Boost.MSM 中的状态机
        • 总结

状态模式

我必须承认:我的行为是由我的状态支配的。如果我没有足够的睡眠,我会有点累。如果我喝了酒,我就不会开车了。所有这些都是状态(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的默认行为声称我们已经处于这种状态!在我们实现示例的其余部分时,这一点将在某种程度上结合在一起。

现在我们实现OnOff状态:

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的书,这是状态模式的经典实现——似乎不是特别令人满意。

如果我们笨拙地说明从OffStateOnState的转换,则需要将其说明为

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

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/pingmian/50068.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

uniapp 中uni.request H5无法使用请求头

今天调试一天忘了看官网文档一直以为写错了&#xff0c;后来发现uniapp 里面就不能自定义h5我擦。 如果要测试可以走HX的内置浏览器中测试 其他比如小程序或者APP都可以使用

vue接入google map自定义marker教程

需求背景 由于客户需求&#xff0c;原来系统接入的高德地图&#xff0c;他们不接受&#xff0c;需要换成google地图。然后就各种百度&#xff0c;各种Google&#xff0c;却不能实现。----无语&#xff0c;就连google地图官方的api也是一坨S-H-I。所以才出现这篇文章。 google地…

【Python实战因果推断】56_因果推理概论6

目录 Causal Quantities: An Example Bias Causal Quantities: An Example 让我们看看在我们的商业问题中&#xff0c;你如何定义这些量。首先&#xff0c;你要注意到&#xff0c;你永远无法知道价格削减&#xff08;即促销活动&#xff09;对某个特定商家的确切影响&#xf…

AMEsim液压阀伯德图绘制方法

之前也在液压圈论坛里面发过类似的贴子&#xff0c;具体可以看这个网址&#x1f6aa;&#x1f449;&#xff1a;如何得出说明书里面的伯德图曲线&#xff1f;&#xff0c;回复的人还是比较少&#xff0c;这个方法重要信息是参考百度文库这篇文章&#x1f6aa;&#x1f449;&…

Linux使用nmcli连接无线网络

一、简介 前两天刚在二手市场收了一个树莓派3B来玩玩&#xff0c;没有安装图形界面&#xff0c;在配置的时候首先就遇到了CLI终端下连接无线网络的问题&#xff0c;好在有一个nmcli可以很方便的连接无线网络。记录一下使用过程&#xff0c;以免遗忘。 二、学习Linux可行的几种…

【系统架构设计师】计算机组成与体系结构 ⑯ ( 奇偶校验码 | CRC 循环冗余码 | 海明码 | 模 2 除法 )

文章目录 一、校验码1、校验码由来2、奇偶校验码3、CRC 循环冗余码 ( 重点考点 )4、海明码校验 ( 软考不经常考到 ) 二、CRC 循环冗余码 ( 重点考点 )1、模 2 除法概念2、模 2 除法步骤3、模 2 除法示例4、CRC 循环冗余码示例 15、CRC 循环冗余码示例 2 参考之前的博客 : 【计…

Webshell管理工具:AntSword(中国蚁剑)

中国蚁剑是一款开源的跨平台网站管理工具&#xff0c;它主要面向于合法授权的渗透测试安全人员以及进行常规操作的网站管理员。 通俗的讲&#xff1a;中国蚁剑是 一 款比菜刀还牛的shell控制端软件。 一、中国蚁剑下载 1. 下载 AntSword-Loader https://github.com/AntSwordP…

css更改图片颜色

css更改图片颜色&#xff0c;比较时候颜色单一的图片&#xff0c;比如logo之类的 css中的 filter 属性定义元素&#xff08;通常是 <img>&#xff09;的视觉效果&#xff08;如模糊和饱和度&#xff09; img{ -webkit-filter: invert(51%) sepia(94%) saturate(6433%) h…

面试前端实习常问的关于【ES6新特性】的问题

ES6新特性 日常前端代码开发中&#xff0c;有哪些值得用 ES6 去改进的编程优化或者规范? 常用箭头函数来取代有this指向的函数常用 let 取代 var 命令常用数组/对象的结构赋值来命名变量&#xff08;结构更清晰&#xff0c;语义更明确&#xff0c;可读性更好&#xff09;在长字…

【C语言报错已解决】“Undefined Reference”

&#x1f3ac; 鸽芷咕&#xff1a;个人主页 &#x1f525; 个人专栏: 《C干货基地》《粉丝福利》 ⛺️生活的理想&#xff0c;就是为了理想的生活! 引言&#xff1a; 在开发过程中&#xff0c;我们经常会遇到各种编译错误或运行时错误。其中&#xff0c;“Undefined Referenc…

Axure Web端元件库:从Quick UI到500+组件的飞跃

在快速变化的数字世界中&#xff0c;产品设计不仅仅是功能的堆砌&#xff0c;更是用户体验的精心雕琢。原型设计作为产品开发过程中的关键环节&#xff0c;其重要性不言而喻。Axure&#xff0c;作为业界领先的原型设计工具&#xff0c;凭借其强大的交互设计和丰富的功能&#x…

Rce漏洞复习(ctfshow29-50)

Rce漏洞简介思维导图 Web29 代码审计&#xff1a; if(!preg_match("/flag/i", $c)){ eval($c); 传参没有flag&#xff08;大小写都没有出现&#xff09; Payload&#xff1a; ?csystem("ls"); ?csystem("tac *lag.php"); Web30 代码…

ubuntu2004 android webRTC编译环境搭建

一、官网下载VMware Workstation Pro16&#xff0c;下载地址&#xff0c;安装教程 二、下载ubuntu2004镜像&#xff0c;下载地址 三、webrtc编译 安装depot_tools 步骤如下 wget https://dl.google.com/android/repository/commandlinetools-linux-6609375_latest.zip unzi…

如何减少白屏的时间

前端性能优化是前端开发中一个重要环节&#xff0c;它包括很多内容&#xff0c;其中页面的白屏时间是用户最初接触到的部分&#xff0c;白屏时间过长会显著影响用户的留存率和转换率。 我们以一个 APP 内嵌 Webview 打开页面作为例子&#xff0c;来分析页面打开过程以及可优化…

文件上传漏洞(ctfshow web151-161)

Web151 F12修改源代码 exts后面png改为php 这样就可以上传php的文件了 Web152&#xff1a; 考点&#xff1a;后端不能单一校验 就是要传图片格式&#xff0c;抓个包传个png的图片 然后bp抓包修改php后缀解析 然后放包 Web153-web156 在php代码中可以使用“{}”代替“[]” …

如何防御IP劫持

摘要 IP劫持是一种网络攻击方式&#xff0c;攻击者通过各种手段获取对某个IP地址的控制权&#xff0c;并将其用于恶意目的。这种攻击可能会导致数据泄露、服务中断等严重后果。本文将介绍IP劫持的基本概念、攻击方式以及防御策略&#xff0c;并提供一些实际的代码示例。 IP劫…

WPF项目实战视频《二》(主要为prism框架)

14.prism框架知识&#xff08;1&#xff09; 使用在多个平台的MVVM框架 新建WPF项目prismDemo 项目中&#xff1a;工具-NuGet包管理&#xff1a;安装Prism.DryIoc框架 在git中能看Prism的结构和源代码&#xff1a;git链接地址 例如&#xff1a;Prism/src/Wpf/Prism.DryIoc.Wpf…

机器学习 | 回归算法原理——随机梯度下降法

Hi&#xff0c;大家好&#xff0c;我是半亩花海。接着上次的多重回归继续更新《白话机器学习的数学》这本书的学习笔记&#xff0c;在此分享随机梯度下降法这一回归算法原理。本章的回归算法原理还是基于《基于广告费预测点击量》项目&#xff0c;欢迎大家交流学习&#xff01;…

uniapp中出现图片过小会与盒子偏离

结论&#xff1a;在image的父盒子中加上display: flex&#xff0c;原因不清楚 出问题的代码和图片如下&#xff1a; <template><view style" background-color: greenyellow; height: 10rpx;width: 10rpx;"><image :src"imgSrc.seatnull" …

Ubuntu22.04使用NVM安装多版本Node.js和版本切换

Fabric官方目前支持Node.js开发区块链应用&#xff0c;建议使用Node长期支持版本&#xff08;LTS&#xff09;。 建议使用NVM安装Node.js&#xff0c;NVM可以帮助我们方便的在Node的不同版本之间进行切换&#xff0c;这样我们就可以同时工作在不同的项目上。 下面是安装的脚本…