应使用 std::variant 而非 enum class + 单一 struct，当状态数据互不兼容、共享字段少于 50% 时；Idle 状态须定义为 struct Idle {}，各状态 struct 禁用 std::optional/裸指针/智能指针，构造/析构需 noexcept，状态更新须原子赋值。
std::variant 不是 FSM 的“高级写法”，而是当状态携带互不兼容、共享字段少于 50% 的数据时，唯一能避免 std::bad_variant_access、字段误读、析构遗漏和运行时崩溃的方案。
什么时候该用 std::variant 而不是 enum class + 单一 struct
核心看字段是否“按状态分裂”：
-
ConnectingState需要std::string address和int retry_count -
ConnectedState需要int sockfd和std::chrono::seconds timeout -
Idle真的什么也不需要 → 应定义为struct Idle {};，不是std::monostate
此时硬套 enum class State { Idle, Connecting, Connected }; + 一个大 struct 塞满 std::optional 字段，会导致：
- 每次访问前必须手动判
has_value()，漏一次就是未定义行为 - 内存浪费（所有
std::optional都占空间，哪怕当前是Idle） - 默认构造语义模糊（
State{}到底代表什么？）
std::visit 必须显式覆盖所有状态，且参数类型不能写错
std::visit 的价值不在“分发方便”，而在编译期强制你处理每种状态。漏写一个分支，编译器立刻报错；但新手常因此删掉 else if constexpr 改成 else，结果退化回运行时崩溃。
- 参数必须写成
const auto& s，避免auto&&在含std::string或std::vector的状态里意外触发移动语义 - 必须用
std::decay_t<decltype></decltype>提取真实类型，否则std::is_same_v<t connectingstate></t>永远为false（因为decltype(s)是引用类型） - 必须用
if constexpr，不用的话，哪怕当前s是ConnectedState，编译器仍会尝试编译对ConnectingState::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 connectingstate>) {
std::cout ) {
std::cout <h3>状态 struct 设计的三个硬约束</h3>
<p>每个状态 <code>struct</code> 不是容器，而是该状态的“数据契约”。违反任一约束，就会引入字段误访问、生命周期失控或默认构造无意义等隐患：</p>
<ul>
<li>禁止出现 <code>std::optional</code> 或裸指针：比如 <code>ConnectingState</code> 里不该有 <code>std::optional<int> sock_fd</int></code>，而应强制通过构造函数传入 —— <code>ConnectingState(int fd, std::string ip)</code>
</li>
<li>空状态必须定义为 <code>struct Idle {};</code>，别用 <code>std::monostate</code>：后者语义模糊，后续加 <code>bool was_recently_active</code> 会破坏二进制兼容性</li>
<li>禁止放入 <code>std::unique_ptr<t>*</t></code> 或 <code>T*</code>：这等于放弃 <code>std::variant</code> 自动析构的优势，资源管理责任被踢给上层，极易泄漏</li>
</ul>
<h3>状态更新必须原子赋值，不能改字段</h3>
<p>常见误操作：<code>std::get<connectingstate>(state).address = new_addr;</connectingstate></code> —— 这绕过了 <code>std::variant</code> 的类型安全机制，且无法保证旧状态析构时机。</p>
<ul>
<li>正确做法是：状态变更即构造新对象，一次性替换整个 <code>std::variant</code>
</li>
<li>例如：<code>state = ConnectingState{"127.0.0.1", 3};</code>，而非修改已有字段</li>
<li>更推荐封装 <code>transition</code> 函数，把前置校验、日志、资源申请等副作用收口统一处理</li>
</ul>
<p>最容易被忽略的是：状态 struct 的构造函数和析构函数必须是 <code>noexcept</code>（尤其含 <code>std::string</code> 或 <code>std::vector</code> 时），否则 <code>std::variant</code> 赋值可能抛异常，导致中间状态非法。</p></t></t></decltype>C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
