【转】浅析C# 状态机Stateless

最近在折腾一些控制相关的软件设计，想起来 状态机 这个东西，对解决一些控制系统状态切换还是挺有用的。

状态机（有限状态自动机）网上有很多介绍。简单理解就是定义一系列状态，通过一系列的事件，可以使得状态可以相互之间切换。

如果不使用状态机的思想来编程，那么针对过程的编程方法会使得程序拓展性变差，并且不容易调试。而状态机只需要定义好了各种状态和状态切换之间的事件，你只管触发事件，剩下的事情它自己就自动完成了（毕竟名称叫做有限状态自动机），这对于很多需要定义各种控制阶段的系统简直是完美适配。了解到.NET也有很多库可以实现这些功能，本文主要介绍一下Stateless的应用。

Stateless介绍

Stateless可以创建极简的状态机与对应的工作流。很多项目（包括VisualStudio Extension、AIlab）都有使用到它。

它支持以下特性：

  • 支持各种类型作为状态和触发事件
  • 支持状态继承
  • 支持状态进入/离开事件
  • 支持条件状态转移
  • 支持状态/转移查询

也有几点需要注意的：

  • 它支持异步语法，但是它是单线程的，不是线程安全的。
  • 可以导出DOT graph

安装起来很简单，直接在nuget中安装即可：

Install-Package Stateless

Stateless使用

用起来也挺简单的，以打电话这个事情为例，针对打电话的种种动作和状态做成一个状态机。
需要先定义一些状态和事件/触发器，电话有拨号、接通、留言等事件，有响铃、挂起、挂断等状态：

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

//代码来自官方示例，可以在官方github库上找到，略有修改以完整展示功能。

enum Trigger

{

  CallDialed,

  CallConnected,

  LeftMessage,

  PlacedOnHold,

  TakenOffHold,

  PhoneHurledAgainstWall,

  MuteMicrophone,

  UnmuteMicrophone,

  SetVolume

}

 

enum State

{

  OffHook,

  Ringing,

  Connected,

  OnHold,

  PhoneDestroyed

}

然后就是创建一个状态机了：

1

_machine = new StateMachine<State, Trigger>(() => _state, s => _state = s);

最后也是最需要详细解释的，就是配置状态机的行为了：

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

/*

为了解释尽可能多的功能，以下程序修改了官方的代码，可以在官方找可以直接执行的代码。

*/

 

//使用Permit指示发生某个事件后，从一个状态变换到另外一个状态。

_machine.Configure(State.OffHook)

  .Permit(Trigger.CallDialed, State.Ringing);

 

//设置一个带参数的事件，这个事件是CallDialed的类型

var _setCalleeTrigger = _machine.SetTriggerParameters<string>(Trigger.CallDialed);

_machine.Configure(State.Ringing)

  //允许重新进入当前的状态，这个过程会触发进入和退出动作

  .PermitReentry(Trigger.Ringing)

  //使用OnEntryFrom指示在触发这个状态的时候，运行某个动作，这里指定的是一个带参数的事件

  .OnEntryFrom(_setCalleeTrigger, callee => OnDialed(callee), "Caller number to call")

  .Permit(Trigger.CallConnected, State.Connected);

 

_machine.Configure(State.OnHold)

  //定义子状态

  .SubstateOf(State.Connected)

  .Permit(Trigger.TakenOffHold, State.Connected)

  .Permit(Trigger.PhoneHurledAgainstWall, State.PhoneDestroyed);

 

_machine.Configure(State.Connected)

  //进入状态的时候执行动作

  .OnEntry(t => StartCallTimer())

  //离开状态执行动作

  .OnExit(t => StopCallTimer())

  //状态不变化，但是响应某种事件，和PermitReentry不同，它不会触发进入和退出的动作

  .InternalTransition(Trigger.MuteMicrophone, t => OnMute())

  .InternalTransition(Trigger.UnmuteMicrophone, t => OnUnmute())

  .InternalTransition<int>(_setVolumeTrigger, (volume, t) => OnSetVolume(volume))

  .Permit(Trigger.LeftMessage, State.OffHook)

  .Permit(Trigger.PlacedOnHold, State.OnHold)

  //指定在发生同一种事件的时候，根据事件的参数不同而决定进入不同的状态。

  .PermitIf(_setCalleeTrigger, State.Connected, callee => string.IsNullOrWhiteSpace(callee))

  .PermitIf(_setCalleeTrigger, State.Connected, callee => !string.IsNullOrWhiteSpace(callee))

  //如果没有定义这个事件而发生了这个事件，会弹出异常。通过指定忽略某一类事件，可以避免这个情况。

  .Ignore(Trigger.CallDialled);

 

//当然也可以使用这个来避免弹出上面说的异常

_machine.OnUnhandledTrigger((state, trigger) => { });

 

//可以使用异步调用，但是必须要在触发事件的时候，使用FireAsync

_machine.Configure(State.PhoneDestroyed)

  .OnEntryAsync(async () => await SendEmailToAssignee());

配置好了各状态之间的转换，下面就是触发事件了。

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

public void Dialed(string callee)

{

  //有参数的触发

  _machine.Fire(_setCalleeTrigger, callee);

}

 

public void Connected()

{

  //无参数的触发

  _machine.Fire(Trigger.CallConnected);

}

 

public async Task PhoneDestroy()

{

  //异步触发

  await _machine.FireAsync(Trigger.PhoneDestroyed);

}

 

public string ToDotGraph()

{

  //导出DOT GRAPH

  return UmlDotGraph.Format(_machine.GetInfo());

}

外部调用很简洁：

1

2

3

4

phoneCall.Dialed("Prameela");

phoneCall.Connected();

phoneCall.SetVolume(2);

phoneCall.Hold();

只需要调用事件即可，别的都会按照我们设置好的动作来进行了，非常自动化。

总结

Stateless可以很好地实现状态机，有点事件驱动的编程的感觉，但本质上不同，Stateless核心是各个状态的迁移。

虽然Stateless很小巧方便，但是还有有很多地方不尽如人意（官方说这就是他们自己的设计目标，维持极简）：

  • 没有启动和停止的说法，一般在构造函数里面创建就一直有效。
  • 不是线程安全的
  • 拓展性有限

还有一个Appccelerate.StateMachine（地址），这个支持四种不同的状态机实现：

  • Passive State Machine： 同步单线程处理状态转换
  • Active State Machine： 同步多线程处理状态转换
  • Async Passive State Machine： 异步单线程处理状态转换
  • Async Active State Machine： 异步多线程处理状态转换

其中active的是线程安安全的。另外，它还支持状态、事件的持久化，拓展性强。用法差不多，只是配置的关键字上面有一点区别，大家可以自行翻文档。

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

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

相关文章

nginx文件系统大小_Nginx 了解一下？

nginx文件系统大小_Nginx 了解一下？

这篇文章主要简单的介绍下 Nginx 的相关知识&#xff0c;主要包括以下几部分内容&#xff1a;Nginx 适用于哪些场景&#xff1f;为什么会出现 Nginx&#xff1f;Nginx 优点Nginx 的编译与配置Nginx 适用于哪些场景&#xff1f;如图所示&#xff0c;一个请求会先经过 Nginx 到达…
阅读更多...
QGIS笔记

QGIS笔记

地理信息系统 地理信息系统&#xff0c;可以看做是地理信息附加信息组成的。地理信息是研究对象&#xff0c;附加信息是研究结果&#xff0c;二者结合展示给用户查阅。 地理信息系统的核心是数据&#xff0c;界面是为了渲染数据。 其他 特征Feature是指一行记录。属性表即数…
阅读更多...
存储过程排版工具_安利一款比Evernote更为实用的云笔记工具，不容错过

存储过程排版工具_安利一款比Evernote更为实用的云笔记工具，不容错过

作为一个爱分享的自媒体人&#xff0c;出于工作和兴趣前前后后接触到的云笔记工具很多&#xff0c;例如&#xff1a;有道云笔记、为知笔记、语雀、印象笔记、oneNote...在笔记工具的使用上还是略有点点心得&#xff0c;今天给大家分享一款实用的云笔记工具——Baklib&#xff0…
阅读更多...
【转】有限状态机（FSM）学习总结C#

【转】有限状态机（FSM）学习总结C#

FSM&#xff08;Finite State Machine有限状态机&#xff09;可以理解成是对行为逻辑的抽象&#xff0c;就好象人在生活中会做出各种行为&#xff0c;例如吃饭、睡觉等&#xff0c;这些所有我们都看作是“行为”的分支&#xff0c;由大脑决定每种行为具体是什么实施。在整个FSM…
阅读更多...
一篇关于Qt开发技巧的文章收藏

一篇关于Qt开发技巧的文章收藏

跨平台C开发&#xff1a;10年Qt开发经验覆盖100多个Qt开发技巧&#xff01;-控件新闻-慧都网 (evget.com)
阅读更多...
【转】C#数据结构-有限状态机

【转】C#数据结构-有限状态机

有限状态机FSM的要点是&#xff1a; 拥有一组状态&#xff0c;并且可以在这组状态之间进行切换。 状态机同时只能在一个状态。 一连串的输入或事件被发送给机器。 每个状态都有一系列的转换&#xff0c;转换与输入和另一状态相关。当输入进来&#xff0c;如果它与当前…
阅读更多...
python中if嵌套语句的作用_讲解Python中if语句的嵌套用法

python中if嵌套语句的作用_讲解Python中if语句的嵌套用法

{"moduleinfo":{"card_count":[{"count_phone":1,"count":1}],"search_count":[{"count_phone":4,"count":4}]},"card":[{"des":"阿里技术人对外发布原创技术内容的最大平台&…
阅读更多...
ffmpeg录屏鼠标闪烁问题解决方法

ffmpeg录屏鼠标闪烁问题解决方法

场景&#xff1a; 平台&#xff1a;win7 x64。显卡很差的电脑&#xff0c;使用ffmpeg录屏&#xff0c;鼠标闪烁的几乎看不到。录屏实现方法是使用ffmpeg&#xff0c;源采用的是gdigrab。 解决方法&#xff1a; 安装screen capture recorder安装ffmpeg&#xff0c;执行命令ff…
阅读更多...
【转】VS2005 CTP 版本这个CTP是什么意思

【转】VS2005 CTP 版本这个CTP是什么意思

CTP Community Technology Preview 社区技术预览版&#xff0c;这个其实是稳定性最差得一个版本,Build 之后基本上没有做过什么严格得测试. CTP基本上可以看作是Alpha版本…… RC是Release Candidate的缩写&#xff0c;直译是发行候选 RTM Release To Manufacturer&#xf…
阅读更多...
python中decode函数在哪个库_python encode和decode函数说明

python中decode函数在哪个库_python encode和decode函数说明

字符串编码常用类型&#xff1a;utf-8,gb2312,cp936,gbk等。Python中&#xff0c;我们使用decode()和encode()来进行解码和编码在python中&#xff0c;使用unicode类型作为编码的基础类型。即decode encodestr ---------> unicode --------->stru u中文 #显…
阅读更多...
《线性代数的几何意义》笔记（1）

《线性代数的几何意义》笔记（1）

如何理解“线性代数”这四个字&#xff1f; 线性代数 线性 代数。 线性&#xff0c;是指线性代数这门学科研究的是线性问题。线性是理想化的&#xff0c;但是也是最基础的。实际工程中如果有非线性的问题&#xff0c;可以通过转化成线性问题来近似求解。 线性有两个特性&…
阅读更多...
ipython jupyter区别_ipython jupyter notebook中显示图像和数学公式实例

ipython jupyter区别_ipython jupyter notebook中显示图像和数学公式实例

1. # 可以使用LaTeX表示数学公式# 可以使用LaTeX表示数学公式from IPython.display import LatexLatex(r"$\sqrt{x^2y^2}$")2. # SymPy的表达式也可以显示为LaTex%load_ext sympyprintingfrom sympy import *x, y symbols("x,y")sqrt(x**2y**2)3. # 用Ima…
阅读更多...
【转】[完全免费] 在线UML Sequence Diagram 时序图工具 - 教程第3部分

【转】[完全免费] 在线UML Sequence Diagram 时序图工具 - 教程第3部分

时序图教程 甲序列图描述了一组对象之间的相互作用参与协作&#xff08;或情况&#xff09;&#xff0c;布置成按时间顺序; 它通过它们的“生命线”和它们发送给对方的消息来显示参与交互的对象。 什么是UML中的序列图&#xff1f; UML序列图是详细说明如何执行操作的交互图。…
阅读更多...
【转】[完全免费] 在线UML Class Diagram 类图工具 - 教程第1部分

【转】[完全免费] 在线UML Class Diagram 类图工具 - 教程第1部分

在线Visual Paradigm - UML编辑器 使用在线UML编辑器轻松绘制UML图&#xff0c;其中包含功能强大的UML编辑工具&#xff0c;即时UML语法检查和整洁的用户界面。Visual Paradigm在线UML 图&#xff0c;如类&#xff0c;用例&#xff0c;序列&#xff0c;活动&#xff0c;部署&a…
阅读更多...
python 定时器_python 线程之四：定时器（Timer），非阻塞

python 定时器_python 线程之四：定时器（Timer），非阻塞

线程之一讲了线程&#xff0c;如果不熟悉&#xff0c;可以点击【线程之一&#xff1a;线程的创建、启动及运行方式】1、定时器实质&#xff1a;Timer 定时器源码实现&#xff0c;和我们自定义一个线程方式一样&#xff0c;都是继承了 Thread 类&#xff0c;重写了 run() 方法&a…
阅读更多...
人如何认知事物？

人如何认知事物？

自然界是连续的&#xff0c;人类将自然界离散化成一个个独立的概念&#xff0c;独立的概念相互关联&#xff0c;形成模型&#xff0c;随着模型的完善&#xff0c;模型会不断逼近真实事物。 比如人类创造了各种学科&#xff0c;就是从不同的方面深入研究世界的结果。 所以&…
阅读更多...
域内定位个人PC的三种方式（1）

域内定位个人PC的三种方式（1）

会话搜集 在cmd下调用query session命令可以获得当前环境下的windows会话 NetSessionEnum 这个函数不允许直接查询是谁登陆&#xff0c;但是它允许查询是谁在访问此工作站的网络资源时所创建的网络会话&#xff0c;从而知道来自何处&#xff0c;此函数不需要高权限即可查询 第…
阅读更多...
python手机销售系统结论于心得_(工作心得体会)手机销售心得总结

python手机销售系统结论于心得_(工作心得体会)手机销售心得总结

手机销售心得总结为更方面广大消上手机销售系统应景产生。下面是为大家整理的手机销售心得总结&#xff0c;供你参考!手机销售心得总结篇1XX年销售工作基本结束了&#xff0c;在整个团队的全年努力奋斗下&#xff0c;比XX年销量增幅12.5%&#xff0c;但在市场占有率和全国a类分…
阅读更多...
02.Teams组成概述及使用分享

02.Teams组成概述及使用分享

在上一篇博客中介绍了Teams的前世今生&#xff0c;大家对Teams已经有了一个初步的认识&#xff0c;但是如上一篇文章中所说Teams是一个集成度很高的云协作平台&#xff0c;具体应该怎么去有效的利用起来呢&#xff1f;接下来这篇博客给大家全方位的分享一下Teams的组成部分以及…
阅读更多...
【Qt】解决GDAL直接读取数据到QImage导致图像歪斜的问题

【Qt】解决GDAL直接读取数据到QImage导致图像歪斜的问题

QRect intersect_rect; .... QImage img(intersect_rect.size(), QImage::Format_RGB888); uchar *pImageData (unsigned char *)img.constBits(); int img_width intersect_rect.width(); int img_height intersect_rect.height();// QImage每行是按照sizeof(int)对齐的&am…
阅读更多...
最新文章

Copyright @ 2022~2023