fork download

copy

#include <type_traits>    	// for std::enable_if, std::is_unsigned
 
template<typename A, typename B, typename = typename std::enable_if<std::is_unsigned<B>::value>::type>
void someFunction(A * array, B numEl) {
 
}
 
int main(int argc, char ** argv) {
	int array[] = {1, 2, 3, 4, 5};
	someFunction(&array[0], (int)5);			// call with signed type
	someFunction(&array[0], (unsigned int)5);	// call with unsigned type
}

prog.cpp: In function ‘int main(int, char**)’:
prog.cpp:10:32: error: no matching function for call to ‘someFunction(int*, int)’
prog.cpp:10:32: note: candidate is:
prog.cpp:4:6: note: template<class A, class B, class> void someFunction(A*, B)
prog.cpp:4:6: note:   template argument deduction/substitution failed:
prog.cpp:3:34: error: no type named ‘type’ in ‘struct std::enable_if<false, void>’

Standard output is empty