SFINAE场景：两种函数模板参数写法的差异及失效原因解析

先把两段代码清晰展示出来：

可运行代码 #

#include <type_traits>
#include <iostream>

template<typename T>
using is_ref = std::enable_if_t<std::is_reference_v<T>, bool>;

template<typename T>
using is_not_ref = std::enable_if_t<!std::is_reference_v<T>, bool>;

template<typename T, is_ref<T> = true>
void foo(T&&) {
    std::cout << "ref" << std::endl;
}

template<typename T, is_not_ref<T> = true>
void foo(T&&) {
    std::cout << "not ref" << std::endl;
}

int main() {
    int a = 0;
    foo(a); // 输出 ref
    foo(5); // 输出 not ref
}

不可运行代码 #

#include <type_traits>
#include <iostream>

template<typename T>
using is_ref = std::enable_if_t<std::is_reference_v<T>, bool>;

template<typename T>
using is_not_ref = std::enable_if_t<!std::is_reference_v<T>, bool>;

template<typename T, typename = is_ref<T>>
void foo(T&&) {
    std::cout << "ref" << std::endl;
}

template<typename T, typename = is_not_ref<T>>
void foo(T&&) {
    std::cout << "not ref" << std::endl;
}

int main() {
    int a = 0;
    foo(a);
    foo(5);
}

1. 模板签名与重载规则的区别 #

咱们先拆解两种写法的模板参数本质：

• typename = is_ref<T>写法：第二个模板参数是类型模板参数，只是给了一个默认类型。但C++有个关键规则：默认模板参数不算入模板的签名。也就是说，这两个foo模板的签名完全一致——都是template<typename T, typename>，编译器会直接判定为「重复定义」，连进入调用匹配阶段的机会都没有，直接报错。

• is_ref<T> = true写法：第二个模板参数是非类型模板参数，它的类型由is_ref<T>推导而来。只有当T满足条件时（比如是引用类型），is_ref<T>才会被实例化为bool类型；不满足条件时，std::enable_if_t会触发SFINAE规则，直接把这个模板从候选集中剔除。这时候两个模板根本不会同时出现在候选池里，自然不会有重复定义的冲突。

2. SFINAE的生效时机差异 #

不可运行的代码中，编译器在模板定义阶段就发现两个foo的签名完全相同，直接拒绝编译——SFINAE（替换失败并非错误）根本没机会发挥作用，因为SFINAE是在模板实例化阶段才生效的。

而可运行的代码中，SFINAE会提前帮我们筛选有效模板：

• 调用foo(a)时，T被推导为int&：第一个模板的is_ref<T>是bool（有效），第二个模板的is_not_ref<T>因条件不满足被SFINAE剔除，最终只有第一个模板被调用；
• 调用foo(5)时，T被推导为int：第一个模板因条件不满足被剔除，第二个模板有效，输出"not ref"。

3. 一句话总结 #

typename = xxx的写法会导致模板签名冲突，编译器直接报错；而xxx = true的写法通过非类型模板参数结合SFINAE，让不匹配的模板提前被淘汰，既实现了重载逻辑，又避开了签名冲突问题。

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