fork(4) download

copy

#include <iostream>
using namespace std;
 
template<typename T>
using IsEnumConcept = std::enable_if_t<std::is_enum<T>::value>;
template<typename T>
using IsNotEnumConcept = std::enable_if_t<!std::is_enum<T>::value>;
 
template<typename T, class = IsEnumConcept<T>>
//template<typename T>
//IsEnumConcept<T> out()
void out()
{
	cout<<"for enum\n";
}
 
template<typename T, class = IsNotEnumConcept<T>>
//template<typename T>
//IsNotEnumConcept<T> out()
void out()
{
	cout<<"for other\n";
}
 
enum class MyEnum{};
 
int main() {
	out<MyEnum>();
	out<int>();
	// your code goes here
	return 0;
}

prog.cpp:20:6: error: redefinition of ‘template<class T, class> void out()’
 void out()
      ^~~
prog.cpp:12:6: note: ‘template<class T, class> void out()’ previously declared here
 void out()
      ^~~
prog.cpp: In function ‘int main()’:
prog.cpp:29:11: error: no matching function for call to ‘out()’
  out<int>();
           ^
prog.cpp:12:6: note: candidate: template<class T, class> void out()
 void out()
      ^~~
prog.cpp:12:6: note:   template argument deduction/substitution failed:

Standard output is empty