是否可以编写一个带有函数作为模板参数的可变参数模板类?
这些是有效的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)
语法是:
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)