可变参数模板中的函数参数

Gon*_*per 2 c++ c++17

是否可以编写一个带有函数作为模板参数的可变参数模板类?

这些是有效的c ++声明

template <typename ...Types> class foo;

template <int func(int)>  class bar;
Run Code Online (Sandbox Code Playgroud)

是否可以做类似的事情

template <int func(int)...> class foobar; 
Run Code Online (Sandbox Code Playgroud)

我尝试了很多不同的语法

template <int ...func(int)> class foobar; 
Run Code Online (Sandbox Code Playgroud)

并没有编译(我使用gcc 8.1.0与-std = c ++ 17)

Jar*_*d42 8

语法是:

template <int (*...Fs)(int)> class foobar {};
Run Code Online (Sandbox Code Playgroud)

这使得

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

foobar<&f1, &f2, &f1> obj;
Run Code Online (Sandbox Code Playgroud)

使用别名可能会帮助您获得更自然的语法:

using f_int_int = int (*)(int);
template <f_int_int...Fs> class foobar {};
Run Code Online (Sandbox Code Playgroud)

甚至(感谢Yakk的评论):

template <typename T> using id_t = T;
template <id_t<int(*)(int)>...Fs> class foobar {};
Run Code Online (Sandbox Code Playgroud)

  • @GontranZipper如果您接受此答案,它将从未答复的问题列表中删除. (2认同)