为什么具有相同名称和参数类型检查的函数不能共存？

Question

我希望下面的 2 个定义能够共存，因为我添加了类型检查代码，但它给出了已经声明的错误。为什么会这样以及需要改变什么？

#include <iostream>
#include <type_traits>

template<class T, class = std::enable_if_t<std::is_integral_v<T>>>
bool is_even(T value)
{
    return ((value % 2) == 0);
}

template<class T, class = std::enable_if_t<std::is_floating_point_v<T>>>
bool is_even(T value)
{
    std::cout << "\n Floating point version ";
    return false;
}
    
int main()
{
    std::cout << "is_even (4) = " << std::boolalpha << is_even(4);
    std::cout << "is_even (4.4) = " << std::boolalpha << is_even(4.4);
}

错误如下

Error(s):
462942513/source.cpp:13:6: error: redefinition of ‘template<class T, class> bool is_even(T)’
 bool is_even(T value)
      ^~~~~~~
462942513/source.cpp:7:6: note: ‘template<class T, class> bool is_even(T)’ previously declared here
 bool is_even(T value)
      ^~~~~~~
462942513/source.cpp: In function ‘int main()’:
462942513/source.cpp:22:69: error: no matching function for call to ‘is_even(double)’
     std::cout << "is_even (4.4) = " << std::boolalpha << is_even(4.4);
                                                                     ^
462942513/source.cpp:7:6: note: candidate: template<class T, class> bool is_even(T)
 bool is_even(T value)
      ^~~~~~~
462942513/source.cpp:7:6: note:   template argument deduction/substitution failed:

即使没有默认参数的语法也不起作用

#include <iostream>
#include <type_traits>

template<class T, std::enable_if_t<std::is_integral_v<T>>>
bool is_even(T value)
{
    return ((value % 2) == 0);
}

template<class T, std::enable_if_t<std::is_floating_point_v<T>>>
bool is_even(T value)
{
    return false;
}

int main()
{
   
    std::cout << "is_even (4) = " << std::boolalpha << is_even(4) << "\n";
    std::cout << "is_even (4.4) = " << std::boolalpha << is_even(4.4) << "\n";
}

Answer 1

为什么会这样以及需要改变什么？

来自 std::enable_if 的文档：

一个常见的错误是声明两个仅在默认模板参数上不同的函数模板。这不起作用因为声明被视为同一函数模板的重新声明（函数模板等效性中不考虑默认模板参数）。

在给定示例中解决此问题的一种方法是在指定函数模板的返回类型时使用 enable_if_t 表达式，而不是作为默认参数，如下所示：

template<class T>
std::enable_if_t<std::is_integral_v<T>,bool> is_even(T value)
{
    return ((value % 2) == 0);
}

template<class T>
std::enable_if_t<std::is_floating_point_v<T>, bool> is_even(T value)
{
    std::cout << "\n Floating point version ";
    return false;
}

演示

解决方案 2

#include <iostream>
#include <type_traits>

template<class T, std::enable_if_t<std::is_integral_v<T>, bool> = true>
auto is_even(T value)
{
    return ((value % 2) == 0);
}

template<class T, std::enable_if_t<std::is_floating_point_v<T>, bool> = true>
auto is_even(T value)
{
    std::cout << "\n Floating point version ";
    return false;
}
    
int main()
{
    std::cout << "is_even (4) = " << std::boolalpha << is_even(4);
    std::cout << "is_even (4.4) = " << std::boolalpha << is_even(4.4);
}

演示