可变参数模板中的功能参数

Question

是否可以编写以函数作为模板参数的可变参数模板类？

这些是有效的c ++声明

template <typename ...Types> class foo;

template <int func(int)>  class bar;

是否可以做类似

的操作

template <int func(int)...> class foobar; 

我尝试了很多不同的语法，例如

template <int ...func(int)> class foobar; 

什么都没有编译（我正在将gcc 8.1.0与-std = c ++ 17一起使用）

Answer 1

语法是：

template <int (*...Fs)(int)> class foobar {};

允许

int f1(int);
int f2(int);

foobar<&f1, &f2, &f1> obj;

使用别名可能有助于您使用更自然的语法：

using f_int_int = int (*)(int);
template <f_int_int...Fs> class foobar {};

甚至（感谢Yakk的评论）：

template <typename T> using id_t = T;
template <id_t<int(*)(int)>...Fs> class foobar {};