c# - 使用无状态库在几个类中拆分状态机

Question

在我正在使用的 C# 解决方案中，应用程序逻辑的核心通过(非常好)Stateless 作为状态机实现。图书馆。对于应用程序显示的不同区域和功能，业务逻辑的其他部分在许多其他类中建模，但这是插入底层主要变化的部分应用状态。

虽然每个状态转换本身都非常简单(通知事件、设置 eventArgs、监听其他事件，...)并且我在适用时使用子状态，但对我来说它开始看起来像不知何故 太大了。我知道这不是一个精确的衡量标准，但如果您查看并考虑子状态，您很可能最终会发现它们本身可能是不同的状态机。

我是否缺少一种明显的方法来使用无状态构建单独的子状态机(可以这么说)，将每个状态机映射到一个不同的类(和文件)？

我想到的第一个阻塞问题是(尤其是第二个):

1. one-big-piece 状态机在所有状态更改时触发事件:拆分后，每个状态机都会触发各自的触发器。因此最好有一个外观收集所有事件并为客户端重新触发它们，以便隐藏许多状态机(毕竟它们是客户端的实现细节)。

2. 无状态子状态负责冒泡触发状态/子状态链，以及向下。所以例如对于具有子状态的给定状态 A，可以定义一个触发器(在一个地方，A 的配置)，这将使状态机离开 A，无论我们处于 A 的哪个子状态。这如何与单独的子状态机一起工作？

Answer 1

如您所提到的，定义良好的子状态对于能够抽象出大型状态机的各个部分非常有帮助。如果您将超状态及其子状态的定义以及所有守卫和进入/退出/转换操作放在其自身的类中，它也会有所帮助。

同意您对第 1 点的建议。客户端需要将其视为 1 个状态机。

关于第 2 点，我建议通过内部触发器在子状态机和 super 状态机之间定义一些接口(interface)。

让我们称你的 super 状态机为 A 和你的子状态机为 B。 A 将触发一个事件，例如 StartB，它将 B 从某种Idle 状态移动到 >InProgress 状态，即运行子状态机。与此同时，A 进入某种WaitingForB 状态。当 B 完成其子进程时，它会在 A 上触发类似 BComplete 的事件。 A 然后将继续其剩余的过程。

您可以让 A 和 B 共享同一组可能的触发器，但是 B 也可以定义它自己的(较小的)一组触发器或适合它抽象的子流程的级别。如果 B 不需要响应与 A 相同的完整触发器集。