std::variant是唯一靠谱的状态载体，因其能为每种状态提供独立类型、自动管理生命周期、编译期强制穷举分支且零运行时开销；而enum class+optional方案导致内存浪费、逻辑分散与运行时崩溃风险。
用 std::variant 写状态机，不是“更现代”，而是当状态携带不同数据时，enum class + switch 已经撑不住了——它会逼你把所有字段塞进一个类、靠 assert 防御、手动管理生命周期，最终在运行时崩溃。
为什么 std::variant 是唯一靠谱的状态载体
传统 enum class State { Idle, Connecting, Connected } 加一堆可选成员（std::optional<socket_t> sock</socket_t>, std::optional<:string> token</:string>）的问题是：内存浪费、逻辑分散、默认构造无意义、访问前必须判空。而 std::variant 把每个状态变成独立类型，天然隔离数据边界。
- 每个状态 struct 只放它真正需要的字段，比如
Connecting存socket_t和std::string ip，Error存int code和std::string msg -
std::variant自动调用对应类型的构造/析构函数，不用手写placement new或unionhack - 不支持运行时增删状态类型，但这反而是优势：编译期强制穷举，新增状态时漏处理分支直接编译失败
- 避免虚函数开销和堆分配，零额外内存（除了对齐填充）
怎么定义状态 variant 才不踩坑
核心原则：状态即类型，类型即契约。别用 std::monostate 占位，也别让某个状态 struct 空着等扩展——真没数据就写 struct Idle {};；有数据就一次性定义清楚。
- 用
using State = std::variant<idle connecting connected error>;</idle>，所有状态 struct 定义在头文件中，保持轻量 - 禁止在
std::variant里放裸指针（如std::variant<a b></a>），否则生命周期失控，违背自动管理初衷 - 如果某个状态需要资源（如
std::unique_ptr、std::string），直接放进去，std::variant会正确 move 或 copy - 第一个类型决定默认构造行为：
std::variant<:string int></:string>默认构造为""；若首类型无可默认构造，加std::monostate前置占位
std::visit 是唯一安全的状态分发方式
别用 std::get<connecting>(state)</connecting> 直接取值——一旦当前不是 Connecting，抛 std::bad_variant_access，且绕过编译检查。必须用 std::visit 强制覆盖所有分支。
- 泛型 lambda +
if constexpr最简洁：std::visit([](const auto& s) { if constexpr (std::is_same_v<:decay_t>, Connecting>) { /* use s.sock */ } }, state)</:decay_t> - 显式列出所有状态更安全（尤其团队协作）：
std::visit(overloaded{ [](const Idle&) {}, [](const Connecting& s) {}, [](const Connected& s) {}, [](const Error& e) {} }, state) - 漏写任一状态分支 → 编译失败，这是设计优势，不是 bug；别为绕过它而改成
else分支 - 不要在
std::visit回调里做状态变更（如state = Connecting{...}），应先计算新状态，再原子赋值
状态转换与跨状态共享字段的处理边界
状态间共享字段超过 50% 才考虑抽取基类；否则硬拆——共享字段名（如都叫 timeout_ms）但语义不同（连接超时 vs 心跳超时），极易引发误用。真正的共享逻辑应下沉到服务层，而非塞进状态 struct。
- 转换逻辑建议封装成自由函数或
struct transitions，输入旧状态 + 事件，返回std::optional<state></state>（std::nullopt表示非法转换） - 避免中间不一致状态：不要先改部分字段再改状态，必须用
state = NewState{...}原子更新整个 variant - 调试时用
state.index()或std::holds_alternative<connecting>(state)</connecting>辅助定位，但生产代码中应只依赖std::visit - 最易被忽略的一点：每个状态 struct 的构造函数必须只接收其必需参数，拒绝“通用配置对象”——那等于又退回了耦合泥潭
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
