std::variant可构建轻量级、类型安全、无虚函数开销的有限状态机：通过variant封装状态类型，visit实现无分支分发，值语义赋值完成迁移，配合钩子与编译期校验提升健壮性。
如果您希望在C++中构建一个轻量级、类型安全且无需虚函数开销的有限状态机，std::variant提供了一种现代、高效的异构状态建模方式。以下是基于std::variant实现该设计模式的具体方法：
一、定义状态类型集合与状态机核心结构
使用std::variant将所有可能的状态封装为一个类型安全的联合体，避免动态内存分配和虚表调用；状态机主体以值语义持有当前状态，并通过std::visit实现无分支分发。
1、声明每个独立状态为具名struct，例如Idle、Running、Paused、Error，各结构体可携带专属数据成员。
2、使用using State = std::variant
立即学习“C++免费学习笔记（深入）”；
3、定义StateMachine类，内部持有一个State成员变量m_state，并提供构造函数初始化为初始状态（如Idle{}）。
4、在类中声明handleEvent()等接口，参数为事件类型，内部通过std::visit转发至对应状态的on_event()重载函数。
二、实现状态响应逻辑的访问者模式
借助std::visit配合lambda或自定义访问器，将不同状态对同一事件的响应行为解耦，消除if-else或switch对状态类型的硬编码依赖，提升可维护性。
1、在StateMachine类中编写私有辅助函数visit_state，接收一个泛型lambda作为参数。
2、该函数内调用std::visit([&](auto&& s) { lambda(s); }, m_state)，确保lambda能按实际状态类型被正确调用。
3、在handleEvent()中调用visit_state，传入一个根据事件类型匹配状态行为的lambda，例如：[&](auto&& s) { s.on_key_press(*this); }。
4、每个状态struct需定义公有成员函数on_key_press、on_timeout等，接受StateMachine&引用以触发状态迁移。
三、执行状态迁移并保证强异常安全
状态迁移通过直接赋值新状态实例完成，利用std::variant的赋值操作符自动处理旧状态析构与新状态就地构造；迁移过程不涉及指针或new/delete，天然支持异常安全的强保证。
1、在某个状态的事件处理函数中（如Running::on_stop），执行m_state = Idle{}；完成迁移。
2、若新状态需携带初始化参数，使用带参构造，例如m_state = Error{.code = 0x1F, .msg = "timeout"}；。
3、为防止意外复制导致状态不一致，将StateMachine的拷贝构造函数和拷贝赋值运算符显式删除。
4、迁移操作必须在visit_state作用域外进行，禁止在std::visit调用期间修改m_state，否则引发未定义行为。
四、添加状态进入与退出钩子机制
在状态变更前后自动触发统一入口/出口逻辑（如日志记录、资源申请/释放），通过模板特化或基类继承方式注入，保持核心variant逻辑纯净。
1、定义空基类StateHook，含virtual void on_enter(StateMachine&)和virtual void on_exit(StateMachine&)纯虚函数。
2、让每个状态struct私有继承StateHook，并分别实现on_enter与on_exit，例如Idle::on_enter中打印"Entering Idle"。
3、在StateMachine的state赋值操作前后，手动调用旧状态的on_exit与新状态的on_enter，需先通过std::get_if获取原始指针。
4、必须使用std::get_if
五、集成编译期状态合法性校验
利用SFINAE或C++20 requires子句，在编译阶段验证所有状态类型均满足最小接口契约（如具备on_event签名），防止遗漏实现导致运行时报错。
1、定义concept Stateful，要求T具有public成员函数template
2、在StateMachine模板参数中约束State为std::variant
3、在visit_state辅助函数中，使用static_assert确认传入lambda对每个可能状态类型均可调用。
4、若某状态未实现必需的on_event函数，编译器将在实例化StateMachine时立即报错，错误位置精准指向缺失实现的状态类型。
