函数作为可变参数模板的参数

Question

假设我们有一个班级

template <int(*F)(int, int)>
class A {
    // ...
};

它需要一个函数作为模板参数.

现在我想制作一个可变参数模板,它将函数作为模板参数.

template <int(*F...)(int, int)> // this won't compile
template <int(*F)(int, int)...> // this won't compile either

怎么做得好？

Answer 1

你可能会这样做

using Function_t = int(*)(int, int);

template <Function_t ... Fs> struct s{};

否则,如果你不想使用typedef

template <int(*...Fs)(int, int)> struct s{};

注意:第二个版本不能是匿名的(Fs必需),因为ISO C++ 11要求带括号的包声明具有名称.

Answer 2

template <int(*...F)(int, int)>
class A {
    // ...
};