C++98中SFINAE应用疑问：整数参数为何未匹配预期模板函数

你遇到的问题核心在于重载决议的优先级，而非SFINAE方法本身不可行。

为什么会调用非预期的print函数？ #

假设你的代码大致是这样的：

// 自定义enable_if与is_integral
template<bool B, typename T = void>
struct enable_if {};
template<typename T> struct enable_if<true, T> { typedef T type; };

template<typename T> struct is_integral { static const bool value = false; };
template<> struct is_integral<int> { static const bool value = true; };

// 两个print重载
template<typename T>
void print(T t, typename enable_if<is_integral<T>::value>::type* = 0) {
    std::cout << "FIRST " << t << std::endl;
}

template<typename T>
void print(T t) {
    std::cout << "SECOND " << t << " " << is_integral<T>::value << std::endl;
}

当你调用print(123)时，两个模板都能匹配：

• 第一个模板可以通过默认参数补全第二个参数；
• 第二个模板则完全匹配单参数的调用形式。

根据C++重载决议规则，完全匹配参数数量的重载优先级更高，因此编译器选择了第二个print函数，导致输出SECOND 123 true。

修正方案：让重载通过SFINAE互斥 #

方法本身是可行的，只需调整重载的参数结构，让两个模板通过SFINAE规则互相排除，确保同一类型只会匹配其中一个：

方案1：统一参数数量，用enable_if正反条件互斥

#include <iostream>
using namespace std;

// C++98版enable_if
template<bool B, typename T = void>
struct enable_if {};
template<typename T> struct enable_if<true, T> { typedef T type; };

// 扩展支持更多整数类型的is_integral
template<typename T> struct is_integral { static const bool value = false; };
template<> struct is_integral<int> { static const bool value = true; };
template<> struct is_integral<long> { static const bool value = true; };
template<> struct is_integral<short> { static const bool value = true; };
template<> struct is_integral<char> { static const bool value = true; };

// 仅匹配整数类型的重载
template<typename T>
void print(T t, typename enable_if<is_integral<T>::value>::type* = 0) {
    cout << "FIRST " << t << endl;
}

// 仅匹配非整数类型的重载
template<typename T>
void print(T t, typename enable_if<!is_integral<T>::value>::type* = 0) {
    cout << "SECOND " << t << " " << is_integral<T>::value << endl;
}

int main() {
    print(123);          // 输出 FIRST 123
    print(123.45);       // 输出 SECOND 123.45 false
    print('a');          // 输出 FIRST a
    return 0;
}

方案2：使用模板默认参数避免函数参数差异

// 仅匹配整数类型的重载
template<typename T, typename Enable = typename enable_if<is_integral<T>::value>::type>
void print(T t) {
    cout << "FIRST " << t << endl;
}

// 仅匹配非整数类型的重载
template<typename T, typename Enable = typename enable_if<!is_integral<T>::value>::type>
void print(T t) {
    cout << "SECOND " << t << " " << is_integral<T>::value << endl;
}

这种方式下，两个重载都是单参数函数：当T是整数时，第二个重载的enable_if<!true>::type不存在，会被SFINAE排除；当T不是整数时，第一个重载被排除，编译器只会选择可行的那个。

额外注意点 #

你的is_integral如果只特化了int，像long、short、char等整数类型不会被识别，需要手动添加特化，才能覆盖更多整数场景。

内容的提问来源于stack exchange，提问作者carce-bo