解析boost::ext sml状态机转换表语法的实现原理

1. 核心澄清：不是类型，是模板化全局constexpr对象 #

你看到的state<Connected>并非直接使用类型做运算，而是SML库通过模板化全局对象实现的语法糖。库预先定义了一个模板化的constexpr全局变量：

template <class State>
constexpr state_tag<State> state{};

其中state_tag<State>是一个极简的类型标签结构体，仅用来携带状态类型信息，无任何成员数据：

template <class State>
struct state_tag {
    using type = State; // 暴露内部状态类型，供库编译期处理
};

当你写state<Connected>时，实际是实例化这个模板变量，得到一个state_tag<Connected>类型的编译期对象，而非直接操作state_tag<Connected>类型本身。

2. 全局运算符重载实现链式语法 #

库通过全局重载operator+、operator=等运算符，让这些标签对象支持链式操作：

• 第一步：重载operator+处理状态与事件的组合：

template <class State, class Event>
constexpr auto operator+(state_tag<State>, event_tag<Event>) {
    // 返回临时"转换描述器"对象，记录源状态与触发事件
    return transition_part<State, Event>{};
}

• 第二步：重载operator=处理转换的目标状态：

template <class State, class Event, class NextState>
constexpr auto operator=(transition_part<State, Event>, state_tag<NextState>) {
    // 返回完整转换规则对象，包含源状态、事件、目标状态的全部信息
    return full_transition<State, Event, NextState>{};
}

这样state<Connected> + event<Disconnect> = state<Disconnected>的写法，本质是三个编译期对象的链式运算，最终生成的完整转换规则会被make_transition_table解析处理。

3. 编译期优化的优势 #

所有对象都是constexpr，整个转换表的构建完全在编译期完成：

• 无运行时开销，类型检查、转换规则验证全部在编译阶段完成
• 库通过模板元编程，将这些转换规则映射到状态机的内部逻辑

对比"hallo"_s这类用户定义字面量写法，两者核心都是创建编译期标签对象，只是语法形式不同：前者通过字面量运算符返回对象，后者直接引用模板化全局constexpr对象。

内容的提问来源于stack exchange，提问作者Klaus