标签分发通过类型标签在编译期选择函数重载，实现高效静态多态。1. 定义标签类型如std::true_type；2. 编写对应重载函数；3. 利用类型特征自动推导并分发。例如print函数根据std::is_pointer判断是否为指针类型，分别调用不同实现。STL中advance结合迭代器标签优化性能，随机访问迭代器用+=，输入迭代器逐次递增，所有分支编译期确定，零成本抽象。
标签分发（Tag Dispatching）是C++模板元编程中一种基于类型特征在编译期选择不同函数重载的技术。它通过传递一个表示类型分类的“标签”对象，将控制权分发到对应的实现函数，从而实现高效的静态多态。
基本原理
标签分发利用函数重载机制和类型特征，在编译时根据类型的类别调用最合适的函数版本。核心思想是：为不同类型定义不同的标签类型，然后编写接受这些标签的重载函数，再通过类型推导自动选择正确的实现。
常见的标签类型包括：
-
std::integral_constant
或其别名 std::true_type -
std::integral_constant
或其别名 std::false_type - std::random_access_iterator_tag
- std::input_iterator_tag
实际应用示例
假设我们要实现一个安全打印函数，对指针和非指针类型做不同处理：
立即学习“C++免费学习笔记（深入）”；
template
void print_impl(const T& value, std::true_type) {
std::cout << "Pointer: " << value << " points to " << *value << "\n";
}
template
void print_impl(const T& value, std::false_type) {
std::cout << "Value: " << value << "\n";
}
template
void print(const T& value) {
print_impl(value, std::is_pointer{});
}
这里，std::is_pointer
与标准库的结合使用
STL 中广泛使用标签分发优化算法性能。例如 std::advance 对随机访问迭代器使用加法，对前向迭代器使用逐个递增：
template
void advance_impl(InputIt& it, Distance n, std::random_access_iterator_tag) {
it += n;
}
template
void advance_impl(InputIt& it, Distance n, std::input_iterator_tag) {
while (n--) ++it;
}
template
void advance(InputIt& it, Distance n) {
using tag = typename std::iterator_traits::iterator_category;
advance_impl(it, n, tag{});
}
这种设计避免了运行时判断，所有分支在编译期确定，既安全又高效。
基本上就这些。标签分发本质是把类型信息编码成可参与重载决议的对象，让编译器替我们做选择，是零成本抽象的典型体现。
