39

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

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

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

4

3 に答える 3

43

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;
    }
};
于 2013-03-13T00:36:35.137 に答える
21

14.5.5.3.1. クラス テンプレートの部分的特殊化のメンバーのテンプレート パラメーター リストは、クラス テンプレートの部分的特殊化のテンプレート パラメーター リストと一致する必要があります。クラス テンプレートの部分的特殊化のメンバーのテンプレート引数リストは、クラス テンプレートの部分的特殊化のテンプレート引数リストと一致する必要があります。

つまり、部分的に特化されたクラスがなければ、部分的に特化されたメンバーはありません。

于 2013-03-13T07:02:02.750 に答える