c++ - 尝试使用 enable_if 启用 SFINAE 时出现“无法过载”错误

Question

我只是尝试使用 std::enable_if 来尝试 SFINAE在 C++ 中。我以为我理解了理论部分，直到我无法编译以下代码。增加这种困惑的是 Visual Studio 和 Linux 上的不同行为。只要您不取消注释 ( Calculator<int> cInt; )，此粘贴的代码就会在 VS 上编译。但是，使用 GCC 它会给我编译错误。我已经在 STL 实现中看到了这种代码，我真的很期待到处都有更标准化的实现。不管怎样，你能检查一下我的理解有哪些不足之处吗？

template<typename T>
class Calculator
{
public:
    typename enable_if<is_arithmetic<T>::value, T>::type 
    addition(T a, T b)
    {
        return a + b;
    }
    typename enable_if<!is_arithmetic<T>::value, T>::type
    addition(T a, T b)
    {
        cout << "Default\n";
        return a;
    }
};

void SFINAE()
{
//  Calculator<int> cInt; 
}


int main ()
{
    SFINAE();
    return 0;
}

GCC 8.1 的错误日志:j

doodle.cpp:30:3: error: 'typename std::enable_if<(! std::is_arithmetic<_Tp>::value), T>::type Calculator<T>::addition(T, T)' cannot be overloaded with 'typename std::enable_if<std::is_arithmetic<_Tp>::value, T>::type Calculator<T>::addition(T, T)'
   addition(T a, T b)
   ^~~~~~~~
jdoodle.cpp:25:3: note: previous declaration 'typename std::enable_if<std::is_arithmetic<_Tp>::value, T>::type Calculator<T>::addition(T, T)'
   addition(T a, T b)

使用 int 取消注释计算器类初始化时 VS 上的错误日志:

sfinae.h(17): error C3646: 'addition': unknown override specifier
sfinae.h(17): error C2059: syntax error: '('
sfinae.h(18): error C2334: unexpected token(s) preceding '{'; skipping apparent function body

Answer 1

在类中，SFINAE 适用于模板 方法和方法的模板参数。

所以

typename enable_if<is_arithmetic<T>::value, T>::type 
addition(T a, T b)
{
    return a + b;
}

无法工作，因为您正尝试将 SFINAE 应用于非模板的方法和针对类的模板参数的测试 ( is_arithmetic<T>::value)。

你应该尝试一下

template <typename U = T>
typename enable_if<is_arithmetic<U>::value, T>::type 
addition(T a, T b)
{
    return a + b;
}

这样模板就变成了一个带有模板参数(U)的模板默认类型 ( T) 并且您对方法的模板参数进行了 SFINAE 测试。

另一个也一样addition()方法。

避免有人“劫持”你的代码解释错误的模板参数

Calculator<std::string>  cs;

cs.add("a", "b");  // call the Default version
cs.template add<int>("a", "b"); // call the arithmetic version!!!

你可以强加 U和 T是同一类型

template <typename U = T>
typename std::enable_if<std::is_arithmetic<U>::value
                     && std::is_same<T, U>::value, T>::type 
addition(T a, T b) //   ^^^^^^^^^^^^^^^^^^^^^^^^^
{
    return a + b;
}