C++ 使用整数类型的模板，候选模板被忽略

Question

我有一个带有重载operator + 的类以供添加。我希望用它来添加一个整数类型及其整数成员之一。但是，候选模板被忽略了。这样做的正确方法是什么？

#include <iostream>

using namespace std;

    template <class T>
    class A
    {
    public:
        A(uint32_t a = 0)
        : _a(a)
        { }

        template <class TT, typename std::enable_if<std::is_integral<TT>::value>::type>
        TT 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);

    return 0;
}

Answer 1

第二个模板参数typename std::enable_if<std::is_integral<TT>::value>::type声明了一个匿名模板参数，在at + 10的调用中不能推导出来。

我想你想要的可能是

// specify default value for the 2nd template parameter
template <class TT, typename std::enable_if<std::is_integral<TT>::value>::type* = nullptr>
T operator + (TT right) { return _a + right; }

LIVE