java之状态机图
引子
第一次听到这个词时，我是有点奇怪的。什么是状态机呢？
考虑一个场景，在前面的用户登陆的时序图中
有一步是检查用户的合法性，这里面可能包括用户的账号的状态正常/异常。
那么，用户的状态可能有哪些呢？状态又是如何流转的呢？
找出可能的状态
假设用户状态为status，模拟一下用户在系统中的整个流程
- 用户注册开始，输入注册信息(包括邮件地址)；系统插入一条用户记录，状态为UNACTIVED；发送一封确认邮件到用户邮箱
- 用户收到邮件，点击确认，更新状态为ACTIVED，注册成功
- 用户异地登陆，系统监测到用户账户疑似被盗，紧急冻结，状态变为FROZEN
- 用户申请解冻，状态又变为ACTIVED
- 用户注销账号，状态变为CLOSED
用户状态找出来了，用图表示一下
但是这样光秃秃的几个状态是没有什么意义的，尝试着将它们串联起来
这样，似乎完成了一个简单的状态机。约定在首尾加上开始，结束符号。
但是有2个问题：
- 上面的状态机是按照每个状态推进的，会不会有其它状态推进的路径呢？有可能，比如用户**后直接注销
- 上面的状态机都是正向推进的，有没有可能逆向的的？也有可能，比如设计成注销之后还可以再**
状态机
一般用状态机图来表示单个对象的生命周期。也属于动态建模的一种。
理论上除了各种状态之外，还有一个初态节点
终态节点
及各个节点转换的转接关系，即箭头连线+上面的条件(发生状态转换时，对应的条件必须为真)
子状态
上面的状态如果要定义的更细一点(只为说明，不是真实案例)
- 发送邮件成功，状态更新为SEND_MAIL_S
- 发送邮件失败，状态更新为SEND_MAIL_F
- 用户**失败，状态更新为ACTIVED_FAILED
- 用户**成功，状态更新为ACTIVED
状态机可能为
可以发现，**态的看起来有点复杂，用子状态来表示下
应用场景
状态机除了业务需求之外，有2个地方比较有用
- 设计模式中的状态模式
- 可以用作接口幂等