空结构体作“路由开关”因类型唯一性：不同空struct互不兼容，确保重载精确匹配；tag应置参数末位、禁用默认值；通过iterator_traits::iterator_category编译期推导并构造对应tag实例。
空结构体为什么能当“路由开关”用
因为编译器把每个空 struct 当作完全独立的类型，哪怕 struct tag_input {} 和 struct tag_random_access {} 都没成员、大小都是 1，它们之间也**不兼容、不可隐式转换、不共享基类**——这正好堵死了误调用的路，只留下显式选择的窄通道。
关键不是“空”，而是“类型唯一性”。你写 tag_input{} 就是 tag_input 类型，写 tag_random_access{} 就是另一个类型，重载函数靠这个区分，不靠值、不靠运行时判断。
重载函数怎么写才不会被编译器绕晕
必须让 tag 参数参与重载决议，且不能被优化掉或被忽略。常见错误是把它放在参数列表中间或开头，导致模板推导失败或歧义。
- 把 tag 放在**最后一个参数**，例如：
template<typename it> void advance_impl(It& it, std::size_t n, std::random_access_iterator_tag)</typename> - 所有重载版本的非 tag 参数签名要一致（比如都接受
It&和std::size_t），否则编译器可能根本找不到可匹配的候选函数 - 避免给 tag 参数加默认值——它必须由调用方明确提供，否则就失去了“导流”的意义
怎么从迭代器类型自动拿到对应 tag
靠 std::iterator_traits<it>::iterator_category</it> 提取类型，再用它实例化一个临时对象传进去。这不是运行时查表，而是编译期类型计算。
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
典型模式是：
template<typename It>
void advance(It& it, std::size_t n) {
using Cat = typename std::iterator_traits<It>::iterator_category;
advance_impl(it, n, Cat{}); // Cat{} 构造出对应 tag 实例
}
注意：这里 Cat{} 不会生成运行时开销，空 struct 的构造是零成本的；但如果你手写错 tag 类型（比如把 std::input_iterator_tag 写成 std::output_iterator_tag），编译器会直接报错，而不是静默选错分支。
容易被忽略的继承关系陷阱
STL 的 iterator tag 是有继承链的：std::input_iterator_tag ← std::forward_iterator_tag ← std::bidirectional_iterator_tag ← std::random_access_iterator_tag。这意味着如果你只写了 advance_impl(..., std::input_iterator_tag)，它也能匹配 forward 迭代器——但这是靠派生类到基类的隐式转换，属于“标准转换”，优先级低于精确匹配。
所以实际写法中：
- 先写最具体的重载（如
random_access_iterator_tag），再写更宽泛的（如input_iterator_tag） - 别依赖继承自动兜底，除非你真想让 random_access 走 input 分支——那说明你设计反了
- 自定义 tag 时如果也要建继承关系，必须用
public继承，且确保基类 tag 定义在派生类之前，否则 SFINAE 可能失效
最麻烦的点往往不在怎么写，而在于改了一个 tag 定义后，编译器报的错误位置离真实问题差三层模板嵌套——这时候得盯住第一个“candidate template ignored”提示，顺藤摸那个 iterator_category 的源头。
