模板类中出现错误

Error in template class

本文关键字：错误      更新时间：2023-10-16

嗨，我正试图为模板构建空函数，以便我以后可以填写细节。下面是我的代码:

namespace my {
    template <class T>
    class Sptr {
    private:
        //some kind of pointer
            //one to current obj
        T obj;
        size_t reference_count;
            //one to original obj
    public:
        template <typename U> Sptr(U *);
        Sptr(const Sptr &);
        //template <typename U> Sptr(const Sptr<U> &);
        ~Sptr();
        T* operator->() {return &obj;};
        template <typename U> Sptr<T> &operator=(const Sptr<U> &);
        //overload *,->,=,copy-constructor
        // const-ness should be preserved.
        // Test for null using safe-bool idiom
        // Static casting, returns a smart pointer
    };

    template <typename U> Sptr<U>::Sptr(U* u) {
        //do something
    }
    template <typename T> Sptr<T>::Sptr(const Sptr<T> &copyObj) {
        //do copy constructor stuff
    }
    template <typename T> Sptr<T>::Sptr& operator=(const Sptr<T> &T) {
        return *this;
    }
}

但是当我编译它时，我得到以下错误:

Sptr.hpp:30:24: error: prototype for ‘my::Sptr<T>::Sptr(U*)’ does not match any in class ‘my::Sptr<T>’
Sptr.hpp:17:3: error: candidates are: my::Sptr<T>::Sptr(const my::Sptr<T>&)
Sptr.hpp:16:25: error:                 template<class T> template<class U> my::Sptr::Sptr(U*)
Sptr.hpp:38:24: error: ‘my::Sptr<T>::Sptr’ names the constructor, not the type

我如何解决它们?

template <typename U> Sptr<U>::Sptr(U* u) {
    //do something
}
应该

template <typename T> 
   template <typename U>
       Sptr<T>::Sptr(U* u) {
        //do something
    }

与其他成员函数模板类似。

定义类模板成员函数的方式不正确。下面是你应该如何定义构造函数模板:

template<typename T> // <== template parameter declaration for Sprt<T>
template<typename U> // <== template parameter declaration for constructor
Sptr<T>::Sptr(U* u) {
    //do something
}

您应该如何定义operator =:

template <typename T> // <== template parameter declaration for Sprt<T>
template<typename U> // <== template parameter declaration for operator
Sptr<T>& Sptr<T>::operator=(const Sptr<U> &t) {
    return *this;
}

将构造函数和operator=都定义为模板函数。我不确定你真的想要那样。他们不应该把T作为论据吗?您确定不希望在构造函数声明中出现这种情况吗? 

Sptr(T*);

如果你真的希望它们是函数模板，这是不正确的:

template <typename U> Sptr<U>::Sptr(U* u) {
    //do something
}

当你在函数类中有一个函数模板时，你需要给出两组模板参数:

template <typename T>
template <typename U>
Sptr<T>::Sptr(U* u) {
    //do something
}
相关文章：