C++17用std::enable_if_t按整型模板参数特化类成员函数报错问题

错误成因 #

• 签名不匹配：类内声明的成员函数模板返回值为纯T类型，类外定义的返回值为std::enable_if_t包装后的类型，二者签名不一致，编译器无法将类外定义匹配到已声明的类成员函数，因此抛出匹配失败错误。
• SFINAE约束缺失：未将SFINAE的类型约束同步到类内的模板声明中，无法触发SFINAE的重载匹配逻辑。

修复方案 #

推荐将SFINAE约束放到成员函数模板的匿名默认模板参数中，保证类内外签名一致，即可正常编译运行。

完整可运行代码 #

如果需要将成员函数的声明和实现分离：

#include <iostream>
#include <type_traits>
#include <string>

namespace oct {

class Class1 {
public:
    // 整数类型重载：模板参数带is_integral约束
    template<typename T, std::enable_if_t<std::is_integral_v<T>, int> = 0>
    T memf();

    // 非整数类型重载：模板参数带反is_integral约束
    template<typename T, std::enable_if_t<!std::is_integral_v<T>, int> = 0>
    T memf();
};

template<typename T, std::enable_if_t<std::is_integral_v<T>, int> N>
T Class1::memf() {
    std::cout << "Integral." << std::endl;
    return 1;
}

template<typename T, std::enable_if_t<!std::is_integral_v<T>, int> N>
T Class1::memf() {
    std::cout << "None-Integral." << std::endl;
    return T{};
}

}

// 测试代码
int main() {
    oct::Class1 obj;
    obj.memf<int>(); // 输出 Integral.
    obj.memf<std::string>(); // 输出 None-Integral.
    return 0;
}

如果不需要分离声明和实现，可直接将实现写在类内简化代码：

#include <iostream>
#include <type_traits>

namespace oct {

class Class1 {
public:
    template<typename T, std::enable_if_t<std::is_integral_v<T>, int> = 0>
    T memf() {
        std::cout << "Integral." << std::endl;
        return 1;
    }

    template<typename T, std::enable_if_t<!std::is_integral_v<T>, int> = 0>
    T memf() {
        std::cout << "None-Integral." << std::endl;
        return T{};
    }
};

}

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