fork(1) download

copy

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

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

Standard output is empty