web-dev-qa-db-ja.com

C ++テンプレート部分的特殊化メンバー関数

私はテンプレートが初めてなので、これは些細なことかもしれませんが、機能させることはできません。クラスメンバー関数の部分的な特殊化を取得しようとしています。最短のコードは次のとおりです。

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().

助けていただければ幸いです:-)

c++templatesspecialization
32
Simon Righley

単一のメンバー関数のみを部分的に特殊化することはできません。クラス全体を部分的に特殊化する必要があります。したがって、次のようなものが必要になります。

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

14.5.5.3.1。クラステンプレートの部分的な特殊化のメンバーのテンプレートパラメータリストは、クラステンプレートの部分的な特殊化のテンプレートパラメータリストと一致しなければなりません。クラステンプレートの部分的特殊化のメンバーのテンプレート引数リストは、クラステンプレートの部分的特殊化のテンプレート引数リストと一致しなければなりません。

言い換えると、部分的に特化したクラスを持たない部分的に特化したメンバーは存在しません。

19
Red XIII

残念ながら、テンプレートクラスのメンバー関数を部分的に特化することはできません。クラス全体を部分的に特化するか、継承を使用できます。両方を使用することもできます。

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;
    }
};
8
Maksym Ganenko