fork(1) download

copy

#include <iostream>
#include <type_traits>
 
template <typename T>
void do_stuff(std::enable_if_t<std::is_integral<T>::value, T> &t) {}
 
template <typename T>
void do_stuff(std::enable_if_t<std::is_class<T>::value, T> &t) {}
 
int main() {
	// your code goes here
	int i = 1;
	do_stuff(i);
	return 0;
}

prog.cpp: In function 'int main()':
prog.cpp:13:12: error: no matching function for call to 'do_stuff(int&)'
  do_stuff(i);
            ^
prog.cpp:5:6: note: candidate: template<class T> void do_stuff(std::enable_if_t<std::is_integral<_Tp>::value, T>&)
 void do_stuff(std::enable_if_t<std::is_integral<T>::value, T> &t) {}
      ^
prog.cpp:5:6: note:   template argument deduction/substitution failed:
prog.cpp:13:12: note:   couldn't deduce template parameter 'T'
  do_stuff(i);
            ^
prog.cpp:8:6: note: candidate: template<class T> void do_stuff(std::enable_if_t<std::is_class<T>::value, T>&)
 void do_stuff(std::enable_if_t<std::is_class<T>::value, T> &t) {}
      ^
prog.cpp:8:6: note:   template argument deduction/substitution failed:
prog.cpp:13:12: note:   couldn't deduce template parameter 'T'
  do_stuff(i);
            ^

Standard output is empty