应使用 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，结果退化回运行时崩溃。
立即学习“C++免费学习笔记（深入）”；
- 参数必须写成
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(s)>;
if constexpr (std::is_same_v<T, Idle>) {
// do nothing
} else if constexpr (std::is_same_v<T, ConnectingState>) {
std::cout << "Connecting to " << s.address << "\n";
} else if constexpr (std::is_same_v<T, ConnectedState>) {
std::cout << "Active on fd " << s.sockfd << "\n";
}
}, current_state);状态 struct 设计的三个硬约束
每个状态 struct 不是容器，而是该状态的“数据契约”。违反任一约束，就会引入字段误访问、生命周期失控或默认构造无意义等隐患：
- 禁止出现
std::optional或裸指针：比如ConnectingState里不该有std::optional<int> sock_fd</int>，而应强制通过构造函数传入 ——ConnectingState(int fd, std::string ip) - 空状态必须定义为
struct Idle {};，别用std::monostate：后者语义模糊，后续加bool was_recently_active会破坏二进制兼容性 - 禁止放入
std::unique_ptr<t>*</t>或T*：这等于放弃std::variant自动析构的优势，资源管理责任被踢给上层，极易泄漏
状态更新必须原子赋值，不能改字段
常见误操作：std::get<connectingstate>(state).address = new_addr;</connectingstate> —— 这绕过了 std::variant 的类型安全机制，且无法保证旧状态析构时机。
- 正确做法是：状态变更即构造新对象，一次性替换整个
std::variant - 例如：
state = ConnectingState{"127.0.0.1", 3};，而非修改已有字段 - 更推荐封装
transition函数，把前置校验、日志、资源申请等副作用收口统一处理
最容易被忽略的是：状态 struct 的构造函数和析构函数必须是 noexcept（尤其含 std::string 或 std::vector 时），否则 std::variant 赋值可能抛异常，导致中间状态非法。
