模板专业化和功能指针

Question

我有一个模板化的结构，然后像下面这样专门化它：

template <class T>
struct FunctionSignature;

template <class Return, class Arg0>
struct FunctionSignature<Return (Arg0)>
{
    typedef Return(*type)(Arg0);
};

所以我实例如下：

FunctionSignature<int (const std::string& str)>::type f = &onefunction;

函数onefunction具有以下签名： int onefunction(const std::string &str)因此可以正常编译。 现在我的问题是：在没有第一个结构FunctionSignature情况下是否可以做我所做的事情？ 我试过了，但是没有编译：

template<class R (class U)>
struct A
{
  typedef R(*type)(U);
};

实例：

A<int (const std::string &)>::type f = &onefunction;

我在c ++ 03中这样做是为了加深对c ++的理解。

Answer 1

现在我的问题是：在没有第一个结构FunctionSignature的情况下是否可以做我所做的事情？

不，不可能。

为了利用局部类模板的专业化，您需要拥有要专门化的主类模板。

从部分专业 ：

句法：

模板<参数列表>类键类头名称<参数列表>声明

其中class-head-name标识先前声明的类模板的名称。

Answer 2

该模板无效。 它具有一种类型，即返回类型为R的匿名非类型函数指针，并带有类型U的参数。但是，这些类型是模棱两可的，因此，每当编译器尝试复制代码时，它都会失败。 您可以通过两种方式解决此问题。

template<class R, class U>
struct A {
  typedef R(*type)(U);
};

A<int, const std::string&>::type f = &onefunction;

或者如果您想要非类型参数

template<class R, class U, R(*type)(U)>
struct A {
     R g(U arg) {return type(arg);}
};

A<int, const std::string&, &onefunction> f;