fork download

copy

#include <type_traits>
#include <iostream>
 
int foo(int a, int b)
{
     return 1;
}
 
//int foo(int a, int b, bool c)
//{
//    return 0;
//}
 
template <typename R, typename ... Types>
constexpr size_t getArgumentCount(R(*)(Types ...))
{
    return sizeof...(Types);
}
 
template<int N>
static int setupTempl(int a, int b)
{
     static_assert(N == N, "invalid N");
     return 0;
}
 
template<>
static int setupTempl<2>(int a, int b)
{
     return foo(a, b);
}
 
template<>
static int setupTempl<3>(int a, int b)
{
     return foo(a, b, true);
}
 
int main()
{
     setupTempl<getArgumentCount(foo)>(1, 2);
 
     return 0;
}
 

prog.cpp:28:1: error: explicit template specialization cannot have a storage class
 static int setupTempl<2>(int a, int b)
 ^~~~~~
prog.cpp: In function ‘int setupTempl(int, int) [with int N = 3]’:
prog.cpp:36:27: error: too many arguments to function ‘int foo(int, int)’
      return foo(a, b, true);
                           ^
prog.cpp:4:5: note: declared here
 int foo(int a, int b)
     ^~~
prog.cpp: At global scope:
prog.cpp:34:1: error: explicit template specialization cannot have a storage class
 static int setupTempl<3>(int a, int b)
 ^~~~~~

Standard output is empty