c++ - c++模板偏特化成员函数

Question

我是模板的新手，所以这可能是一件微不足道的事情，但我无法让它发挥作用。我正在尝试对类成员函数进行部分专业化。最短的代码是：

template <typename T, int nValue> class Object{
private:
    T m_t;
    Object();
public:
    Object(T t): m_t(t) {}
    T Get() { return m_t; } 
    Object& Deform(){ 
        m_t*=nValue; 
        return *this;
    }
};

template <typename T>
Object<T,0>& Object<T,0>::Deform(){
    this->m_t = -1;
    return *this;
}

int main(){
    Object<int,7> nObj(1);
    nObj.Deform();
    std::cout<<nObj.Get();
}

我尝试了非成员函数，效果很好。还可以正常工作的是成员函数的完全专业化。

但是，每当我尝试使用部分规格时。的成员函数我得到形式的错误：

PartialSpecification_MemberFu.cpp(17): error: template argument
list must match the parameter list Object<T,0>& Object<T,0>::Deform().

将不胜感激任何帮助:-)

Answer 1

您不能只部分专门化单个成员函数，您必须部分专门化整个类。因此，您将需要类似的东西：

template <typename T>
class Object<T, 0>
{
private:
    T m_t;
    Object();
public:
    Object(T t): m_t(t) {}
    T Get() { return m_t; } 
    Object& Deform()
    {
        std::cout << "Spec\n";
        m_t = -1;
        return *this;
    }
};

Answer 2

14.5.5.3.1。类模板偏特化成员的模板参数列表应与类模板偏特化的模板参数列表匹配。类模板偏特化成员的模板实参列表应与类模板偏特化的模板实参列表匹配。

换句话说：没有部分专业化的类就没有部分专业化的成员。

Answer 3

不幸的是，您不能部分专门化模板类的成员函数。您可以部分专门化整个类或使用继承。您也可以同时使用：

template <typename T, int nValue>
class Object {
protected:
    T m_t;
public:
    Object() = delete;
    Object(T t): m_t(t) {}
    T Get() { return m_t; }
    Object& Deform() {
        m_t *= nValue; 
        return *this;
    }
};

template <typename T>
class Object<T,0> : public Object<T,1> {
public:
    using Object<T,1>::Object;

    Object& Deform() {
        this->m_t = -1;
        return *this;
    }
};