C++函数模板重载歧义：调用dummy(5)为何优先选择通用实现

问题核心原因 #

你写的「Integral」「Floating point」两个重载模板根本没有进入dummy(5)/dummy(5.)调用的重载决议候选集，不存在优先级相等的情况，编译器自然只会选择唯一符合要求的通用版本。

具体错误点 #

你对两个特化重载的模板参数定义存在语法误用：

• 通用版本的第二个模板参数是带默认值的类型参数：typename Enable = void，调用时不需要显式传参，也不需要从入参推导，符合候选集要求。
• 另外两个重载的第二个模板参数是typename std::enable_if<...>::type，属于没有默认值、也无法从函数入参推导的类型参数。按照C++标准，这种模板参数对应的函数模板会被直接排除出候选集。你之前误以为第二个参数会被解析为void是完全错误的：你根本没有给这个参数设置默认值，也没有推导来源，自然不会被纳入重载决议的考虑范围。

正确的实现写法 #

如果想要实现「整型调用整型重载、浮点调用浮点重载、其他类型走通用版本」的效果，可以把两个特化重载的第二个模板参数改成带默认值的非类型参数，避免重定义问题：

#include <iostream>

template<typename T, typename Enable = void>
void dummy(T t)
{
  std::cout << "Generic: " << t << std::endl;
}

// 整型重载：第二个是带默认值的非类型模板参数
template<typename T, std::enable_if_t<std::is_integral<T>::value, int> = 0>
void dummy(T t)
{
  std::cout << "Integral: " << t << std::endl;
}

// 浮点型重载同理
template<typename T, std::enable_if_t<std::is_floating_point<T>::value, int> = 0>
void dummy(T t)
{
  std::cout << "Floating point: " << t << std::endl;
}

int main() {
  dummy(5);    // 输出 "Integral: 5"
  dummy(5.);   // 输出 "Floating point: 5"
  dummy("abc");// 输出 "Generic: abc"
}

修改后两个特化重载的第二个模板参数有默认值，会进入候选集，且比通用版本更特殊，重载决议时会优先匹配。

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