fork download

#include <functional>
 
using namespace std;
 
 
template<typename T, typename = typename enable_if<is_integral<T>::value, T>::type>
T foo(T a)
{
    return a;
}
 
template<typename T, typename = typename enable_if<is_floating_point<T>::value, void>::type>
T foo(T a)
{
    return a;
}
 
 
int main()
{
    foo(5);
    foo<float>(3.4);
 
    return 0;
}

prog.cpp:13:3: error: redefinition of ‘template<class T, class> T foo(T)’
prog.cpp:7:3: error: ‘template<class T, class> T foo(T)’ previously declared here
prog.cpp: In function ‘int main()’:
prog.cpp:22:19: error: no matching function for call to ‘foo(double)’
prog.cpp:22:19: note: candidate is:
prog.cpp:7:3: note: template<class T, class> T foo(T)
prog.cpp:7:3: note:   template argument deduction/substitution failed:
prog.cpp:6:22: error: no type named ‘type’ in ‘struct std::enable_if<false, float>’

Standard output is empty