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