如何为（有些）部分专业化的类定义函数

Question

我不确定我正在尝试做的事情是否可行。这是一个例子：

template <typename T>
class Ref
{
    void Decrement();
};

template <typename T>
class Collection {};

// This will error
template <>
template <typename T>
void Ref<Collection<T>>::Decrement() {} 

Answer 1

你不能只特化类模板中的一个函数；您必须将类模板作为一个整体进行专门化。

template <typename T>
class Ref
{
    void Decrement();
};

template <typename T>
class Collection {};

template <typename T>
class Ref<Collection<T>> {
    void Decrement() {}
};

您可以在一个类中专门化一个函数模板，即，这样：

class Ref {
    template <typename U> void Decrement();
};

或类模板中的函数模板...

template <typename T>
class Ref {
    template <typename U> void Decrement();
};

然而，即使那样，部分特化，这是你想做的，不能为函数模板完成；函数模板只能针对个别类型完全特化，而不能部分特化，而类模板可以部分或完全特化。