【转】浅析C# 状态机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();