c++ - 是否可以定义 "template function pointer"的类型？

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>)();

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

这对于类模板是不同的。