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;
    }
};

c ++模板部分特化成员函数

3 个答案: