Tag dispatching 是一种利用函数重载与空标签类型在编译期选择实现的 C++ 模板技巧，核心是将类型特征转为函数参数类型以触发重载解析；它弥补了早期标准中模板缺乏条件分支能力的不足，相比 enable_if 更清晰，比 if constexpr 更兼容旧代码。
Tag dispatching 是一种利用函数重载 + 类型标签（空类型）在编译期选择不同实现的 C++ 模板技巧，核心是把“类型特征”转化为“函数参数类型”，让重载解析替你做分支决策。
为什么需要 tag dispatching？
模板本身不支持基于类型特性的条件分支（比如“如果 T 是 integral，走 A；如果是浮点，走 B”），而 if constexpr（C++17）虽能解决，但在早期标准或需兼容旧代码时，tag dispatching 是稳定、清晰且零开销的替代方案。它把编译期判断“外推”到函数重载机制上——而重载解析本就是编译期完成的。
怎么写一个基础 tag dispatching？
分三步：定义标签类型 → 写带标签参数的重载函数 → 在主模板中传入对应标签。
- 定义轻量标签（通常用空 struct）：// 标签只是类型占位符，不占内存
struct integral_tag {}; struct floating_point_tag {}; - 重载函数（按标签区分）：
void impl(int x, integral_tag) { /* 处理整数 */ }
void impl(double x, floating_point_tag) { /* 处理浮点 */ } - 主模板中用 type traits 选标签：
template
void foo(T x) {
impl(x, typename std::is_integral_v? integral_tag{} : floating_point_tag{}); // ❌ 错！不能 runtime 选
impl(x, typename std::is_integral::type{}); // ✅ 正确：用 std::true_type / std::false_type
}
更常见的是直接用标准库的 std::true_type 和 std::false_type（它们本质就是空 struct，分别继承自 std::integral_constant 等），省去自定义。
立即学习“C++免费学习笔记（深入）”；
和 enable_if、SFINAE 有什么区别？
三者都用于编译期分派，但风格和适用场景不同：
- enable_if：通过控制函数模板是否参与重载来“过滤”候选函数，适合单个模板的约束，但重载多时签名易冗长，错误信息可能难读。
- Tag dispatching：所有重载函数都可见，靠参数类型区分，逻辑分离清晰，调试友好，适合多个分支或需复用底层实现的场景（比如不同容器的迭代器遍历策略）。
- if constexpr（C++17）：最直接，在函数体内写编译期 if，可读性高，但要求整个函数体能被实例化（即所有分支的代码都得语法合法，哪怕不执行）。
真实一点的例子：根据迭代器类别优化遍历
假设你想写一个通用的 sum_range，对随机访问迭代器用下标加速，对前向迭代器只用 ++：
- 用
std::iterator_traits获取类别标签（如::iterator_category std::random_access_iterator_tag） - 写两个
sum_impl重载，参数分别是该标签类型 - 主函数转发时直接传
typename std::iterator_traits::iterator_category{}
这样编译器在调用时就自动选最优路径，无运行时开销，也无需手动特化整个模板。
