C++状态机模式在ATM系统中的应用与实践

1. 项目概述：用C++构建ATM状态机模型

去年接手银行终端系统改造时，我花了三周时间重构了一个满是if-else的ATM控制模块。当看到2000多行嵌套条件判断时，突然意识到状态机才是这类场景的终极解决方案。今天我们就用C++实现一个教科书级的ATM状态机，这个案例曾让我的代码量减少70%的同时逻辑清晰度提升300%。

ATM本质上是个典型的状态驱动系统——插卡、输密码、选服务、取现金等操作都严格依赖当前状态。用传统面向过程写法会导致状态校验代码重复散布在各处，而状态机模式通过显式定义状态转移规则，让业务逻辑像流程图一样直观。在金融级代码中，这种明确的状态约束能有效防止非法操作穿透系统。

2. 状态机核心设计

2.1 状态枚举与事件定义

首先用enum class定义原子状态（强类型避免混用）：

cpp复制enum class ATMState {
    Idle,           // 待机状态
    CardInserted,   // 已插卡
    PinVerified,    // 密码已验证  
    ServiceSelected,// 服务已选
    CashDispensed,  // 已出钞
    CardEjected     // 已退卡
};

// 触发状态迁移的事件
enum class ATMEvent {
    InsertCard,
    EnterPin,
    SelectService,
    DispenseCash,
    EjectCard,
    Timeout
};

关键细节：使用enum class而非普通enum，避免隐式转换为整型。金融系统必须杜绝这类类型漏洞。

2.2 状态转移表实现

用std::map实现状态转移规则表，比switch-case更易维护：

cpp复制using Transition = std::pair<ATMState, ATMEvent>;
std::map<Transition, ATMState> transitionRules = {
    {{ATMState::Idle, ATMEvent::InsertCard}, ATMState::CardInserted},
    {