Tag Dispatching是一种基于类型标签的编译期函数重载技术，用于根据类型特征（如迭代器类别、是否为整型等）在编译时选择不同实现路径，避免SFINAE冗余或Concepts依赖，实现零开销、高可读性的静态多态。
什么是tag dispatching，它解决什么问题
当模板函数需要根据类型特征（比如是否是整型、是否支持移动语义、是否为迭代器类别）走不同实现路径，又不想用 SFINAE 写一堆 enable_if，或者不想引入 C++20 的 concepts，tag dispatching 就是轻量、可读性好、兼容老标准的替代方案。
它的核心就一句话：把类型特征编译时转化为一个空类型（tag），再靠函数重载匹配这个 tag。
怎么写一个基础的 tag dispatching 示例
以“对不同迭代器类型做不同优化”为例：随机访问迭代器可以 O(1) 算距离，而前向迭代器只能遍历计数。
// 定义 tag 类型（只用于重载区分，不带数据）
struct random_access_iterator_tag {};
struct forward_iterator_tag {};
<p>// 主模板，靠 traits 提取 tag
template<typename It>
auto distance_impl(It first, It last, random_access_iterator_tag) {
return last - first; // 直接减法
}</p><p>template<typename It>
auto distance_impl(It first, It last, forward_iterator_tag) {
typename std::iterator_traits<It>::difference_type n = 0;
while (first != last) { ++first; ++n; }
return n;
}</p><p>// 主接口：自动推导 tag 并转发
template<typename It>
auto distance(It first, It last) {
using tag = typename std::iterator_traits<It>::iterator_category;
return distance_impl(first, last, tag{});
}关键点：
立即学习“C++免费学习笔记（深入）”；
-
random_access_iterator_tag和forward_iterator_tag是空 struct，零开销 -
std::iterator_traits<It>::iterator_category是标准库提供的 tag 类型（如std::random_access_iterator_tag），直接复用更安全 - 主函数
distance不暴露 tag，调用者无感知
为什么不能直接重载模板函数，而要加 tag 参数
因为函数模板不能仅靠返回类型或部分参数类型（如 It）来重载——编译器无法在实例化前确定哪个特化更匹配。
常见错误现象：
template<typename T> void f(T); // 通用版 template<typename T> void f(T*, int); // 想专用于指针？错：这不是重载，是新模板这会报错或行为不符合预期，因为模板参数
T 在两个声明中含义不同，且没有上下文让编译器决定选哪个。
而加上明确的 tag 参数后：
- 重载决议基于实参类型（tag 是具体类型，非模板）
- 编译器能静态确定唯一最佳匹配
- 所有分支都是普通函数重载，不是模板特化，逻辑更清晰
tag dispatching 和 if constexpr 怎么选
if constexpr（C++17）也能做编译期分支，但它要求所有分支代码都能通过语法检查（即使不执行）。而 tag dispatching 的各分支是独立函数，未被选中的代码完全不参与 SFINAE 或实例化。
适用场景对比：
- 用 tag dispatching：分支逻辑差异大（比如一个调
memcpy，另一个调copy）、涉及不兼容类型操作、需跨多个函数协作分发 - 用
if constexpr：分支简单（比如只改一行赋值）、逻辑共用大部分变量、不想多写几个函数名
容易踩的坑：
- 忘记给 tag 构造函数加
= default或确保可隐式构造（虽然空 struct 通常没问题，但自定义 tag 时要注意） - 把 tag 当成运行时值传递（比如传
int表示类别），那就失去编译期分发意义了 - 在 tag 分发链中混用
enable_if，反而增加复杂度——tag dispatching 的价值就在于规避它
真正难的不是写出来，而是判断该不该用：如果某个模板的分支只取决于一个可提取的类型特征，且这些特征已有标准 tag（比如 iterator_category、is_integral_v<T> 对应的 std::integral_constant<bool, true>），那 tag dispatching 几乎总是最干净的选择。
