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> 直接取值是危险的：运行时若当前不是 MovingState，会抛 std::bad_variant_access；更重要的是，它绕过了类型覆盖检查，新增状态后旧代码不会报错，只会静默崩溃。
std::visit 强制你在编译期覆盖所有分支，漏一个类型就编译失败。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 必须用泛型 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>;
if constexpr (std::is_same_v<t idlestate>) {
// 空闲逻辑
} else if constexpr (std::is_same_v<t movingstate>) {
std::cout ) {
std::cerr <h3>状态变更必须原子、完整</h3>
<p>状态更新不能只改部分字段，也不能跨状态复用字段。比如从 <code>MovingState</code> 切到 <code>ErrorState</code>，不能手动清空 <code>target_x</code> 再赋值 <code>error_code</code>——这中间存在不一致窗口，多线程下极易出问题。</p>
<p>正确做法是直接赋新值：<code>state = ErrorState{1001, "timeout"};</code>。整个 <code>std::variant</code> 会自动析构旧状态、构造新状态，资源生命周期由类型自身保证。</p>
<ul>
<li>避免在状态 struct 里存裸指针或全局句柄：优先用 <code>std::unique_ptr</code>、<code>int</code>（如 socket fd）、<code>std::string</code> 等 RAII 类型，<code>std::variant</code> 会自动管理其构造/析构</li>
<li>不要在多个状态间共享字段：例如用同一个 <code>std::string id</code> 表示设备 ID，结果在 <code>IdleState</code> 里它无意义，在 <code>ConnectedState</code> 里又必须有效——这种设计会让 <code>std::visit</code> 分支逻辑变得脆弱</li>
<li>状态跳转逻辑应封装在独立函数中：如 <code>transition_to_moving(State& s, float x, float y)</code>，内部直接赋值新状态，不暴露字段操作细节</li>
</ul>
<p>最易被忽略的一点：状态定义一旦固定，<code>std::visit</code> 的所有分支就必须同步更新。新增一个状态类型，不只是加 struct 和 <code>using State = std::variant<...></...></code>，所有调用 <code>std::visit</code> 的地方都得补上对应分支——编译器会帮你卡住，但人容易忘记改老代码。</p></t></t></decltype>C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
