c++ - 可变参数模板中的函数参数

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 {};