fork download

copy

#include <iostream>
#include <type_traits>
 
template <int Arg>
void foo()
{
	std::cout << Arg << ' ';
}
 
template <int First, int... Rest, typename T = std::enable_if_t<(sizeof...(Rest) > 0)>>
void foo()
{
	std::cout << First << ' ';
	foo<Rest...>();
}
 
int main()
{
	foo<1, 2, 3>();
	foo<1, 2, 3, bool>();
 
	return 0;
}

prog.cpp: In function ‘int main()’:
prog.cpp:20:21: error: no matching function for call to ‘foo()’
  foo<1, 2, 3, bool>();
                     ^
prog.cpp:5:6: note: candidate: template<int Arg> void foo()
 void foo()
      ^~~
prog.cpp:5:6: note:   template argument deduction/substitution failed:
prog.cpp:20:21: error: wrong number of template arguments (4, should be 1)
  foo<1, 2, 3, bool>();
                     ^
prog.cpp:11:6: note: candidate: template<int First, int ...Rest, class T> void foo()
 void foo()
      ^~~
prog.cpp:11:6: note:   template argument deduction/substitution failed:

Standard output is empty