C++ std::variant 有限状态机编程实战现代编程技巧技巧技巧应用【实战】-C++-PHP中文网

应优先用 enum class，仅当各状态携带互不兼容、共享字段少于50%的数据时才用 std::variant；需严格遵循状态 struct 的三个硬约束，并始终用 std::visit 分发、避免 std::get。

c++ std::variant 有限状态机编程实战现代编程技巧技巧技巧应用【实战】

直接用 std::variant 实现有限状态机，只在状态携带**互不兼容的数据结构**时才真正值得；否则用 enum class 更轻、更清晰。

什么时候该用 `std::variant` 而不是 `enum class`

核心看字段是否“按状态分裂”：如果每个状态要带的数据类型和数量差异大，且共享字段少于 50%，std::variant 才发挥价值。

Connecting 需要 std::string address 和 int retry_count
Connected 需要 int sockfd 和 std::chrono::seconds timeout
Idle 真的什么也不需要 —— 定义为 struct Idle {};
硬塞进一个 struct FSM + enum class State，就得堆一堆 std::optional 和 std::optional<:string>，访问前必须反复检查 has_value()
新增状态（比如 Reconnecting）时，enum class 方案要手动改所有 switch、所有判空逻辑、所有 assert；而 std::variant 漏写分支直接编译失败，强制你补全

`std::visit` 必须覆盖所有状态，且必须用 `if constexpr`

漏掉任一状态分支，编译器会报错——这不是缺陷，是保护机制。但新手常因编译失败删分支、加 else，结果又退化成运行时错误。

lambda 参数必须是 const auto&，避免意外触发移动语义（尤其状态里含 std::string 或 std::vector）
必须用 std::decay_t 提取真实类型，否则引用类型不匹配，std::is_same_v 判定失败
必须用 if constexpr，不用的话，哪怕当前 s 是 Connected，编译器仍会尝试编译对 Connecting::address 的访问，直接报错

示例写法：

std::visit([](const auto& s) {
  using T = std::decay_t<decltype>
  if constexpr (std::is_same_v<t idle>) {
    // do nothing
  } else if constexpr (std::is_same_v<t connecting>) {
    std::cout ) {
    std::cout </t></t></decltype>

状态 struct 设计的三个硬约束

每个状态 struct 不是容器，而是该状态的“数据契约”。违反任一约束，就会引入字段误访问、默认构造无意义或生命周期失控等隐患。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

禁止出现“可能为空”的成员：比如在 Connecting 里塞 std::optional sockfd，而它本该由构造函数强制传入 —— 正确签名是 Connecting(int sock, std::string ip)
空状态（如 Idle）必须定义为 struct Idle {};，而非 std::monostate：std::monostate 语义模糊，后续加字段（如 Idle{bool was_recently_active}）会破坏二进制兼容性
禁止放入裸指针（如 std::variant）：这等于放弃 std::variant 自动析构的优势，资源管理立刻失控