标签分发是一种基于类型特征的编译期多态技术，通过定义标签类型实现函数重载，如根据迭代器类别选择不同advance_impl版本，结合std::iterator_traits在编译期分发调用，具有无运行时开销、逻辑清晰和可扩展性强的优点，广泛应用于STL算法中。
标签分发（Tag Dispatching）是 C++ 中一种利用函数重载和类型特征在编译期选择不同实现的技术，常用于实现编译期多态。它不依赖虚函数或运行时类型识别，而是通过传入特定的“标签类型”来决定调用哪个函数版本，从而在编译阶段完成分支选择。
基本原理
标签分发的核心思想是：根据某个类型的类别（如迭代器种类、数据结构特性等），定义一组空的标签类型（通常为 struct），然后编写多个同名函数的重载版本，每个版本接受不同的标签作为额外参数。实际调用时，通过类型推导或类型特征获取对应的标签，并将其传递给函数，由编译器自动匹配正确的实现。
// 示例：根据迭代器类别选择不同算法实现struct random_access_iterator_tag {};
struct bidirectional_iterator_tag {};
struct forward_iterator_tag {};
template<typename Iterator>
void advance_impl(Iterator& it, int n, random_access_iterator_tag) {
it += n; // 支持随机访问，直接加减
}
template<typename Iterator>
void advance_impl(Iterator& it, int n, bidirectional_iterator_tag) {
if (n > 0) { while (n--) ++it; }
else { while (n++) --it; }
}
template<typename Iterator>
void advance_impl(Iterator& it, int n, forward_iterator_tag) {
while (n--) ++it; // 只能向前移动
}
template<typename Iterator>
void advance(Iterator& it, int n) {
using tag = typename Iterator::iterator_category;
advance_impl(it, n, tag{}); // 根据类型自动分发
}
与类型特征结合使用
标签分发常配合 std::iterator_traits 或自定义类型特征使用。标准库中的许多算法（如 std::advance、std::distance）都采用这种技术，根据迭代器的 iterator_category 成员选择最优实现路径。
也可以用 std::is_same_v 或 if constexpr 实现类似效果，但标签分发的优势在于完全在编译期完成，且逻辑清晰、可扩展性强，尤其适合模板元编程场景。
立即学习“C++免费学习笔记（深入）”；
优点与适用场景
- 性能高：无运行时开销，所有选择在编译期完成
- 代码清晰：不同逻辑分离到独立函数中，易于维护
- 可扩展性好：新增类型只需添加对应标签和实现即可
- 广泛用于标准库：如容器操作、内存分配策略、序列生成等
基本上就这些。标签分发是一种简洁而强大的编译期多态手段，理解它有助于深入掌握 STL 实现机制和泛型编程技巧。
