有点奇怪,我很早以前就成功地实现了自己的模板化链表作为一项教育活动。现在我知道它可以工作了,我一直在使用它来创建一个保存“ Sprite”对象的节点列表,当时我理解了它,但是今天我回头看了一下,我真的很困惑。

如果您足够友善地看一下我的实现并帮助我弄清楚。

程序如何知道_data(在Node中)应分配给NodeType对象? (如果您会不好意思的话),我是说我有那个功能SetData,但我什至从不使用它。例如,当我在列表上“推回”时,我只是创建一个新的ListType节点,但从未设置该节点的数据。节点构造函数不说_data = new NodeType或其他。

但是,我可以在列表中的任何节点上调用GetData()并返回Sprite对象。我的意思是我知道它有效,但是我忘记了如何操作!有人可以看一下并提醒我吗?非常感谢!

Node.hpp:

#if !defined NODE_HPP
#define NODE_HPP


template<typename NodeType>
class Node{

   public:
      Node( Node* prev = 0, Node* next = 0);
      void SetData(NodeType newData);
      NodeType* GetData();
      Node* GetPrev();
      Node* GetNext();

   private:
      template<typename ListType>
      friend class List;

      NodeType _data;
      Node* _prev;
      Node* _next;

};


///implement Node

template <typename NodeType>
Node<NodeType>::Node(Node* prev, Node* next) : _prev(prev), _next(next)
{}
template <typename NodeType>
void Node<NodeType>::SetData(NodeType newData)
{
   _data = newData;
}
template <typename NodeType>
NodeType* Node<NodeType>::GetData()
{
   return &_data;
}
template <typename NodeType>
Node<NodeType>* Node<NodeType>::GetPrev()
{
   return _prev;
}
template <typename NodeType>
Node<NodeType>* Node<NodeType>::GetNext()
{
   return _next;
}
#endif //define


List.hpp

#if !defined LIST_HPP
#define LIST_HPP

#include "Node.hpp"

///since we're creating a template everything must be defined in the hpp

template <typename ListType>
class List
{
   public:
      List();
      bool Empty();
      void PushFront();
      void PushBack();
      void PopBack();
      void ClearList();
      Node<ListType>* GetHead();
      Node<ListType>* GetTail();
      int NumberOfNodes();

   private:
      Node<ListType>* _head;
      Node<ListType>* _tail;
      int _size;

};


///implement List class here
template <typename ListType>
List<ListType>::List() : _head(0), _tail(0), _size(0)
{
}
template <typename ListType>
bool List<ListType>::Empty()
{
   return _size == 0;
}
template <typename ListType>
void List<ListType>::PushFront()
{
   _head = new Node<ListType>( _head , 0 );
   if(Empty()) //this is the start of a new list, need to set _tail as well
      _tail = _head;
   else
      _head->_prev->_next = _head; //set previous nodes _next to new _head


   ++_size;
}
template <typename ListType>
void List<ListType>::PushBack()
{
   _tail = new Node<ListType>( 0 , _tail);
   if(Empty()) //this is the start of a new list, need to set _head as well
      _head = _tail;
   else
      _tail->_next->_prev = _tail; // set old tails _prev to new tail

   ++_size;
}
template <typename ListType>
void List<ListType>::PopBack()
{
   if(!Empty()){
      if(_tail != _head)
      {
         _tail = _tail->_next;
         delete _tail->_prev; //delete memory at old tail
         _tail->_prev = 0; //reassign new tails _prev pointer to null
      }
      else  // We are deleting the last node so treatment is a little different.
      {
         delete _tail;
         _tail = 0; _head = 0;
      }

      --_size;
   }
}
template <typename ListType>
void List<ListType>::ClearList()
{
   while(!Empty())
      PopBack();


}

template <typename ListType>
Node<ListType>* List<ListType>::GetHead()
{
   return _head;
}
template <typename ListType>
Node<ListType>* List<ListType>::GetTail()
{
   return _tail;
}
template <typename ListType>
int List<ListType>::NumberOfNodes()
{
   return _size;
}
#endif //define

最佳答案

构造函数没有明确地对_data做任何事情,因此它默认将其初始化*。换句话说,构造后,_data是默认构造的NodeTypeNodeType不能默认构造,模板特化无法编译。该程序“知道”进行初始化,因为希望您的编译器遵循C ++标准中列出的规则。

至于知道类型,编译器本质上会替换您为其实例化模板的NodeType类型,并使用此替换来创建新类型。所以Node<std::string> would result in a type where _data is of type std :: string`。


如果NodeType是promitive类型,则不会进行初始化,并且_data将保留任何旧的垃圾值。

关于c++ - 关于我的模板链接列表,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/10470965/

10-09 04:52