编译期状态机的核心约束是用类型系统编码状态转移，每个状态为独立类型，每次转移为模板实例化，所有路径必须在编译时可判定。
编译期状态机的核心约束是什么？
编译期状态机不是“运行时逻辑搬到 constexpr 里”，而是用类型系统编码状态转移——每个状态是独立类型，每次转移是模板实例化，所有路径必须在编译时可判定。这意味着：std::variant 或 std::any 这类运行时多态容器不能用；if 分支必须能被 constexpr if 消除；所有输入事件必须是字面量类型（int、char、枚举值等），不能是运行时变量。
用模板参数和特化定义状态与转移
最直接的方式是把当前状态作为模板参数，事件作为非类型模板参数，转移结果由特化决定。例如定义一个三状态机：空闲（Idle）、处理中（Processing）、完成（Done），支持事件 start、finish：
template<auto Event>
struct EventTag {};
struct Idle {};
struct Processing {};
struct Done {};
// 状态转移规则：State + Event → NextState
template<typename State, typename Event> struct Transition;
template<> struct Transition<Idle, EventTag<'s'>> { using type = Processing; };
template<> struct Transition<Processing, EventTag<'f'>> { using type = Done; };
template<> struct Transition<Done, EventTag<'s'>> { using type = Idle; }; // 可循环
这样，Transition<idle eventtag>>::type</idle> 就是 Processing，完全在编译期解析。
如何链式触发多个事件并验证路径合法性？
单次转移容易，但真实场景需要连续响应事件序列。可以用变参模板递归展开，同时在每一步做静态断言，防止非法转移：
立即学习“C++免费学习笔记（深入）”；
template<typename State, typename... Events>
struct RunEvents;
template<typename State>
struct RunEvents<State> {
using type = State;
};
template<typename State, auto First, typename... Rest>
struct RunEvents<State, EventTag<First>, Rest...> {
private:
using Next = typename Transition<State, EventTag<First>>::type;
static_assert(!std::is_same_v<Next, void>, "invalid transition");
public:
using type = typename RunEvents<Next, Rest...>::type;
};
调用 RunEvents<idle eventtag>, EventTag>::type</idle> 得到 Done；若传入 EventTag 到 Idle，则触发 static_assert 编译失败。
为什么不能直接用 constexpr 函数模拟状态机？
有人尝试写 constexpr State next_state(State s, char e)，但问题在于：C++17 起 constexpr 函数仍受限于“所有分支必须有定义”，且无法对未定义事件做编译期报错（只能返回错误码或抛异常，而 constexpr 异常不被允许）。更关键的是，它无法阻止非法状态组合——比如你传入 Done 后再调用 finish，函数可能返回 Done，但语义上这是无意义的“滞留”，而模板特化方式下，只要不提供 Transition<done eventtag>></done> 特化，就根本无法编译通过。
真正难的不是写出来，而是设计时想清楚哪些转移该禁掉、哪些要闭环、哪些状态需携带编译期数据（比如用 std::integral_constant 包装计数器）。漏掉一个特化，就等于打开一个运行时漏洞。
