C++整数类型模板问题：候选模板被忽略，如何正确重载+运算符？

嘿，我来帮你搞定这个问题！你的代码里operator+模板的SFINAE写法出错了，导致编译器没办法匹配到这个重载，所以候选模板直接被忽略了。咱们一步步拆解问题，再给出正确的实现方式。

问题出在哪？ #

你原代码里的operator+模板是这么写的：

template <class TT, typename std::enable_if<std::is_integral<TT>::value>::type>
TT operator + (TT right) {
    return _a + right;
}

这里的核心问题是：第二个模板参数没有名字，也没有默认值。编译器在推导TT的时候，需要同时确定这个未命名模板参数的类型，但它完全依赖于TT，而编译器没办法从传入的实参（比如10，是int类型）推导出这个参数，所以这个模板直接被排除在候选列表之外了。

正确的实现方式 #

这里给你两种可行的写法，都能让编译器正确识别并匹配这个运算符重载：

方式1：把SFINAE约束放到返回类型 #

这种写法是把enable_if的结果作为返回类型的一部分，编译器会先推导TT，再检查是否满足整数类型的条件：

#include <iostream>
#include <type_traits>
using namespace std;

template <class T>
class A {
public:
    A(uint32_t a = 0) : _a(a) { }
    
    // 将enable_if放到返回类型，确保TT是整数类型
    template <class TT>
    typename std::enable_if<std::is_integral<TT>::value, TT>::type
    operator + (TT right) {
        return _a + right;
    }
private:
    uint32_t _a;
};

class AT : public A<AT> {
public:
    AT() : A(10) { }
};

int main() {
    AT at;
    cout << (at + 10); // 现在可以正常编译，输出20
    return 0;
}

方式2：把enable_if作为模板参数的默认值 #

另一种写法是给模板参数加一个默认值，用enable_if来约束TT必须是整数类型：

template <class T>
class A {
public:
    A(uint32_t a = 0) : _a(a) { }
    
    template <class TT, typename = typename std::enable_if<std::is_integral<TT>::value>::type>
    TT operator + (TT right) {
        return _a + right;
    }
private:
    uint32_t _a;
};

额外补充：支持反向加法（整数 + 对象） #

如果你还需要支持10 + at这种反向运算，就得写一个全局的重载运算符，同样用SFINAE约束，不过要注意类成员的访问权限：

// 先给A类加一个getter方法，或者把_a改成protected
template <class T>
class A {
public:
    A(uint32_t a = 0) : _a(a) { }
    
    // ... 之前的operator+ ...
    
    uint32_t getValue() const { return _a; } // 新增getter
private:
    uint32_t _a;
};

// 全局反向加法运算符
template <class T, class TT>
typename std::enable_if<std::is_integral<TT>::value, TT>::type
operator + (TT left, const A<T>& obj) {
    return left + obj.getValue();
}

这样不管是at + 10还是10 + at都能正常工作啦！

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