C++:具有可变参数的Hacky参数模式

是否可以使用C++可变参数来定义一个允许以下调用的函数:

f(int, char)
f(int, char, char)
f(int, char, char, int)
f(int, char, char, int, char)
...

其中每个第n个参数是a,char如果n是素数,否则它是a int.该功能只能以这种方式调用; 它不能与其他参数模式一起编译(例如f(2, 2)是一个错误,但f(2, '2')没关系).

假设:

constexpr bool is_prime(size_t);

然后这样的事情:

template  struct typelist;

template 
constexpr auto expected(std::index_sequence)
    -> typelist...>;

template ,
        decltype(expected(std::index_sequence_for{}))
        >::value, int> = 0>
auto f(Ts... ts);