简易SFINAE函数重载示例编译失败问题咨询

我帮你梳理下这段代码里的几个关键问题，一个个来解决：

1. 语法错误：不完整的std::is_class表达式 #

你代码里的std::is_class<T>::...明显是笔误，这里应该写成std::is_class<T>::value，和前面std::is_integral的用法保持一致，这是最直观的语法错误。

2. 模板参数推导失败：非推导上下文导致无法匹配重载 #

你把enable_if放在了函数参数的类型里，也就是typename enable_if<std::is_integral<T>::value, T>::type &t，这里的T处于非推导上下文中——编译器没办法从传入的实参反向推导出模板参数T，所以当你调用do_stuff的时候，编译器找不到合适的重载，直接报错。

3. 缺少必要的头文件 #

代码里用到了std::cout、std::is_integral、std::is_class这些标准库组件，必须包含对应的头文件<iostream>和<type_traits>，否则编译器会识别不了这些符号。

修正后的完整代码 #

下面是调整后的可运行版本，我把enable_if移到了模板参数列表里，这样就能正常触发SFINAE的重载决议了：

#include <iostream>
#include <type_traits>

// enable_if模板定义
template<bool, typename T = void> struct enable_if {};
template <typename T> struct enable_if<true, T> { using type = T; };

// 针对整数类型的重载：把enable_if放在模板参数中，让T可推导
template <typename T, typename = typename enable_if<std::is_integral<T>::value>::type>
void do_stuff(T &t) { 
    std::cout << "Integral selected " << std::endl; 
}

// 针对类类型的重载
template <typename T, typename = typename enable_if<std::is_class<T>::value>::type>
void do_stuff(T &t) { 
    std::cout << "Class selected " << std::endl; 
}

// 测试用例
class MyClass {};

int main() {
    int x = 5;
    MyClass c;
    
    do_stuff(x); // 调用整数版本
    do_stuff(c); // 调用类版本
    return 0;
}

为什么这么改？ #

把enable_if作为模板的默认参数，这样编译器在推导T的时候，会先根据实参推导出T，再检查enable_if的条件是否成立：如果条件不满足，这个模板重载就会被SFINAE机制排除，不会参与重载决议，从而实现我们想要的“根据类型选择重载”的效果。

另外，如果你想用C++11及以后的标准，其实可以直接用标准库的std::enable_if，不用自己定义，不过你自己实现的版本是正确的，没问题。

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