是否可以定义“模板函数指针”的类型？

Question

是否可以定义“模板函数指针”的类型？比如

void (*tfp<99>)(); // can't compile

就像模板类可以做的那样：

Someclass<99>();

为了进一步解释我的问题，我有以下代码：

template <int N>
class Foo {};

template <int N>
void foo() {}

template <int N, template <int> class OP>
void test_foo(OP<N> op) { std::cout << N << std::endl; }

我可以调用test_foo(Foo<99>())，但不能使用参数foo<99> 调用test_foo()：

test_foo(Foo<99>());                    //OK
test_foo(foo<99>);                      //error: candidate template ignored: could not match '<N>' against 'void (*)()'
test_foo<void (*)()>(foo<99>);          //error: candidate template ignored: invalid explicitly-specified argument for template parameter 'N'
test_foo<void (*<99>)()>(foo<99>);      //error: expected expression
test_foo<void (*<99>)()<99> >(foo<99>); //error: expected expression

有没有办法可以像test_foo(Foo<99>())一样从参数foo<99>中获取test_foo()中的模板参数N？

Answer 1

您可以在 C++11 中使用模板别名：

template <int V> using fptr = void (*tfp<V>)();

您不能对这些 fptr 值执行“特征”（或从 &foo<N> 函数参数推断模板参数），因为函数模板实例化的值确实不 将模板参数编码为结果类型。

这对于类模板是不同的。