单独实施部分专业化的模板

Question

我正在为应该将函数签名作为模板参数（实际上是该签名的工厂类）的类创建模板。

为此，我使用了在这些SO问题中也提到的技术：类函数签名的表达式作为C ++模板参数，而函数签名作为模板参数 。

只要我在专门化定义内包含声明，这就可以很好地工作：

template<typename Signature>
class Factory;

template<typename Ret, typename... Args>
class Factory<Ret(Args...)>
{
public:
Factory(){}
};

现在，我想在定义后分隔声明，以使标题对于用户更易读，但我无法为此找到正确的签名。

我尝试了以下签名

template<typename Ret, typename... Args>
Factory<Ret, Args...>::Factory(){}

template<typename Ret, typename... Args>
Factory<Ret(Args...)>::Factory(){}

但是在两种情况下，编译器都试图为通用模板而不是专门化定义该函数，这显然会失败。

您是否知道如何定义这种类型的部分专用类模板的功能？

Answer 1

第二个签名是正确的。

这样可以很好地工作，并用gcc产生预期的结果。

#include <iostream>

template<typename Signature>
class Factory;

template<typename Ret, typename... Args>
class Factory<Ret(Args...)>
{
public:
    Factory();
};


template<typename Ret, typename... Args>
Factory<Ret(Args...)>::Factory()
{
    std::cout << "Hello world" << std::endl;
}

int main()
{
    Factory< int(char, float) > foo;
    return 0;
}