模板参数上的 C++ 函数模板重载

Question

是否可以像这样重载函数模板(仅在使用 enable_if 的模板参数上):

template <class T, class = std::enable_if_t<std::is_arithmetic<T>::value>>
void fn(T t)
{

}
template <class T, class = std::enable_if_t<!std::is_arithmetic<T>::value>>
void fn(T t)
{

}

如果 enable_if 中的条件不重叠？我的 MSVS 编译器提示说，'void fn(T)' : function template has already been defined。如果不是，替代方案是什么(最好不要将 enable_if 放在模板参数以外的任何地方)？

Answer 1

默认参数在确定函数的唯一性方面不起作用。所以编译器看到的是您定义了两个函数，例如:

template <class T, class>
void fn(T t) { }

template <class T, class>
void fn(T t) { }

那是重新定义相同的函数，因此会出现错误。您可以做的是使 enable_if 本身成为模板非类型参数:

template <class T, std::enable_if_t<std::is_arithmetic<T>::value, int> = 0>
void fn(T t) { }


template <class T, std::enable_if_t<!std::is_arithmetic<T>::value, int> = 0>
void fn(T t) { }

现在我们有不同的签名，因此有不同的功能。 SFINAE 将负责按预期从重载集中移除一个或另一个。