Question

我正在使用具有模板声明和定义的库文件Slist.h。库文件在construtor中实例化 of mypgm.c（cpp file）。编译器抛出一个错误，在底部提到。

Slist.h

template <class Object>
class SList;     // fwd declaration.
template <class Object>
class SListItr;  // fwd declaration.
template <class Object>
class SListNode
{
    SListNode( const Object &theElement = Object( ),
               SListNode *n = NULL )
      : element( theElement ), next( n ) { }

    Object     element;
    SListNode *next;
    friend class SList<Object>;
    friend class SListItr<Object>;
};

template <class Object>
class SList
{
  public:
    SList( );
    SList( const SList &rhs );
    ~SList( );
    int isEmpty( ) const;
    void makeEmpty( );
    SListItr<Object> zeroth( ) const;
    SListItr<Object> first( ) const;
    const SList & operator=(  SList &rhs );
    int  IsType() {return LinkedListType;};
  private:
    SListNode<Object> *header;
    Object *ptr_Object;
};

//SList definition
template <class Object>
SList<Object>::SList( )
{
     ptr_Object = new Object();
     header = new  SListNode<Object>; 
}

// Copy constructor.
template <class Object>
SList<Object>::SList( const SList<Object> &rhs )
{
    header = new SListNode<Object>; 
    *this = rhs;
}

// Destructor.
template <class Object>
SList<Object>::~SList( )
{
    makeEmpty( );
    delete ptr_Object;
    delete header;
}

mypgm.c

class mypgm
{
public:
    mypgm::mypgm()
    {
    ptr_dead_acc_list= new SList<String>; // ptr_dead_acc_list is of type SList<String>
    }
 };

您参考的字符串类详细信息

class String
{
        private:
                char *_text;
                friend class String_Iterator;
        public:
                // ctors and dtor
                explicit String ();                     
                explicit String (char *);
                explicit String (int );
                String (String& );              
                ~String();

                /////////////////
                // conversions:
                /////////////////
                //  to C-like type char *
                operator char *() {return _text;}

                /////////////////
                // overloads:
                /////////////////
                // assignment String = String
                String &operator=(String &);
}

编译错误：

SList.h: In constructor 'SList<Object>::SList() [with Object = String]':
mypgm.c:131:   instantiated from here
SList.h:85: error: no matching function for call to 'String::String(String)'
String.h:27: note: candidates are: String::String(String&)
SList.h:41: error: in passing argument 1 of 'SListNode<Object>::SListNode(const Object&, SListNode<Object>*) [with Object = String]'
SList.h: In constructor 'SListNode<Object>::SListNode(const Object&, SListNode<Object>*) [with Object = String]':
SList.h:85:   instantiated from 'SList<Object>::SList() [with Object = String]'
mypgm.c:131:   instantiated from here
SList.h:42: error: passing 'const String' as 'this' argument of 'String::operator char*()' discards qualifiers
make: *** [all]

我觉得这些论点在瞬间没有正确传递，我试图解决这个问题，但我的步骤是徒劳的。我是模板概念的新手。请你帮我解决这个问题。

感谢您查看此内容

Answer 1

你的问题没什么用String的拷贝构造函数应该接受对常量的引用。而不是：

String (String& );

签名应如下所示：

String(String const&);

SListNode在一个常量对象上调用String的构造函数，编译器会抱怨，因为你的copy-constructor接受一个非常量引用：

SListNode( const Object &theElement = Object( ),
           SListNode *n = NULL )
  : element( theElement ), // ERROR: theElement is a reference to const!
    next( n ) { }

另请注意，虽然您的问题源于模板的实例化，但它与模板没有特别关系。在非模板代码中执行相同操作会导致相同的错误。

Answer 2

该错误与模板无关，它恰好在实例化模板时弹出。你的班级String很不寻常，因为它不是“CopyConstructible”，它会阻止以许多正常方式使用它。

它应该有一个构造函数

String(const String&);

而不是

String(String&);

模板实例化问题

2 个答案: