是否可以定义＆＃34;模板函数指针的类型＆＃34;？

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>())，但无法使用参数test_foo()致电foo<99>：

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

是否有一种方法可以从N获取test_foo()中的模板参数foo<99>，就像test_foo(Foo<99>())一样？

Answer 1

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

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

你不能做＆＃34;特质＆＃34;在那些fptr值上（或从&foo<N>函数参数中推导出模板参数），因为函数模板实例化的值 不 将模板参数编码为结果类型。

这对于类模板来说是不同的。