c++ - 我可以在范围内创建指向模板函数的指针吗？

Question

我想创建一个指向模板函数的指针:

template <class T>
void foo(T x){}

int main()
{


template <class T>
void (*ptr)(T);


    return 0;
}

我得到上面的错误:error C2951: template declarations are only permitted at global or namespace scope

所以我可以通过在全局范围内声明指向模板函数的指针来修复它并且它工作正常:

template <class T>
void foo(T x){ cout << "foo()" << endl;}

template <class T>
void (*ptr)(T);


int main()
{

    ptr = foo;
    (*ptr)(7);

    return 0;
}

• 有没有办法像第一个代码那样在范围内声明指向模板函数的指针？

Answer 1

函数模板不是函数。并且函数指针只能分配给匹配签名的函数。

在此声明中:

template <class T>
void foo(T x){ cout << "foo()" << endl;}

foo 是一个函数模板。直到它被实例化后才会产生一个函数。因此，您只能获得指向 foo 实例化的函数指针。

---

假设你有一个函数指针 Ktr，你只能将它分配给 foo 的实例化，如下所示:

void (*Ktr)(int);
Ktr = foo<int>;

---

在此声明中:

template <class T>
void (*ptr)(T);

您声明了一个 variable template (C++14)以 T 类型的对象作为唯一参数的函数指针类型。