c++中如何实现简单的状态机_c++ switch与enum实现流程控制【汇总】_技术教程

enum class + switch 是最轻量可控的状态机实现，核心是用枚举抽象离散互斥状态，循环中显式分支处理并更新状态，需覆盖所有枚举值、防 fall-through、封装复杂逻辑为函数。

用 `enum` 定义状态，`switch` 驱动流转

最轻量、最可控的状态机实现方式就是靠 enum + switch。核心是把每个状态抽象成一个命名常量，再在循环中根据当前状态做分支处理，并显式更新状态变量。

关键点在于：状态必须是离散、互斥、可穷举的；每次处理完一个状态后，必须明确赋值给下一个状态（哪怕维持原状），不能依赖隐式跳转。

enum class 比裸 enum 更安全，避免命名污染和隐式转换
状态变量类型必须与 enum 严格一致，比如 State current = State::IDLE;
switch 必须覆盖所有枚举值，或加 default: 处理未定义状态（建议抛异常或断言）

enum class State { IDLE, RUNNING, PAUSED, STOPPED };

State current = State::IDLE;
while (running) {
    switch (current) {
        case State::IDLE:
            if (start_requested()) current = State::RUNNING;
            break;
        case State::RUNNING:
            do_work();
            if (pause_requested()) current = State::PAUSED;
            else if (stop_requested()) current = State::STOPPED;
            break;
        case State::PAUSED:
            if (resume_requested()) current = State::RUNNING;
            break;
        case State::STOPPED:
            reset_resources();
            current = State::IDLE;
            break;
        default:
            throw std::runtime_error("invalid state: " + std::to_string(static_cast(current)));
    }
}

避免 `switch` 中遗漏 `break` 导致状态“穿透”

这是实际编码中最常踩的坑：少写一个 break，程序会顺序执行后续 case 分支，造成状态逻辑错乱——比如本该停在 PAUSED，却意外触发了 STOPPED 的清理逻辑。

编译器不一定报错，尤其当多个 case 共享逻辑时，容易误以为是故意“fall-through”。C++17 起可用 [[fallthrough]] 显式标注，但绝大多数状态流转场景都不该穿透。

每个 case 块末尾都应有 break、return 或显式状态变更
启用编译器警告：-Wimplicit-fallthrough（GCC/Clang）能捕获潜在穿透
用 enum class + switch 时，default: 不仅防崩溃，还能暴露漏处理的状态

状态迁移逻辑别全塞进 `switch`，提取成独立函数

当某个状态的处理逻辑变长（比如要校验输入、调用多个子系统、涉及异步等待），硬塞在 case 里会让主循环臃肿难读，也破坏单一职责。

更合理的做法是把每个状态的“进入动作”“持续行为”“退出条件”封装成小函数，switch 只负责分发和状态跃迁。

函数命名体现意图，例如 on_enter_running()、update_paused()、should_transition_to_stopped()
状态变更仍由主循环控制，不放在子函数内部（避免隐藏控制流）
若需跨状态共享数据，用结构体或类成员承载，而非全局变量

struct Machine {
    State state = State::IDLE;
    int progress = 0;

    void step() {
        switch (state) {
            case State::IDLE:   on_idle();   break;
            case State::RUNNING: on_running(); break;
            case State::PAUSED: on_paused();  break;
            case State::STOPPED: on_stopped(); break;
        }
    }

private:
    void on_running() {
        progress++;
        if (progress >= 100) state = State::STOPPED;
    }
    void on_stopped() {
        progress = 0;
        state = State::IDLE;
    }
};