std::variant 是带数据状态机唯一能避免崩溃和逻辑腐化的选择，它通过类型安全强制处理每种状态的数据结构与访问逻辑，杜绝 reinterpret_cast、裸 union 和运行时类型误判。
用 std::variant 写状态机，不是“更现代的写法”，而是当状态携带不同数据时唯一能避免崩溃和逻辑腐化的选择。否则你迟早要面对 reinterpret_cast、裸 union、满屏 if (state == X) { /* 访问一堆可能为空的成员 */ } 的维护地狱。
为什么 enum class + switch 在带数据的状态机里会失效
当你发现状态类开始堆砌“可选字段”——比如 target_x 只在 MovingState 有意义、error_code 和 message 只属于 ErrorState，而为了塞进一个类，你不得不把它们全声明为可空（std::optional）、或靠 assert(state == Moving) 强行防护时，enum class 就只剩个标签作用了。
此时真正的语义不在整数上，而在“这个状态该持有什么数据”。std::variant 把这种语义直接变成类型，编译器强制你处理每种状态的数据结构和访问逻辑。
- 别再用单个 struct 套所有字段：字段复用名（如两个状态都叫
id）会导致歧义，且无法区分生命周期 - 每个状态 struct 应只含“必要且充分”的字段：例如
ConnectingState放int socket_fd，AuthenticatingState放std::string token，不共享、不预留 - 空状态别硬凑
struct IdleState {}：真没数据就留着，但后续加字段时会受限；更推荐用std::monostate占位，语义更清晰
std::visit 是唯一安全的状态访问方式
用 std::get<MovingState>(state) 直接取值是危险的：运行时若当前不是 MovingState，会抛 std::bad_variant_access；更重要的是，它绕过了类型覆盖检查，新增状态后旧代码不会报错，只会静默崩溃。
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
std::visit 强制你在编译期覆盖所有分支，漏一个类型就编译失败。
- 必须用泛型 lambda +
if constexpr分支：不能靠运行时if判断类型，否则编译器无法做静态检查 - lambda 参数用
const auto&：避免不必要的拷贝，尤其对大对象或非 trivial 类型 - 所有分支必须有明确处理逻辑：哪怕只是
return;或throw std::logic_error("unhandled state");，不能留空
示例：
std::visit([](const auto& s) {
using T = std::decay_t<decltype(s)>;
if constexpr (std::is_same_v<T, IdleState>) {
// 空闲逻辑
} else if constexpr (std::is_same_v<T, MovingState>) {
std::cout << "Moving to (" << s.target_x << ", " << s.target_y << ")\n";
} else if constexpr (std::is_same_v<T, ErrorState>) {
std::cerr << "Error " << s.error_code << ": " << s.message << "\n";
}
}, state);
状态变更必须原子、完整
状态更新不能只改部分字段，也不能跨状态复用字段。比如从 MovingState 切到 ErrorState，不能手动清空 target_x 再赋值 error_code——这中间存在不一致窗口，多线程下极易出问题。
正确做法是直接赋新值：state = ErrorState{1001, "timeout"};。整个 std::variant 会自动析构旧状态、构造新状态，资源生命周期由类型自身保证。
- 避免在状态 struct 里存裸指针或全局句柄：优先用
std::unique_ptr、int（如 socket fd）、std::string等 RAII 类型，std::variant会自动管理其构造/析构 - 不要在多个状态间共享字段：例如用同一个
std::string id表示设备 ID，结果在IdleState里它无意义，在ConnectedState里又必须有效——这种设计会让std::visit分支逻辑变得脆弱 - 状态跳转逻辑应封装在独立函数中：如
transition_to_moving(State& s, float x, float y)，内部直接赋值新状态，不暴露字段操作细节
最易被忽略的一点：状态定义一旦固定，std::visit 的所有分支就必须同步更新。新增一个状态类型，不只是加 struct 和 using State = std::variant<...>，所有调用 std::visit 的地方都得补上对应分支——编译器会帮你卡住，但人容易忘记改老代码。
