c++ - 模板特化和函数指针

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

Now my question is : is it possible to do what i have done without the first structure FunctionSignature ?

不，这是不可能的。

为了使用部分类模板特化，你需要有一个你要特化的主类模板。

来自 partial specialization :

Syntax:

template < parameter-list > class-key class-head-name < argument-list> declaration

where class-head-name identifies the name of a previously declared class template.