C++ enable_if两种写法为何一种触发函数模板重定义报错

两种写法的代码示例 #

先明确你提到的两组写法的标准形式，方便后续分析：

第一组（可正常编译运行） #

// int匹配版本
template <typename T, std::enable_if_t<std::is_same_v<T, int>, bool> = true>
void test() {}

// double匹配版本
template <typename T, std::enable_if_t<std::is_same_v<T, double>, bool> = true>
void test() {}

第二组（编译报错） #

// int匹配版本
template <typename T, typename = std::enable_if_t<std::is_same_v<T, int>>>
void test() {}

// double匹配版本
template <typename T, typename = std::enable_if_t<std::is_same_v<T, double>>>
void test() {}

问题1：为什么第二组会被判定为模板重定义？ #

C++标准中，函数模板的签名仅由模板参数列表的参数类型/数量结构决定，模板参数的默认值不属于签名的一部分。
第二组的两个模板，模板参数列表的结构完全相同：都是「1个类型模板参数T，1个匿名类型模板参数」，所以在模板定义的语法解析阶段，就会被判定为签名完全一致的重定义模板，根本不会走到后续的实例化匹配阶段。
你提到的test<int>()实例化为test<int, void>、test<double>()实例化为test<double, void>是实例化阶段的行为，重定义错误在这之前就已经触发了。另外你调用test<double>()提示无匹配函数，是因为第一个模板的std::enable_if_t条件对double不满足，被SFINAE规则排除，而第二个模板已经因为重定义被编译器忽略，自然找不到有效匹配。

问题2：为什么第一组写法没有重定义问题？ #

第一组写法中，第二个模板参数是非类型模板参数，且它的类型本身就是std::enable_if_t的计算结果：

• 当T为int时，第一个模板的std::enable_if_t计算结果为bool，模板有效；第二个模板的std::is_same_v<T, double>为false，std::enable_if_t不存在有效类型，模板直接失效。
• 当T为double时，逻辑相反，只有第二个模板有效。

两个模板的第二个参数类型是依赖模板参数T的，永远不会出现两个模板同时有效的情况，签名层面也有本质区分，自然不会被判定为重定义，可以正常完成重载匹配。

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