模板元编程中何时需要使用标签派发（Tag Dispatching）？

第一个版本产生歧义的原因 #

C++中按值传递的函数参数，在模板推导时会自动剥离参数的顶层const/volatile限定符和引用修饰符。对于你第一个版本的两个重载：

template <typename T> std::true_type is_const(T const); // 重载1
template <typename T> std::false_type is_const(T); // 重载2

当你调用detail::is_const(std::declval<int const>())时，std::declval<int const>()的返回类型是int const&&，传入按值传参的函数时：

• 重载1的模板参数T推导为int，实例化后参数类型为int const
• 重载2的模板参数T推导为int（因为顶层const被剥离），实例化后参数类型为int
  两个重载对传入参数的转换等级完全相同，没有优先级差异，因此编译器报歧义错误。

第二个版本正常工作的原理 #

你的猜测基本正确。TypeTag是一个模板结构体，TypeTag<int>和TypeTag<int const>是两个完全独立的类型，没有继承或转换关系。当你调用detail::is_const(std::declval<TypeTag<int const>>())时：

• 重载1is_const(TypeTag<T const>)的模板参数T推导为int，完全匹配传入的TypeTag<int const>类型
• 重载2is_const(TypeTag<T>)的模板参数T推导为int const，也能匹配传入类型
  此时C++的模板重载偏序规则会判定参数形式更特殊的重载1优先级更高，因此会正确选择重载1返回std::true_type，不会产生歧义。
  这里核心的区别是：TypeTag封装后，你要判断的const是TypeTag内部模板参数的修饰符，不是TypeTag本身的顶层const，因此不会被按值传参的推导规则剥离，完整保留了类型的const属性。

TypeTag的通用实践规范 #

这种用空模板结构体封装目标类型的做法是模板元编程的通用最佳实践之一，常被称为类型标签技巧，核心作用就是规避C默认的参数类型调整规则（按值传参剥顶层cv/引用、数组退化为指针、函数退化为指针等），完整保留原类型的所有修饰信息，让模板推导和重载决议符合预期。
这种技巧的使用场景非常广泛：除了类型特征判断，还常用于标签分发、可调用对象参数匹配、变体类型访问等场景，很多C标准库的内部实现也会使用类似的类型标签封装来避免推导干扰。

内容的提问来源于stack exchange，提问作者sylvia0x97